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.
|Original language||English (US)|
|Number of pages||15|
|Journal||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|State||Published - Jan 1 2000|
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)