read
Given an L2WriteBoxedOperand, produce an L2ReadBoxedOperand of the same value, but with the current manifest's TypeRestriction applied.
Return
The L2ReadBoxedOperand that reads the value.
Parameters
write
The L2WriteBoxedOperand for which to generate a read.
Answer an L2ReadBoxedOperand for the given L2SemanticValue, generating code to transform it as necessary.
Return
A suitable L2ReadBoxedOperand that captures the current TypeRestriction for the semantic value.
Parameters
semantic
The L2SemanticValue to read.