Demand-driven interprocedural array property analysis

Abstract

Many optimization techniques rely on the analysis of array subscripts. Current compilers often give up optimizations when arrays are subscripted by index arrays and treat the index arrays as unknown functions at compiletime. However, recent empirical studies of real pro grams have shown that index arrays often possess some properties that can be used to derive more precise information about the enclosing loops. In this paper, we present an index array analysis method, called array property analysis, which computes array properties by backpropagating queries along the control flow of the program. This method integrates the array dataflow analysis with interprocedural analysis and the demand driven approach. © SpringerVerlag Berlin Heidelberg 2000.