二进制翻译中对X86中浮点运算的处理方法

摘要

本发明公开了一种二进制翻译中对X86中浮点运算的处理方法，包括以下步骤：在运行时环境中设置一个浮点栈，用于仿真X86中的物理浮点栈；通过浮点寄存器映射的处理和归一方法依次对源二进制程序中的每个基本块进行处理。本发明通过用目标机器的寄存器来映射X86的源寄存器，保证了X86的浮点运算在目标机器上也是由寄存器来实现，确保运算的效率；采用归一的方法，确保每个基本块的入口满足每次top的值相同的假设，从本质上来讲，将Intel的运行过程中对投机假设的判别，用归一的方法进行了保证。本发明使得基本块不需要每次都去判别是否投机假设成立，省去了这一部分开销，提高了系统翻译效率，从而提高了系统性能。