The optimization passes for the SXML IntermediateLanguage are collected and controlled by the SxmlSimplify functor (sxmlsimplify.sig, sxmlsimplify.fun).
The following optimization passes are implemented:
The following implementation passes are implemented:
The following optimization passes are not implemented, but might prove useful:
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

sxmlpasses <passes> — sxml optimization passes