Representing variables and parameters

[veniger]

We need a more robust way to represent variables in different cases. As it is in the format currently, we can map stack slots to variables but can't do vice versa. Also a good thing would be to have the option of calculating values of variables that are not just on the stack, for example:

• constant folded variables
• optimized out variables (to be able to explicitly say that the variable is optimized out of the code)
• memory spilled

For each variable we would need a way to compute or read it at some "point in time"