在 x87 FPU 中简单添加单精度浮点数

Question

我正在编写一个小型汇编程序，它采用两个单精度浮点数，将它们相加并显示结果。但是，我希望将结果保存在寄存器中以备后用。为了帮助我开始，我将一个 c++ 程序编译成一个汇编程序，并尝试对其进行编辑。但是，我不明白我得到的结果如下：

    movl    $0x49742408, %eax
    movl    %eax, 20(%esp)
    movl    $0x49f42405, %eax
    movl    %eax, 24(%esp)
    flds    20(%esp)
    fadds   24(%esp)
    fstps   28(%esp)
    flds    28(%esp)
    fstpl   4(%esp)
    movl    $.LC2, (%esp)
    call    printf
    movl    $0, %eax

首先，关于浮点数，s 表示 32 位，l 表示 64 位，我是否正确？其次，为什么它会弹出一个 32 位浮点值到 28(%esp) 中，只是为了将其存储回数据寄存器堆栈中？删除这两行会导致结果不太精确，这很奇怪。最后，它再次弹出数据寄存器堆栈，但这次是 64 位值。我想要一个单精度 32 位值。但是，将l 更改为s 导致我得到0。有人知道到底发生了什么吗？

Answer 1

1. 是的，s 是 32 位 (float)，l 是 64 位 (double)。
2. 当然不能只删除它，然后必须使用fstpl 4(%esp)。我假设您正在查看未优化的代码。
3. printf 需要根据 C 调用约定的参数，因此可变参数会自动提升为 double。