assembly - "sub $16, %rsp"指令的用途是什么？

Question

让我们采用以下基本 C 函数及其生成的有意未优化的程序集:

int main() {
    int i = 4;
    return 3;
}

它生成以下(未优化的)程序集，这对我来说都很有意义:

main:
        pushq   %rbp
        movq    %rsp, %rbp
        movl    $4, -4(%rbp)
        movl    $3, %eax
        popq    %rbp
        ret

但是，当我添加一个函数调用时，有两条指令我不太明白:

void call() {};
int main() {
    int i = 4;
    call();
    return 3;
}

main:
        pushq   %rbp
        movq    %rsp, %rbp
        subq    $16, %rsp     <-- why is it subtracting 16?
        movl    $4, -4(%rbp)
        movl    $0, %eax      <-- why is it first clearing the %eax register?
        call    call
        movl    $3, %eax
        leave
        ret

如果堆栈帧需要 16 字节对齐，subq $16, %rsp 如何帮助实现这一点？最初的 pushq %rbp 指令不是已经将它偏移了 8 而现在是 +24 了吗？或者上述两行的要点是什么？

Answer 1

第一个变体将局部变量存储在红色区域，堆栈指针下方的 128 字节区域未被 signal 更改。处理程序。第二个变体不能使用红色区域，因为 callq 指令写入(原始)红色区域，破坏存储在那里的局部变量。 (当然，被调用的函数也可以写入原始的红色区域。)

%eax 设置为零，因为函数定义没有声明原型(prototype)，所以编译器必须假定它是一个可变参数函数。 %eax(实际上是%al)用于optimize the implementation of variadic functions .