Extending The Tiger Compiler

Tiger in Stratego -- Compilation by Program Transformation
The Tiger compiler can easily be extended since it is component-based. Adding a new optimization phase, extending the syntax of the language, or replacing the back-end, is a matter of creating a new component and constructing a new compilation pipeline. This page lists some ideas for extensions.

Language extensions

  • Add a module system and separate compilation
  • Function arguments (escaping functions)
  • Objects
  • Add support for XML

Compiler improvements

  • Allocate non-escaping records and arrays on the stack
  • Garbage collection
  • Partial evaluation / specialization
  • Target different platforms (e.g. Intel)
  • Parallel execution
  • Improve spilling heuristics in the register allocator
  • Improve stack allocation of escaping variables (overlap variables that are not live at the same time)
  • Add data-flow optimizations
  • Add loop optimizations
  • Inline functions

-- EelcoVisser - 15 Sep 2002

Tiger.ExtendingTheTigerCompiler moved from Tiger.HowToExtendTheTigerCompiler on 15 Sep 2002 - 18:55 by EelcoVisser - put it back