基于路径信息的谓词关系分析

• 作者: 沈立 王志英 鲁建壮
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 谓词执行 谓词分析 路径 域
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 191-195
• 页数: 5页
• 分类号: TP311
• 字数: 7106字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2004.02.004

摘要

谓词执行技术能够将多个基本块合并为一个超块,扩大指令调度范围,开发更多的指令级并行.但它也给编译优化带来一些新问题,使得传统的编译器在进行指令调度或寄存器分配等优化工作时往往只能得到保守的结果.受所用谓词表示方法的限制,目前的谓词关系分析方法必须首先重构控制流信息,这就影响了编译优化的效果和效率.本文提出了一种基于路径编码的谓词表示方法,将谓词定义信息转换为等价的域编码,并以此为基础实现了一个全局谓词关系分析子系统.模拟结果表明,该子系统能够准确高效地实现全局谓词关系分析,在保证编译效率的同时,提高了编译优化的效果.