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

第42卷 第 3期 计 算 机 科 学 Vo1．42No．3 2015年 3月 Computer Science M ar2015 一 种面 向向量化 的动态指针别名分析框架 刘 鹏 赵荣彩 李朋远 (信息工程大学 郑州 450001) (数学工程与先进计算国家重点实验室 郑州450001) 摘 要 指针别名分析是数据流分析中的关键性技术，其分析结果是编译优化和程序 变换的基础。在向量化方法和 动态指针别名分析相关研究的基础上，设计了一种面向向量化的动态指针别名分析框架。该框架通过动态插桩和试 运行提取指针别名信息，并反馈到向量化阶段指导向量化代码生成。从提取候选别名分析集、插桩及试运行和反馈优 化 3个方面对整体框架进行分析和研究。该框架基于Open64实现 ，并 以通用测试集 GCC-VECT和典型应用进行 了 实验评估，结果表明，该框架相比静态指针别名分析具有更精确的别名分析结果，该结果能够有效改进 向量化程序的 加速 比。 关键词 指针别名分析。向量化，动态分析，依赖分析 中图法分类号 TP311．5 文献标识码 A DOI 10．11896／j．issn．1002—137X．2015．3．005 Dynam icPointerAliasAnalysisFrma eworkforVectorization LIU Peng ZHAO Rong——cai I．IPeng—yuan (ThePIA InformationEngineeringUniversity，Zhengzhou450001，China) (StateKeyLaboratoryofMathematicalEngineeringandAdvancedComputing，Zhengzhou450001，China) Abstract Pointeraliasanalysisisakeytechnologyindata—flow analysis，whoseresultsarethebasisofcompileroptimi zationandprogram transformation．Basedon therelatedresearch ofvectorizationmethodand dynamicpointeralias analysis，adynamicpointeraliasanalysisframework orientedtovectorizationwasdesigned．Thedynamicpointeralias informationisextractedbydynamicinstrumentandtestrun，andthevectorizationcodegenerationisguidedbythefeed— backinformation．Thewholeframeworkwasstudiedfrom threeaspects，whicharecandidatealiasanalysissetextrac— tion，instrumentandtestrun．TheframeworkwasimplementedonOpen64andevaluatedinbenchmarkCA；C-VECT and typicalapplications．Theexperimentalresultsshow thattheframeworkhasthemoreprecisealiasanalysisresultscorn— paredwithstaticpointeraliasanalysis，andcansignificantlyimprovethespeedupofvectorizationprogram． Keywords Pointeraliasanalysis，Vectorization，Dynamicanalysis，Dependenceanalysis