L2Write
An L2WriteBoxedOperand is an operand of type L2OperandType.WRITE_BOXED. It holds the actual L2BoxedRegister that is to be accessed.
Author
Mark van Gulik
Parameters
The Set of L2SemanticValue that this operand is effectively producing.
The TypeRestriction that indicates what values are allowed to be written into the register.
The initial L2BoxedRegister that backs this operand.
Constructors
Construct a new L2WriteBoxedOperand for the specified L2SemanticValue.
Properties
Answer the L2Instruction containing this operand.
Answer whether this write operand has been written yet as the destination of some instruction.
Answer whether this operand is misconnected to its L2Instruction.
Answer this operand's L2OperandType.
Answer the RegisterKind of register that is written by this L2WriteOperand.
Functions
Move any registers used as destinations within me into the provided list.
Capture all L2ReadOperands within this operand into the provided List.
Move any registers used as sources within me into the provided list.
Capture all L2WriteOperands within this operand into the provided List.
This is a freshly cloned operand. Adjust it for use in the given L2Instruction. Note that the new instruction has not yet been installed into an L2BasicBlock.
Write a description of this operand to the given StringBuilder.
Append a textual representation of this operand to the provided StringBuilder. If a style change is appropriate while building the string, invoke the warningStyleChange lambda with true to enable the warning style, and false to turn it off again.
Assert that this operand knows its instruction, which should always be the case if the instruction has already been emitted.
Dispatch this L2Operand to the provided L2OperandDispatcher.
Answer the L2Register's finalIndex.
This is an operand of the given instruction, which was just added to its basic block. Its instruction was just set.
This operand is a write of an L2_MAKE_IMMUTABLE operation. The manifest has already had boxed definitions for the synonym removed from it, even if it left the definition list empty.
This operand is a write of a move-like operation. Make the semantic value a synonym of the given L2ReadOperand's semantic value.
This is an operand of the given instruction, which was just inserted into its basic block as part of an optimization pass.
This is an operand of the given instruction, which was just removed from its basic block.
Answer this write's sole L2SemanticValue, failing if there isn't exactly one.
Choose an arbitrary one of the L2SemanticValues that this operand writes.
Now that chunk optimization has completed, remove information from this instruction that will no longer be needed in the finished chunk. Note that during subsequent inlining of this chunk at a call site, the type and synonym information will be reconstructed without too much cost.
Answer the register that is to be written.
Answer a String that describes this operand for debugging.
Replace occurrences in this operand of each register that is a key of this map with the register that is the corresponding value. Do nothing to registers that are not keys of the map. Update all secondary structures, such as the instruction's source/destination collections.
Answer this write's TypeRestriction.
Add the given L2SemanticValue to this write operand's set of semantic values. DO NOT update any other structures to reflect this change, as this is the caller's responsibility.
Answer this write's immutable set of L2SemanticValues.
Set the instructionOrNull field.
Transform each L2ReadOperand through the given lambda, producing either a new L2Operand of the same type, or the receiver.