TY - GEN
T1 - Region array SSA
AU - Rust, Silvius
AU - He, Guobin
AU - Alias, Christophe
AU - Rauchwerger, Lawrence
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
KW - Array SSA
KW - Constant propagation
KW - Parallelization
UR - http://www.scopus.com/inward/record.url?scp=34247131908&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=34247131908&partnerID=8YFLogxK
U2 - 10.1145/1152154.1152165
DO - 10.1145/1152154.1152165
M3 - Conference contribution
AN - SCOPUS:34247131908
SN - 159593264X
SN - 9781595932648
T3 - Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT
SP - 43
EP - 52
BT - PACT 2006 - Proceedings of the Fifteenth International Conference on Parallel Architectures and Compilation Techniques
T2 - PACT 2006 - 15th International Conference on Parallel Architectures and Compilation Techniques
Y2 - 16 September 2006 through 20 September 2006
ER -