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