boxed
fun boxedWrite(semanticValues: Set<L2SemanticValue>, restriction: TypeRestriction): L2WriteBoxedOperand
Allocate a new L2BoxedRegister. Answer an L2WriteBoxedOperand that writes to it as the given L2SemanticValues, restricting it with the given TypeRestriction.
Return
The new boxed write operand.
Parameters
semantic
The L2SemanticValues to write.
restriction
The initial TypeRestriction for the new write.
Allocate a new L2BoxedRegister. Answer an L2WriteBoxedOperand that writes to it as the given L2SemanticValue, restricting it with the given TypeRestriction.
Return
The new boxed write operand.
Parameters
semantic
The L2SemanticValue to write.
restriction
The initial TypeRestriction for the new write.