assembly - 如何从汇编中打印 float ？

Question

我试图通过调用 printf 打印一个 float ，但它似乎总是只打印 pi 值 (3.1415)，尽管结果是应该的是圆的面积，应该在计算后移动到 pi 变量。

.section .data
    value:
        .quad 0
    result:
            .asciz "The result is %lf \n"
    pi:
        .double 3.14159

.section .bss
.section .text
.globl _start
.type area, @function
area:

    nop
    imulq %rbx, %rbx
    movq %rbx, value
    fildq value
    fmul pi                           # multiply r^2 by pi
    fst  pi                           # Store result to pi
    movupd pi, %xmm0                  # move result to xmm0
    nop
    ret

_start:

    nop
    movq $2, %rbx
    call area                 # calculate for radius 2
    leaq result, %rdi         
    movq $1, %rax             # specify only one float value
    call printf                 
    movq $0, %rdi             # Exit
    call exit                     
    nop

我总是返回 3.1415。我不知道为什么它应该被 fst 指令覆盖。

Answer 1

如果您的浮点运算碰巧使用内存操作数，您需要为其添加一个大小后缀。否则，GNU 汇编器将隐式使用单精度，这不是您想要的。要修复您的代码，请更改

fmul pi                           # multiply r^2 by pi
fst  pi                           # Store result to pi

到

fmull pi                           # multiply r^2 by pi
fstl  pi                           # Store result to pi

关于您的代码的一些其他说明:

• 尽可能使用rip-相对寻址模式而不是绝对寻址模式。具体来说，这意味着将内存操作数中的 foo 替换为 foo(%rip)，包括 for lea result(%rip), %rdi

• 确保在您的函数末尾保留一个干净的 x87 堆栈，否则其他代码可能会虚假地导致它溢出。例如，使用 fstpl pi(%rip) 来存储结果并将其从堆栈中弹出。

• 使用 movsd，而不是 movupd 将一个 double 加载到 SSE 寄存器，而不是一对。

• 如果可能，所有 数学，考虑使用 SSE 而不是 x87。这是在 x86-64 中进行标量 FP 数学运算的标准方法，这就是为什么 XMM 寄存器是调用约定的一部分。 (除非您需要 80 位扩展精度，但内存中的 pi 常量远不如 x87 fldpi 准确。)

     ...
     cvtsi2sd   %rbx, %xmm0
     mulsd      pi(%rip), %xmm0
     ret