基于互补谓词的编译优化

• 作者: 刘春林 王凤芹 胡定磊 陈书明
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 编译器 互补谓词 谓词分析 指令调度 寄存器分配
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 1280-1286
• 页数: 7页
• 分类号: TP314
• 字数: 6828字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2006.07.020

摘要

许多通用和嵌入式高性能处理器都支持谓词执行,利用谓词执行可以简化程序的控制结构,而且指令调度、寄存器分配也可以利用谓词提高效率.基于二进制决策图(BDD)的谓词分析系统,提出了一种利用互补谓词机制对控制结构进行优化的方法;对传统着色图寄存器分配算法进行改进,给出了一种利用互补谓词机制建立统一简化干涉图的新算法,减少了代码溢出;利用互补谓词的特性指导指令调度,使之更加有效利用资源,并对目标体系结构进行了改进以支持指令调度.最后在YHFT-DSP/700芯片的编译器上对所提优化方法的有效性进行了验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈书明	国防科技大学计算机学院	65	467	11.0	18.0
2	刘春林	国防科技大学计算机学院	14	61	5.0	7.0
3	王凤芹	国防科技大学计算机学院	3	5	1.0	2.0
4	胡定磊	国防科技大学计算机学院	10	68	5.0	8.0