关键词: 投机, 反投机, 控制流图, 软件流水

Abstract: Speculation is a very effective way to improve instruction level parallelism as an advance compiler optimization technique. However, in reverse direction engineering, sometimes we need to migrate code between different hardware plats, sometimes need to optimize the structure of the binary program for understanding. These all ask to transform speculative code into “normal” unspeculative code. This paper describes the algorithm based on the IA-64 hardware plat. The original binary code is compiled by ICC compiler, and the result code is the assemble code without speculative code. This translation must preserve the program semantics, and the running result is unchanged. This technique can be used in traditional reverse engineering and re-engineering techniques. Experiments indicate that the technique is very effective in eliminating the speculative code in binary code that is compiled by ICC compiler.

Key words: speculation, unspeculation, CFG, software pipelining