assembly - printf 在 x86-64 上是否需要额外的堆栈空间？

Question

这个问题已经有答案了:

Printing floating point numbers from x86-64 seems to require %rbp to be saved (1 个回答)

已关闭 5 年前。

虽然我知道最好使用编译器内在函数，就此而言，printf_chk ，并将数据放入 .rodata部分，我希望更深入地了解汇编语言，并对紧凑的代码感兴趣。有一些关于printf的事情我不明白。我知道参数放在哪里，我知道如何使用%al对于可变参数，但它似乎需要额外的堆栈空间，我无法解释。

这个小节目

        .text
        .globl  main
main:
        movsd   value(%rip), %xmm0    # value to print
        movl    $format, %edi         # format string
        movl    $1, %eax              # one floating-point arg
        call    printf
        movl    $0, %eax              # return 0 from main
        ret
        .align 8
value:  .double 74.321 
format: .asciz "%g\n"

出现段错误。

但是，当我向框架添加额外的堆栈空间时，它工作正常:

        .text
        .globl  main
main:
        subq    $8, %rsp              # ADD SOME STACK SPACE TO FRAME (WHY?)
        movsd   value(%rip), %xmm0    # value to print
        movl    $format, %edi         # format string
        movl    $1, %eax              # one floating-point arg
        call    printf
        movl    $0, %eax              # return 0 from main
        addq    $8, %rsp              # REMOVE ADDED STACK SPACE
        ret
        .align 8
value:  .double 74.321 
format: .asciz "%g\n"

这可能是对齐问题吗？ (当 value 和 format 位于 .rodata 部分时，我遇到同样的问题。)

Answer 1

根据 www.x86-64.org/documentation/abi.pdf 以及 Microsoft 的 http://msdn.microsoft.com/en-us/library/ms235286(v=vs.80).aspx，堆栈必须是 16 字节对齐的