一种面向向量化的动态指针别名分析框架

作     者：刘鹏 赵荣彩 李朋远 LIU Peng;ZHAO Rong-cai;LI Peng-yuan

作者机构：信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001 

基　　金："核高基"国家科技重大专项(2009ZX01036)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2015年第42卷第3期

页      码：26-30页

摘      要：指针别名分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础。在向量化方法和动态指针别名分析相关研究的基础上,设计了一种面向向量化的动态指针别名分析框架。该框架通过动态插桩和试运行提取指针别名信息,并反馈到向量化阶段指导向量化代码生成。从提取候选别名分析集、插桩及试运行和反馈优化3个方面对整体框架进行分析和研究。该框架基于Open64实现,并以通用测试集GCC-VECT和典型应用进行了实验评估,结果表明,该框架相比静态指针别名分析具有更精确的别名分析结果,该结果能够有效改进向量化程序的加速比。

主 题 词：指针别名分析 向量化 动态分析 依赖分析 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2015.3.005

馆 藏 号：203110172...