postponedInstructions

A map from L2SemanticValue to source L2Instructions from a previous L2ControlFlowGraph, which can be translated as needed by an L2Regenerator, as part of the instruction postponement optimization (perfect redundancy elimination). The same source instruction is stored under each semantic value that was written by that instruction.