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:
The following implementation passes are implemented:
There are additional analysis and rewrite passes that augment many of the other optimization passes:
The optimization passes can be controlled from the commandline by the options:

diagpass <pass> — keep diagnostic info for pass

droppass <pass> — omit optimization pass

keeppass <pass> — keep the results of pass

looppasses <n> — loop optimization passes

ssapasses <passes> — ssa optimization passes