ConstantPropagation - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | ConstantPropagation |
Home Index

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.