doc/guide/src/ConstantPropagation.adoc

   1 ConstantPropagation
   2 ===================
   3
   4 <:ConstantPropagation:> is an optimization pass for the <:SSA:>
   5 <:IntermediateLanguage:>, invoked from <:SSASimplify:>.
   6
   7 == Description ==
   8
   9 This is whole-program constant propagation, even through data
  10 structures.  It also performs globalization of (small) values computed
  11 once.
  12
  13 Uses <:Multi:>.
  14
  15 == Implementation ==
  16
  17 * <!ViewGitFile(mlton,master,mlton/ssa/constant-propagation.fun)>
  18
  19 == Details and Notes ==
  20
  21 {empty}