基于BDD的谓词分析与优化

摘要：

为对带谓词的数据流进行准确而有效的分析,首先介绍了John W.Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统(PAS);然后在其基础上,提出了结合芯片自身体系结构特点的谓词优化算法.将PAS及优化算法在学院研制的YHFT_D4芯片的编译器上实现,实验结果表明,这种基于BDD的谓词分析与优化方法简化了程序控制结构,减少了对谓词寄存器的使用,缩短了代码执行时间,性能获得了较大的提高.

关键词：谓词分析、谓词优化、编译优化、二进制决策图

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

资助基金：国家科技攻关项目2004AA1Z1040

在线出版日期：2006-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：26-28,62