Datatype TIRDataFlowNode

The IR dataflow graph consists of the following nodes:

• Node0, which injects most instructions and operands directly into the dataflow graph.
• VariableNode, which is used to model flow through global variables.
• PostFieldUpdateNode, which is used to model the state of a field after a value has been stored into an address after a number of loads.
• SsaPhiNode, which represents phi nodes as computed by the shared SSA library.
• IndirectArgumentOutNode, which represents the value of an argument (and its indirections) after it leaves a function call.
• RawIndirectOperand, which represents the value of operand after loading the address a number of times.
• RawIndirectInstruction, which represents the value of instr after loading the address a number of times.