recordDefinitionNoCheck

Record the fact that an L2Instruction has been emitted, which writes to the given L2WriteOperand. Since this is the introduction of a new L2SemanticValue, it must not yet be in this manifest.

L2Operations that move values between semantic values should customize their L2Operation.instructionWasAdded method to use recordDefinitionForMove.

This form does not check consistency of the L2ValueManifest, to allow phi functions to be replaced by moves.

Parameters