MLton 20051202 DeepFlatten
Home  Index  
Deep flatten is an optimization pass for the SSA2 IntermediateLanguage, invoked from SSA2Simplify.

Description

This pass flattens into mutable fields of objects and into vectors.

For example, an (int * int) ref is represented by a 2 word object, and an (int * int) array contains pairs of ints, rather than pointers to pairs of ints.

Implementation

[WWW]deep-flatten.sig [WWW]deep-flatten.fun

Details and Notes


Last edited on 2005-12-01 03:29:16 by StephenWeeks.