make
Generate code to ensure an immutable version of the given register is written to the returned register. Update the currentManifest to indicate that after this point, the returned register should be used for reading the boxed form of the given register's semantic values.
Return
The resulting L2ReadBoxedOperand, holding an immutable version of the given register.
Parameters
read
The L2ReadBoxedOperand that was given.