软件流水中隐式控制流恢复技术  

Recovery of Implicit Control Flow in Software Pipelined Loops

作　　者：汪淼[1,2] 赵荣彩[1] 蔡国明[3] 丁志芳[2] 

机构地区：[1]解放军信息工程大学信息工程学院,郑州450002 [2]解放军信息工程大学理学院,郑州450001 [3]解放军信息工程大学电子技术学院,郑州450004

出　　处：《计算机科学》2008年第10期272-274,共3页Computer Science

基　　金：国防重点科研项目资助

摘　　要：具有条件分支的循环通过IF转换将显式的控制流转换为隐式的控制流,从而为指令调度提供进一步的机会。但它往往将程序的代码进行深度重构,增加了程序的理解和代码重建工作的复杂性。提出了一种软件流水循环中的隐式控制流恢复技术,用于重构软件流水循环中的条件分支,提高软件逆向工程中生成的目标代码的质量。If-conversion with predicated execution has been proposed to convert explicit conditional branches in loops into implicit control flow, which can enlarge the chance of instruction schedule. However it can profoundly restructure the low level code of programs and complicate the task of understanding and re-engineering from an optimized exeeutable. This paper describes a technique to recover implicit control flow in software pipelined loops and thereby improve the quality and efficiency of IA-64 binary translation. This technique has been implemented in our static binary translator and is proved to be valid with the experiments.

关 键 词：软件流水 IF转换 谓词执行 寄存器旋转 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论] TN929.1[自动化与计算机技术—计算机科学与技术]