论文部分内容阅读
设计一种基于多面体模型的静态数据依赖分析方法,对程序中的循环体进行分析,将生存周期思想引入到数据的依赖分析中.数据的依赖关系中只有流依赖是无法消除的固有依赖,必须保持变换前的执行顺序,而输出依赖和反依赖可以通过标量扩展及向前替换等方法消去.对传统数据依赖分析进行改进,通过分析内存单元的生存周期,摒除不必要的伪依赖,从而可以对更多的循环体进行变换.通过实验表明了该方法的可行性和有效性.