An implementation of Sparse Conditional Constant
propagation for SSI form, extended to do predicated optimizations.
Removes many null-pointer and array-bounds checks inserted due to Java
semantics.
Related Documentation
For further information, see:
@author C. Scott Ananian
@see "Master's Thesis on SPTC"