DistIL
DistIL copied to clipboard
SSA attribute propagation / SCCP
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