The Community for Technology Leaders
2006 International Conference on Parallel Architectures and Compilation Techniques (PACT) (2006)
Seattle, WA, USA
Sept. 16, 2006 to Sept. 20, 2006
ISBN: 978-1-5090-3022-4
pp: 43-52
Silvius Rust , Parasol Lab, Department of Computer Science, Texas A&M University
Guobin He , Parasol Lab, Department of Computer Science, Texas A&M University
Christophe Alias , Laboratoire de l'Informatique du Parallelism, ENS Lyon
Lawrence Rauchwerger , Parasol Lab, Department of Computer Science, Texas A&M University
ABSTRACT
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars and thus leads to better scalar optimizations. Unfortunately not much progress has been achieved in applying the same techniques to array data flow analysis, a very important and potentially powerful technology. In this paper we propose to improve the applicability of previous efforts in array SSA through the use of a symbolic memory access descriptor that can aggregate the accesses to the elements of an array over large, interprocedural program contexts. We then show the power of our new representation by using it to implement a basic data flow algorithm, reaching definitions. Finally we apply this analysis to array constant propagation and array privatization and show performance improvement (speedups) for benchmark codes.
INDEX TERMS
Parallelization, Array SSA, Constant Propagation
CITATION
Silvius Rust, Guobin He, Christophe Alias, Lawrence Rauchwerger, "Region array SSA", 2006 International Conference on Parallel Architectures and Compilation Techniques (PACT), vol. 00, no. , pp. 43-52, 2006, doi:
176 ms
(Ver 3.3 (11022016))