next up previous
Next: Cloning. Up: Region-Based Analysis Previous: Phase 1: Transfer

Phase 2: Symbolic Calling Contexts.

The symbolic context of a region R is an absolute map describing each live variable's value on entry to R in terms of loop invariants and loop indices of enclosing loops.



Saman Amarasinghe
Mon Oct 2 11:00:22 PDT 1995