next up previous
Next: Phase 2: Symbolic Up: Region-Based Analysis Previous: Region-Based Analysis

Phase 1: Transfer Functions

The symbolic behavior of a region R is a relative map describing every variable's value on exit in terms of enclosing loop indices and variable values on entry to R. The following operations are defined:

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