基于BDD的谓词分析与优化

• 作者: 刘春林 王凤芹 胡定磊
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 谓词分析 谓词优化 编译优化 二进制决策图
• 年，卷（期）: 2005,（35）
• 所属期刊栏目: 学术探讨
• 页码范围: 26-28,62
• 页数: 4页
• 分类号: TP311
• 字数: 3409字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.35.010

摘要

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

作者信息

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