c - x87 双加法不起作用

Question

我定义了一个汇编函数，它接受三个参数(int、double、double)，该函数应该将两个放入的 double 值相加并返回此相加的结果。我不知道为什么下面的代码不起作用:

extern double ftaylor(unsigned int n, double x, double y);
int main()
{
    double z  = 14;
    z = ftaylor(30, 13.45, 7);


    printf("%f", z);
    return 0;
}

以及组装函数:

.globl ftaylor

ftaylor:
    .lcomm state, 8
    .lcomm state2, 8
    push %rbp
    mov %rsp, %rbp
    push %rax

    mov %rdi, %rax
    movsd %xmm0, state
    movsd %xmm1, state2

    finit

    fld state
    fld state2

    fadd %st(1), %st(0)

    fstp state
    fstp state2

    movsd state, %xmm0

    pop %rax
    mov %rbp, %rsp
    pop %rbp
    ret

终端上打印的结果是13.45。看起来处理器没有执行加法。我不知道为什么。

Answer 1

主要问题是没有后缀的 fld/fstp 默认为 s(hort)，也称为单精度 float 。但是您有 double 值，因此您应该使用 fldl/fstpl。正如其他人指出的那样，除非绝对必要，否则不要使用 x87。另外，学习使用调试器。