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

Description

This pass flattens arguments to SSA constructors, blocks, and functions.

If a tuple is explicitly available at all uses of a function (resp. block), then:

Similarly, if a tuple is explicitly available at all uses of a constructor, then:

Implementation

[WWW]flatten.sig [WWW]flatten.fun

Details and Notes


Last edited on 2006-11-02 17:52:58 by MatthewFluet.