| 专利名称 | 基于互补谓词的代码移动方法 | 申请号 | CN201310704227.X | 专利类型 | 发明专利 | 公开（公告）号 | CN103617049A | 公开（授权）日 | 2014.03.05 | 申请（专利权）人 | 中国科学院声学研究所 | 发明（设计）人 | 朱浩;彭楚;王东辉;洪缨 | 主分类号 | G06F9/44(2006.01)I | IPC主分类号 | G06F9/44(2006.01)I | 专利有效期 | 基于互补谓词的代码移动方法 至基于互补谓词的代码移动方法 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明涉及一种基于互补谓词的代码移动方法，该方法包括：判断当前节点的指令到目标节点的谓词条件是否成立；目标节点是前驱节点或后继节点，节点是汇编文件的代码片段且彼此无回路；在谓词条件成立的情况下，根据谓词条件修改当前节点的推断寄存器；将当前节点内确定被移动的指令复制到控制流图中其各目标节点内并且删除当前节点内的指令；修补数据依赖图。本发明结合谓词互补谓词结构，在代码移动过程中修改指令的推断寄存器来抑制代码复制，无需进行代码补偿，并且代码移动方法实施代价低，实现简单，具有较高的工程实现价值。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障