Hpc Escaping Variables

Tiger in Stratego -- Compilation by Program Transformation
Escaping Variables

This is the seventh set of HpcExercises.

The current implementation of WebHome stores all formal and local variables in the stack frame, even if they might be kept in registers.

Extend the compiler with escaping variables analysis such that variables that are not needed by nested functions are stored in registers.

  1. Which components are affected by this extension?