谓词支持是IA-64体系结构的新特征,它为发掘指令级并行提供了更多的机会,同时给编译器的设计者增加了难度.谓词是条件执行的依据,是提高指令级并行的新途径.该文介绍在ORC(IA-64 Open Research Compiler)中首次设计实现的基于谓词划分图的谓词分析技术及其在指令调度中的应用.利用谓词分析技术建立了谓词关系数据库、指令调度查询谓词关系数据库提高指令级并行.文章着重论述了谓词关系数据库的核心--谓词划分图的建立,在谓词划分图的基础上实现了谓词关系的计算和查询,实际结果表明谓词分析技术有显著优化效果.