Question

我定义了一个汇编函数，它接受三个参数（int，double，double），它们应该添加两个putted 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)，也称为单精度浮点数。但是你有双精度值，所以你应该使用fldl/fstpl。正如其他人所指出的，除非绝对必要，否则不要使用x87。另外，学习使用调试器。

Answer 2

由x87代码片段计算的

state被xmm0中存储的值覆盖：

...
movsd %xmm0, state
...
... x87 calculation of state ...
...
movsd state, %xmm0
...

在经过一些反复之后，似乎AT＆amp; T语法可能使用反向参数顺序，即mov a, b从 > b to a，它将解释输入参数的覆盖以及OP观察到的输出。他的汇编程序使用的语法究竟是什么仍然不清楚，所以我对这个答案有点试探性。

其他答案和评论中已指出其他可能的原因。

x87双加法不起作用

2 个答案: