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
operandafter loading the address a number of times.
RawIndirectInstruction, which represents the value of
instrafter loading the address a number of times.