doc/guide/src/RSSAShrink.adoc

   1 RSSAShrink
   2 ==========
   3
   4 <:RSSAShrink:> is an optimization pass for the <:RSSA:>
   5 <:IntermediateLanguage:>.
   6
   7 == Description ==
   8
   9 This pass implements a whole family of compile-time reductions, like:
  10
  11 * constant folding, copy propagation
  12 * inline the `Goto` to a block with a unique predecessor
  13
  14 == Implementation ==
  15
  16 * <!ViewGitFile(mlton,master,mlton/backend/rssa.fun)>
  17
  18 == Details and Notes ==
  19
  20 {empty}