LocalFlatten - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | LocalFlatten |
Home Index

LocalFlatten is an optimization pass for the SSA IntermediateLanguage, invoked from SSASimplify.

## Description

This pass flattens arguments to SSA blocks.

A block argument is flattened as long as it only flows to selects and there is some tuple constructed in this function that flows to it.

## Implementation

local-flatten.sig local-flatten.fun

## Details and Notes

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