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.
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: