GCC 4·1数据依赖分析器的分析与改进  

Analysis and Improvement of the GCC 4.1 Data Dependence Analyzer

作　　者：曾利永[1] 杨灿群[1] 黄春[1] 

机构地区：[1]国防科技大学计算机学院,湖南长沙410073

出　　处：《计算机工程与科学》2006年第10期104-106,116,共4页Computer Engineering & Science

基　　金：国家863计划资助项目(2004AA1Z2210)

摘　　要：本文深入分析了GCC4·1的数据依赖分析器,针对它在分析Fortran程序的线性化数组访问时的不足,给出了两点改进:一是初步实现了一个非仿射数组下标依赖分析算法;二是提出并实现了分裂递归链的仿射数组下标数据依赖分析方法。实验表明,这两点改进增强了GCC4·1的数据依赖分析能力,为进行循环变换如循环交换提供了更准确的数据依赖信息。After thoroughly analyzing the GCC 4.1 data dependence analyzer, we make two contributions to overcome its limitations on analyzing linearized array references 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.

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

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]