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