doc/guide/src/RSSASimplify.adoc

   1 RSSASimplify
   2 ============
   3
   4 The optimization passes for the <:RSSA:> <:IntermediateLanguage:> are
   5 collected and controlled by the `Backend` functor
   6 (<!ViewGitFile(mlton,master,mlton/backend/backend.sig)>,
   7 <!ViewGitFile(mlton,master,mlton/backend/backend.fun)>).
   8
   9 The following optimization pass is implemented:
  10
  11 * <:RSSAShrink:>
  12
  13 The following implementation passes are implemented:
  14
  15 * <:ImplementHandlers:>
  16 * <:ImplementProfiling:>
  17 * <:InsertLimitChecks:>
  18 * <:InsertSignalChecks:>
  19
  20 The optimization passes can be controlled from the command-line by the options
  21
  22 * `-diag-pass <pass>` -- keep diagnostic info for pass
  23 * `-drop-pass <pass>` -- omit optimization pass
  24 * `-keep-pass <pass>` -- keep the results of pass