关于栈帧的一些知识点与理解

栈帧

又名：过程活动记录
一个栈帧，表示了一个函数的活动记录，可能包括该函数的 参数 返回地址 被保存的寄存器 局部变量 参数构造区
注：

• 参数构造区以及寄存器空间是用来存 当前帧所在函数 要调用的函数 的所需参数的
• 某个函数的帧的参数构造区中为它的子函数输入的参数(按顺序)：(%rdi, %rsi, %rdx, %rcx, %r8, %r9)
  • 注意：有的题中的 %rdi 并不一定是第一个参数，原因在于，如果第一个参数是浮点数，那么使用的将是 %xmm0 寄存器，这样第二个参数才会顺延地使用 %rdi 寄存器。同理，%rsi 也不一定是第二个参数
• 局部变量区是为了存储当前帧所在函数的自己的变量的区域
  • 什么时候一定需要放在局部变量区？
    答：
    1. 存储器不足够存放所有的本地数据
    2. 对于一个局部变量使用地址运算符 &
    3. 某些局部变量是数组或者结构体

用于保存的寄存器：

1. 栈指针 %rsp
   无论如何都要有它，因为有了它才会知道栈目前在哪
2. 帧指针 %rbp
   在具有变长（长度不定的意思，有些歧义）的帧的顶部，这个帧一般是最下面（以栈向下地址变小，下面为栈顶的习惯来开）的函数的帧（就是最儿子的函数的帧），并且在这个帧中局部变量区中变长数组的顶端，与这个帧的底端的 %rsp 共同决定这个函数中的不定长栈帧的长度，因为如果只有 %rsp 的话，如果函数中有一个不定长数组 int a[n] ，那么无法知道这个变长数组的顶部在哪，除非有 %rbp 这个帧指针标记着

如图所示：

对于栈操作 push pop 的等价操作：
下面引用了一篇csdn文章中的内容：

指令	效果	描述
pushq S	%rsp ← %rsp - 8	将四字压入栈
	(%rsp) ← S
popq D	D ← (%rsp)	将四字弹出栈
	%rsp ← %rsp + 8

需要注意的点

• pushq指令的行为等价于：subq $8, %rsp 与movq %rbp, (%rsp)两条指令的合效果。
• popq指令的行为等价于： movq (%rsp), %rax 与addq $8, %rsp两条指令的合效果。
• push/pop指令不存在其他后缀。