IS_SSA

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.