无法理解 x86-64 函数前导码

Question

我遇到了崩溃，在调查时我发现自己完全被以下代码阻止：

0000000000000a00 <_IO_vfprintf>:
a00:       55                      push   %rbp
a01:       48 89 e5                mov    %rsp,%rbp
a04:       41 57                   push   %r15
a06:       41 56                   push   %r14
a08:       41 55                   push   %r13
a0a:       41 54                   push   %r12
a0c:       53                      push   %rbx
a0d:       48 81 ec 48 06 00 00    sub    $0x648,%rsp
a14:       48 89 95 98 f9 ff ff    mov    %rdx,0xfffffffffffff998(%rbp)

这是通过在 64 位 Linux x86 上运行 objdump --disassemble /usr/lib64/libc.a 生成的系统，然后搜索输出。这是 AT&T 语法，因此目标位于右侧。

具体来说，我不明白最后一条指令。在函数触及该寄存器之前，它似乎正在将 rdx 寄存器的值写入堆栈上某个位置（很远很远）的内存中。对我来说，这没有任何意义。

我尝试阅读调用约定，现在我最好的理论是 rdx 用于参数，因此代码基本上是直接“返回”参数值。这不是函数的结束，所以当然它并没有真正返回。

Answer 1

是的，这是一个参数。 Linux 使用的 ABI 最多分配 6 个“INTEGER”（<= 64位整数或指针）类型参数到寄存器，以明显且易于记住的顺序 %rdi、%rsi、%rdx、%rcx、%r8、%r9。

堆栈帧为 1648 字节（sub $0x648,%rsp 声明 1608 字节，加上之前已推送的 5 个 64 位寄存器），0xfffffffffffff998 为 -1640。

因此，代码将第三个参数存储在堆栈帧底部附近。

（注意：Windows 64 位 ABI 与 Linux 不同。）