## MLton 20241230+git20251029+dfsg-5

# ConstantPropagation

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.fun`

## Details and Notes