MLton MLTONWIKIVERSION

ConstantPropagation

Home Index

Constant propagation 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 2006-11-02 17:30:40 by MatthewFluet.