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.