关键词: GCC 数据依赖分析 线性化数组访问 仿射数组下标

Abstract:

After thoroughly analyzing the GCC 4.1 data dependence analyzer, we make two contributions to overcome its limitations on analyzing linearized array r eferences of Fortran programs. First,we implement a preliminary data dependence analysis algorithm for nonaffine array subscript references. Second, we present and implement a data dependence analysis method for affine array subscript references by splitting the chain of recurrences. Experiments show that with these improvements the ability of data dependence analysis in GCC 4.1 is for performing loop transformations, such as loop interchange. enhanced  , and more accurate information can be providedfor performing loop transformations, such as loop interchange.

Key words: （GCC, data dependence analysis;linearized array reference;affine array subscript）