基于互补谓词的代码移动方法

摘要

本发明涉及一种基于互补谓词的代码移动方法，该方法包括：判断当前节点的指令到目标节点的谓词条件是否成立；目标节点是前驱节点或后继节点，节点是汇编文件的代码片段且彼此无回路；在谓词条件成立的情况下，根据谓词条件修改当前节点的推断寄存器；将当前节点内确定被移动的指令复制到控制流图中其各目标节点内并且删除当前节点内的指令；修补数据依赖图。本发明结合谓词互补谓词结构，在代码移动过程中修改指令的推断寄存器来抑制代码复制，无需进行代码补偿，并且代码移动方法实施代价低，实现简单，具有较高的工程实现价值。

主权项

一种基于互补谓词的代码移动方法，其特征在于，所述方法包括： 判断当前节点的指令到目标节点的谓词条件是否成立；所述目标节点是前驱节点或后继节点，节点是汇编文件的代码片段且彼此无回路； 在谓词条件成立的情况下，根据所述谓词条件修改所述当前节点的推断寄存器； 将所述当前节点内确定被移动的指令复制到控制流图中其各目标节点内并且删除所述当前节点内的指令； 修补数据依赖图。