instruction
This operand is a write of a move-like operation. Make the semantic value a synonym of the given L2ReadOperand's semantic value.
Parameters
source
The L2SemanticValue that already holds the value.
manifest
The L2ValueManifest in which to capture the synonymy of the source and destination.