Current SSA Optimizations

• CCP (sparse Conditional Constant Propagation).

• DCE (Dead Code Elimination).

• PRE (Partial Redundancy Elimination) with strength reduction.

• Dominator-based optimizations such as copy propagation, constant propagation and redundancy elimination using value numbering

• Must-alias analysis, to convert pointer de-references into regular variable references whenever possible

• Scalar Replacement of Aggregates, to convert structure references into scalar references that can be optimized using the standard scalar passes

Notes: