Scalable Array SSA and Array Data Flow Analysis

13 years 10 months ago

Download www.csc.lsu.edu

Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more eﬃcient data ﬂow 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 ﬂow analysis, a very important and potentially powerful technology. In this paper we propose to improve the applicability and scalability of previous eﬀorts in array SSA through the addition of a symbolic memory access descriptor for summarizing, in an aggregated and thus scalable manner, the accesses to the elements of an array over large, interprocedural program contexts. Scalar SSA functionality is extended using compact memory descriptors and thus provides a uniﬁed, scalable SSA representation. We then show the power of our new representation by using it to implement a basic data ﬂow algorithm, reaching deﬁnitions. Finally we use thi...

Silvius Rus, Guobin He, Lawrence Rauchwerger

Real-time Traffic