谓词优化相关论文
为对带谓词的数据流进行准确而有效的分析，首先介绍了John W.Sias等人提出的一种基于二进制决策图（BDD）的谓词分析系（PAS）；然后在其基础......
近年来,随着国家自主设计芯片的能力的增强,涌现了一批成熟的产品级处理器芯片,主要有中科院计算所研制的龙芯、江南计算所研制的......
目前BWDSP104X编译器对程序中条件分支的处理是采用传统的谓词优化方法,及每条指令和一个谓词相关,只有当谓词为真时指令才被执行,......
