为什么 rax 寄存器中没有显示任何值？

Question

AT&T 语法，x86-64：

.text
.globl _start

_start:
        push %rbp       /* push base pointer on stack */
        mov %rsp, %rbp  /* base pointer points to top of the stack */
        sub $12, %rsp   /* allocate space for variable */
        push $3
        push $2
        push $1
        mov -4(%rbp), %rax
        mov %rbp, %rsp
        pop %rbp

我正在尝试更多地了解堆栈。我想使用来自rbp 的偏移量从堆栈（1, 2, 3）访问一些变量。我的目标是将值推入rax，然后在调试器中检查寄存器。但是，当我这样做时：

(gdb) x/d $rax
0x0:    Cannot access memory at address 0x0

Answer 1

push $3 是 64 位推送。 How many bytes does the push instruction push onto the stack when I don't specify the operand size?

但这甚至无关紧要，因为在执行第一次推送之前，您将 RSP 移动到保存的 RBP 值（RBP 指向的值）下方 12 个字节。

在 Linux 运行的静态可执行文件中的进程启动时，即在_start 显然您构建程序的方式，所有寄存器（RSP 除外）都归零，初始 RSP 以下的堆栈内存开始归零。这不是 ABI 官方保证的，但实际上是 Linux 的工作原理。这就是你加载零的原因。

mov -4(%rbp), %rax 加载 8 个字节。该负载的低 4 个字节来自您使用 sub $12, %rsp 跳过的空间。高 4 个字节从保存的 RBP 值的底部开始。这两件事都是 0，因为 Linux 在初始化新进程时将它们归零。

从内存加载到 RAX 的值永远不会是指针，因此作为 GDB 的 x 命令的 arg 没有意义。 x 检查给定地址的内存。 有意义的是x /16gx $rsp 将 16 个 qwords 转储到 RSP 之上。

另请注意，sub $12, %rsp 看起来像是从 32 位代码天真地移植过来的。这会使堆栈错位。在_start，它已经对齐了16。_start 不是一个函数；没有什么叫它，你不能ret 。你不需要保存旧的 RBP，甚至根本不需要用 RBP 做任何事情；一个指向堆栈 (RSP) 的指针通常就足够了。

在确实被调用的函数的顶部，RSP-8 将是 16 字节对齐的，因此一次推送将重新对齐堆栈。