C++ Builder 12中x86-64浮点底数内联汇编vpow函数问题排查

你的代码在x86-64平台下出错的核心原因是忽略了x64调用约定的参数传递规则，以及多余的指令干扰了浮点环境：

具体错误点 #

1. 参数传递方式错误
   Embarcadero C++ Builder 12的x86-64目标使用Microsoft x64调用约定：

   • 第一个浮点参数base通过XMM0寄存器传递，而非栈内存
   • 第二个整数参数exp通过RDX寄存器传递，而非栈内存
     你直接用fld base和fild exp访问栈变量，编译器在优化时不会将寄存器中的参数值同步到栈变量，导致读取到未初始化的垃圾数据。

2. 多余的finit指令
   x64函数调用规范要求x87浮点环境保持默认状态（舍入到最近、禁用异常），finit会强制重置浮点控制字，可能破坏原有环境并导致计算结果异常。

修复后的代码 #

double vpow(double base, int exp) {
    double result = 0.0;
    __asm {
        // 将XMM0中的base值存入栈临时位置，供x87指令读取
        sub rsp, 8
        movq [rsp], xmm0
        fld qword ptr [rsp]
        
        // 从RDX寄存器读取int类型的exp（32位用EDX）
        fild edx
        
        // 原有的幂计算逻辑（逻辑本身是正确的）
        fyl2x
        fld st(0)
        frndint
        fsub st(1), st(0)
        fxch st(1)
        f2xm1
        fld1
        fadd
        fscale
        fstp result
        
        // 恢复栈指针
        add rsp, 8
    }
    return result;
}

或者更简洁的方式，通过临时变量让编译器自动处理寄存器到内存的同步：

double vpow(double base, int exp) {
    double temp_base = base;
    int temp_exp = exp;
    double result = 0.0;
    __asm {
        fld temp_base
        fild temp_exp
        fyl2x
        fld st(0)
        frndint
        fsub st(1), st(0)
        fxch st(1)
        f2xm1
        fld1
        fadd
        fscale
        fstp result
    }
    return result;
}

补充说明 #

• 你的幂计算逻辑本身是正确的：通过fyl2x计算log2(base)*exp，拆分整数和小数部分后用f2xm1和fscale组合得到最终结果，适用于所有正的浮点底数和整数指数。
• 如果需要处理负数底数，还需要额外添加符号判断和奇偶指数的逻辑——因为负数的整数次幂中，奇数指数结果为负，偶数指数结果为正，只需对绝对值计算幂后再调整符号即可。

内容的提问来源于stack exchange，提问作者Victor Melo