next up previous
Next: Support for Array Up: Interprocedural Analysis for Parallelization Previous: Phase 2: Deriving

Scalar Data-Flow Analysis


Scalar data-flow analysis is crucial for parallelizing loops. Analyses of scalar variables in a loop are necessary both to detect and eliminate scalar dependences and to support precise analysis of array accesses. Array analysis support is provided by an interprocedural symbolic analysis and a separate inequality constraint propagation.

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