%0 Journal Article
%T 基于互补谓词的编译优化
%A 胡定磊
%A 陈书明
%A 王凤芹
%A 刘春林
%J 电子学报
%P 1280-1286
%D 2006
%X 许多通用和嵌入式高性能处理器都支持谓词执行,利用谓词执行可以简化程序的控制结构,而且指令调度、寄存器分配也可以利用谓词提高效率.基于二进制决策图(BDD)的谓词分析系统,提出了一种利用互补谓词机制对控制结构进行优化的方法;对传统着色图寄存器分配算法进行改进,给出了一种利用互补谓词机制建立统一简化干涉图的新算法,减少了代码溢出;利用互补谓词的特性指导指令调度,使之更加有效利用资源,并对目标体系结构进行了改进以支持指令调度.最后在YHFT-DSP/700芯片的编译器上对所提优化方法的有效性进行了验证.
%K 编译器
%K 互补谓词
%K 谓词分析
%K 指令调度
%K 寄存器分配
%U http://www.ejournal.org.cn/CN/abstract/abstract1495.shtml