Abstract: In binary translation, the use of intermediate representation can appropriate segregate different machine platforms, and make binary translation system more portable. This paper presents an intermediate representation called VINST, introduces the instruction set and its characteristics. It discusses some optimization methods including SSA formalization algorithm and redundancy elimination algorithm. Through comparison between before and after the optimization, it shows that a simple and efficient method can cover the cost of optimization itself and improve system performance.

Key words: dynamic binary translation, intermediate representation, binary translator CrossBit

摘要： 在二进制翻译中采用中间表示，可以适当隔离不同机器平台的特点，便于二进制翻译系统的移植。提出一种VINST中间表示方法，介绍其指令集与特点，运用SSA形式化和冗余指令删除等方法对VINST进行初步优化。优化前后的性能比较结果表明，相对简单高效的方法可以弥补优化的开销，提高系统性能。

关键词: 动态二进制翻译, 中间表示, 二进制翻译器CrossBit

CLC Number: 

• TP311