Stratego Optimizer
Stratego -- Strategies for Program Transformation
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
- Common subexpression elimination
- Effects analysis
- Wrapper inlining?
CategoryCompiler