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:

• CommonArg

• CommonBlock

• CommonSubexp

• ConstantPropagation

• Contify

• Flatten

• Inline

• IntroduceLoops

• KnownCase

• LocalFlatten

• LocalRef

• LoopInvariant

• Redundant

• RedundantTests

• RemoveUnused

• SimplifyTypes

• Useless

The following implementation pass is implemented:

• PolyEqual

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