调整ESP与POP指令的区别及栈数据覆盖疑问咨询

我目前在通过YouTube学习汇编语言，对以下代码中addl $8, %esp的用法有疑问：

这段代码的目的是清除栈中之前压入的13和HelloWorld两个值，但它没有用pop指令弹出元素，而是直接给ESP加8。我想知道：

• 后续压入新元素时，ESP会不会指向旧的未弹出数据？
• 直接调整ESP的值算不算改变栈的状态？

我已经用GDB反汇编确认，执行完这条指令后栈回到了_start之前的位置，希望能得到解答。

完整代码 #

.data
HelloWorld:
ascii "HelloWorld!/n"
.text

.global _start
.type PrintFunction, @function

PrintFunction:
    #prepare state
    pushl %ebp
    movl %esp, %ebp

    #write
    movl $4, %eax
    movl $1, %ebx
    movl 8(%ebp), %ecx
    movl 12(%ebp), %edx
    int 0x80

    #return state
    movl %ebp, %esp #clear esp from potential data in the function
    popl %ebp
    ret 

_start:
nop

push $13

push $HelloWorld

call PrintFunction

addl $8, %esp   #疑问点在这里

ExistCall:
    movl $1, %eax
    int 0x80

解答 #

1. 直接调整ESP就是修改栈的状态
   栈的核心就是ESP寄存器——x86栈是向下生长的，ESP永远指向栈顶的下一个可用位置。addl $8, %esp相当于把栈顶向上移动8字节（每个pushl操作占4字节，两个元素正好8字节），这和执行两次popl %eax（用任意寄存器接收弹出值）的效果，在栈的可用状态上完全等价。

2. 后续压栈不会指向旧数据
   当执行新的push指令时，CPU会直接把ESP的值减4（32位环境），然后把数据写入新的ESP指向的地址。之前栈里的13和HelloWorld所在的内存位置会被新数据覆盖，完全不会影响后续操作——那些旧数据只是留在内存里，但栈已经不再把它们当作自身的一部分，因为ESP已经移走了。

3. 为什么用add而不是pop？

• 效率更高：一条addl指令比两条pop指令执行更快，还不需要浪费寄存器来接收没用的弹出值。
• 符合cdecl调用约定：在cdecl规范中，函数的调用者负责清理栈上的参数。这里PrintFunction的两个参数是调用者（_start）压入的，所以调用者用addl $8, %esp把栈恢复到调用前的状态，是标准做法。

你用GDB看到栈回到_start之前的位置，正是这条指令完成栈清理的证明，完全符合预期。

内容的提问来源于stack exchange，提问作者LoucO