The Stratego Optimizer consists of a number of source-to-source transformation components that are called by the StrategoCompiler.

Optimizations that are already implemented

• Several simplifications
• Innermost fusion
• Pattern match compilation
• Strategy inlining
• Constant and copy propagation
• Dead variable elimination
• Avoid run time checks on variables
• Build match fusion
• Lift definitions to top level

Ideas for new optimizations

• Common subexpression elimination
• Effects analysis
• Wrapper inlining^?

---

CategoryCompiler