StateFlag

Indicates that every L2_PHI_PSEUDO_OPERATION has been replaced by moves to the same L2Register along each (split) incoming edge.

Whether the control flow graph is in edge-split form, which ensures that no edge both leads from a node with multiple successor edges and leads to a node with multiple predecessor edges.

Whether the control flow graph is in static single-assignment form. In this form, every register has a single instruction that writes to it. Where control flow merges, the target L2BasicBlock can contain "phi" (L2_PHI_PSEUDO_OPERATION) instructions. Such an instruction writes to its output register the value corresponding to the numbered predecessor edge by which the block was reached.