The strategy inlining component of the
Stratego optimizer replaces calls to strategies with their body,
allowing other optimizations to specialize the strategy to its arguments. In combination with
worker wrapper splitting,
inlining improves the result of
pattern match compilation.
The current implementation (
StrategoRelease093) applies rather crude heuristics for deciding which strategy
definitions to inline. This should be improved based on benchmarks and inspection of intermediate code.
--
EelcoVisser - 17 Aug 2003