Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004. (2004)
Antibes Juan-les-Pins, France
Sept. 29, 2004 to Oct. 3, 2004
Silvius Rus , Texas A&M University
Dongmin Zhang , Texas A&M University
Lawrence Rauchwerger , Texas A&M University
We introduce a framework for the analysis of memory reference sets addressed by induction variables without closed forms. This framework relies on a new data structure, the value evolution graph(VEG), which models the global flow of values taken by induction variable with and without closed forms. We describe the application of our framework to array data-flow analysis, privatization, and dependence analysis. This results in the automatic parallelization of loops that contain arrays addressed by induction variables without closed forms. We implemented this framework in the Polaris research compiler. We present experimental results on a set of codes from the PERFECT, SPEC, and NCSA benchmark suites.
S. Rus, L. Rauchwerger and D. Zhang, "The Value Evolution Graph and its Use in Memory Reference Analysis," Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004.(PACT), Antibes Juan-les-Pins, France, 2004, pp. 243-254.