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

本文深入分析了GCC4·1的数据依赖分析器,针对它在分析Fortran程序的线性化数组访问时的不足,给出了两点改进:一是初步实现了一个非仿射数组下标依赖分析算法;二是提出并实现了分裂递归链的仿射数组下标数据依赖分析方法。实验表明,这两点改进增强了GCC4·1的数据依赖分析能力,为进行循环变换如循环交换提供了更准确的数据依赖信息。