TigerOptimize is a component of the TigerCompiler in the TigerOpt package. The component applies various ProgramOptimizations at the level of TigerAbstractSyntax expressions.

Examples of optimizations that can be applied:

• ConstantFolding^?
• ConstantPropagation^?
• DeadCodeElimination^?

As distributed the implementation of the component defines the identity transformation.

DynamicRules are very useful for implementing source to source transformations.