Indirect_Call_Instruction

class Indirect_Call_Instruction (abstract, logical)

Direct parents:

• inherits Call_Instruction

Ancestor classes and implemented interfaces:

Call_Instruction, Execution_Node, Instruction, Logical_IR_Root

Direct child classes:

• subclass Virtual_Call_Instruction

• subclass Pointer_Call_Instruction

Field	Kind	Type	Description
Arguments (from Call_Instruction)	syntactic	list of class Direct_Full_Read_Operand	Includes argument for this in case of method calls. Note that even though the arguments are expressed as read operands, the called function might mutate the arguments as the Parameter objects inside the code function are semantically aliases for the provided arguments. We use these alias semantics to express the semantics of copy elision. Only destructor calls can observe the mutated arguments, the compiler guarantees that the arguments are not used otherwise.
Left (from Instruction)	syntactic	class Operand	Where the result will be stored. This is always a write operand. (can be NULL, e.g., for calls to void funcs or assertion instructions. Check cafe’s can_omit_lhs() for the full list of instructions that can have Left equal to NoNode.)
Left_Physical (from Instruction)	semantic to physical	class Physical_IR_Root	This edge instead points to the expression that represents the left operand, i.e., the expression that computed the glvalue where the result of the instruction will be stored. For example, in v = 42; (a LIR Integer_Literal_Instruction): The Physical edge points to the PIR Integer_Literal. The Left_Physical edge points to the Unqualified_Direct_Object_Selection for the variable v. And the Physical_For_Assignment edge points to the Assignment expression.
Its_Type (from Instruction)	semantic	class Type	Result type of the instruction, needed especially to distinguish assignments of complete structs from assignments of their first fields. Also needed to determine multiplication factor for pointer additions. For Cast_Instructions, this is the type casted to
Physical_For_Assignment (from Instruction)	semantic to physical	class Physical_IR_Root	Returns a PIR node for the assignment of the value that was computed by this instruction. For example, in v = 42; (a LIR Integer_Literal_Instruction): The Physical edge points to the PIR Integer_Literal. The Left_Physical edge points to the Unqualified_Direct_Object_Selection for the variable v. And the Physical_For_Assignment edge points to the Assignment expression.
Parent (from Logical_IR_Root)	semantic	class Logical_IR_Root
Physical (from Logical_IR_Root)	semantic to physical	class Physical_IR_Root