Conversion into SSA Form

• May-alias computation.

• Insertion of  nodes.

  • Minimal
  • Semi-pruned
  • Pruned

• Statement renaming. Dominator-based optimizations:

  • Constant propagation
  • Redundancy elimination
  • Propagation of predicate expression

Notes: