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