SSASimplify - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | SSASimplify |
Home Index

The optimization passes for the SSA IntermediateLanguage are collected and controlled by the `Simplify` functor (simplify.sig,simplify.fun).

The following optimization passes are implemented:

- CombineConversions

- CommonArg

- CommonBlock

- CommonSubexp

- ConstantPropagation

- Contify

- Flatten

- Inline

- IntroduceLoops

- KnownCase

- LocalFlatten

- LocalRef

- LoopInvariant

- Redundant

- RedundantTests

- RemoveUnused

- SimplifyTypes

- Useless

The following implementation pass is implemented:

- PolyEqual

- PolyHash

There are additional analysis and rewrite passes that augment many of the other optimization passes:

- Multi

- Restore

- Shrink

The optimization passes can be controlled from the command-line by the options:

- `diag-pass <pass>` -- keep diagnostic info for pass

- `drop-pass <pass>` -- omit optimization pass

- `keep-pass <pass>` -- keep the results of pass

- `loop-passes <n>` -- loop optimization passes

- `ssa-passes <passes>` -- ssa optimization passes

Last edited on 2009-08-02 21:41:23 by MatthewFluet.