The optimization passes for the RSSA IntermediateLanguage are collected and controlled by the Backend functor (backend.sig, backend.fun).

The following optimization pass is implemented:

The following implementation passes are implemented:

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