= 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

* https://github.com/MLton/mlton/blob/master/mlton/ssa/constant-propagation.fun[`constant-propagation.fun`]

== Details and Notes

{empty}
