| 基于BDD的谓词分析与优化 |
| |
| 引用本文： | 王凤芹,刘春林,胡定磊.基于BDD的谓词分析与优化[J].计算机工程与应用,2005,41(35):26-28,62. |
| |
| 作者姓名： | 王凤芹 刘春林 胡定磊 |
| |
| 作者单位： | 国防科技大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家863高技术研究发展计划重要项目资助（编号：2004AA1Z1040） |
| |
| 摘 要： | 为对带谓词的数据流进行准确而有效的分析,首先介绍了John W.Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统(PAS);然后在其基础上,提出了结合芯片自身体系结构特点的谓词优化算法。将PAS及优化算法在学院研制的FT_D4芯片的编译器上实现,实验结果表明,这种基于BDD的谓词分析与优化方法简化了程序控制结构,减少了对谓词寄存器的使用,缩短了代码执行时间,性能获得了较大的提高。
|
| 关 键 词： | 谓词分析 谓词优化 编译优化 二进制决策图 |
| 文章编号： | 1002-8331-（2005）35-0026-03 |
| 收稿时间： | 2005-06 |
| 修稿时间： | 2005-06 |
Predicate Analysis and Optimization Based on BDD |
| |
| Wang Fengqin,Liu Chunlin,Hu Dinglei.Predicate Analysis and Optimization Based on BDD[J].Computer Engineering and Applications,2005,41(35):26-28,62. |
| |
| Authors: | Wang Fengqin Liu Chunlin Hu Dinglei |
| |
| Affiliation: | School of Computer Science,National University of Defense Technology,Changsha 410073 |
| |
| Abstract: | In order to analyze predicate code accurately,this paper first introduces Predicate Analysis System based on binary decision diagrams,which is put forward by John W.Sias etc.And then a predicate optimization algorithm is presented,incorporating characteristics of certain chips' architecture.PAS and the optimization algorithm have been implemented in the compiler of YHFT_D4 chip developed by authors' college.Experiment results show that program decision structure is simplified,the number of used predicate registers is reduced,the code execution time is shortened,and the performance is improved greatly. |
| |
| Keywords: | predicate analysis predicate optimization compiling optimization BDD |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
