MLton ConstantPropagation
Home  Index  Local Site Map
ConstantPropagation is an optimization pass for the SSA IntermediateLanguage, invoked from SSASimplify.

Description

This is whole-program constant propagation, even through data structures. It also performs globalization of (small) values computed once.

Uses Multi.

Implementation

constant-propagation.sig constant-propagation.fun

Details and Notes


Last edited on 2009-08-02 21:45:51 by MatthewFluet.
Actions: AttachFile, Delete, Edit, Info, Rename Preferences