需求驱动的流敏感别名检查

• 作者: 匡碧英 尉红梅 马晓东
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 别名检查 流敏感 需求驱动
• 年，卷（期）: 2013,（10）
• 页码范围: 35-39
• 分类号: TP312
• 字数: 5265字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1203-0594

摘要

别名分析的精度影响着很多其他编译优化的效果.在对展开后的循环体做指令调度的时候,不精确的别名分析结果会导致冗余数据依赖的产生,从而限制了调度.流敏感的别名分析因为代价过高而扩展性不好.在流不敏感别名信息的基础上,提出了一种需求驱动的流敏感别名检查方法,能够以流敏感的方式判断两个表达式在某程序点上是否为别名.该方法假设两个表达式之间具有别名关系,从而获取初始的数据流事实.用数据流分析技术计算逆向程序点上的数据流事实.如果在所有逆向路径上的数据流事实中都产生了矛盾,则认为别名关系不成立.实验结果表明,该方法能较好地提高别名分析的精度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马晓东		5	10	2.0	2.0
2	尉红梅		14	18	2.0	3.0
3	匡碧英		7	2	1.0	1.0