SSA attribute propagation / SCCP

[dubiousconst282]

The SCCP algorithm can be extended to compute information such as value null-ness, symbolic ranges (for array inbound-ness), type inference (for devirtualization), and possibly many others.
In general, this information may be extremely useful for transformations such as DCE/redundancy elimination and loop optimizations.

Research:

• A Propagation Engine for GCC
• Accurate Static Branch Prediction by Value Range Propagation
• https://stackoverflow.com/a/1247060