MLton MLTONWIKIVERSION

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 `int`s, rather than pointers to pairs of `int`s.

## Implementation

deep-flatten.sig deep-flatten.fun

## Details and Notes

Last edited on 2006-11-02 17:43:24 by MatthewFluet.