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调用约定要求参数，因此varargs自动提升到double。