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.
• PostUpdateNodeImpl, which is used to model the state of an object after an update after a number of loads.
• SsaSynthNode, which represents synthesized nodes as computed by the shared SSA library.
• 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.