汇编 x86 - “离开”指令

Question

据说“离开”指令类似于：

movl %ebp, %esp
popl %ebp

我了解movl %ebp, %esp 部分，它的作用是释放存储的内存（如this question 中所述）。

但是popl %ebp 代码的目的是什么？

Answer 1

LEAVE 是 ENTER 的对应物。 ENTER 指令通过首先将EBP 压入堆栈然后将ESP 复制到EBP 来设置堆栈帧，因此LEAVE 必须执行相反的操作，即将EBP 复制到ESP 和然后从堆栈中恢复旧的EBP。

如果您想详细了解ENTER 和LEAVE 的工作原理，请参阅Intel's Software Developer's Manual 第1 卷中名为块结构语言的过程调用 部分。

---

enter n,0 完全等同于（并且应该替换为）

push  %ebp
mov   %esp, %ebp     # ebp = esp,  mov  ebp,esp in Intel syntax
sub   $n, %esp       # allocate space on the stack.  Omit if n=0

leave 完全等价于

mov   %ebp, %esp     # esp = ebp,  mov  esp,ebp in Intel syntax
pop   %ebp

enter 非常慢，编译器不使用它，但leave 很好。 (http://agner.org/optimize)。编译器确实使用leave，如果他们制作了一个堆栈帧（至少 gcc 是这样）。但是如果esp 已经等于ebp，那么只使用pop ebp 是最有效的。

Answer 2

popl 指令恢复基指针，movl 指令恢复堆栈指针。基指针是栈底，栈指针是栈顶。在离开指令之前，堆栈是这样的：

----Bottom of Caller's stack----
...
Caller's
Variables
...
Function Parameters
----Top of Caller's Stack/Bottom of Callee's stack----   (%ebp)
...
Callee's
Variables
...
---Bottom of Callee's stack----    (%esp)

movl %ebp %esp 之后，释放被调用者的堆栈，堆栈如下所示：

----Bottom of Caller's stack----
...
Caller's
Variables
...
Function Parameters
----Top of Caller's Stack/Bottom of Callee's stack----   (%ebp) and (%esp)

在恢复调用者堆栈的popl %ebp之后，堆栈如下所示：

----Bottom of Caller's stack----    (%ebp)
...
Caller's
Variables
...
Function Parameters
----Top of Caller's Stack----   (%esp)

enter 指令保存调用者堆栈的底部并设置基指针，以便被调用者可以分配他们的堆栈。

另外请注意，虽然大多数 C 编译器都以这种方式分配堆栈（至少在关闭优化的情况下），但如果您编写汇编语言函数，则可以根据需要使用相同的堆栈帧，但是你必须确保pop 堆栈中的所有东西都在你push 上，否则当你返回时你会跳转到垃圾地址（这是因为call <somewhere> 表示push <ret address>[或push %eip] 、jmp <somewhere>、ret表示跳转到栈顶地址[或pop %eip]。%eip是保存当前指令地址的寄存器）。