Demand-Driven Interprocedural Array Property Analysis

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