avail/avail.optimizer/L2ValueManifest/recordDefinitionForMove

recordDefinitionForMove

fun recordDefinitionForMove(writer: L2WriteOperand<*>, sourceSemanticValue: L2SemanticValue)
Content copied to clipboard

Record the fact that an L2Instruction has been emitted, which writes to the given L2WriteOperand. The source and destination should end up in the same synonym.

Parameters

writer

The operand that received the value.

sourceSemanticValue

The L2SemanticValue that already holds the value.