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

Optimizations that are already implemented

• Stratego simplifier
• Innermost fusion
• Pattern match compilation
• Strategy inlining
• Dead definition elimination
• Constant and copy propagation
• Bound unbound variable analysis
• Dead variable elimination
• Avoid run time checks on variables
• Build match fusion
• Lift definitions to top level
• Worker wrapper splitting

Ideas for new optimizations

• Common subexpression elimination
• Effects analysis

---

CategoryCompiler