MLton 20070826 Redundant
Home  Index  
Redundant is an optimization pass for the SSA IntermediateLanguage, invoked from SSASimplify.

Description

???

Implementation

[WWW]redundant.sig [WWW]redundant.fun

Details and Notes

The reason Redundant got put in was due to some output of the ClosureConvert pass converter where the environment record, or components of it, were passed around in several places. That may have been more relevant with polyvariant analyses (which are long gone). But it still seems possibly relevant, especially with more aggressive flattening, which should reveal some fields in nested closure records that are redundant.


Last edited on 2006-11-02 17:53:25 by MatthewFluet.