Demand-driven interprocedural array property analysis

Yuan Lin, David Padua

Research output: Contribution to journalArticlepeer-review


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 languageEnglish (US)
Pages (from-to)303-317
Number of pages15
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
StatePublished - Jan 1 2000

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Demand-driven interprocedural array property analysis'. Together they form a unique fingerprint.

Cite this