ia32中程序调用返回时call.ret.leave的作用和栈变换的说明

1 call

         首先将eip设置为本函数中call后的那条指令的地址（所有指令都有这步）。

         然后push %eip。（esp自减4，将eip的值存入esp指向的地址，最后子函数ebp+4出即存储了这一步保存的eip值）

         然后将eip的值设置为被调用函数的第一调指令的地址

         （最后cpu继续执行eip所指向地址的指令，虽然这不是call干的事）

2 ret

         pop%eip(即先将esp指向的内存块的值拷贝到eip中，然后esp自减4)

3 leave

         首先将esp指向ebp

         然后pop %ebp.(将esp指向内存的值拷到ebp，esp自减4)

4 那么既然call，ret都只管了eip的值以及由存储eip引起的esp的改变，那么被调用程序中的栈结构变化怎么办？答案是子程序自己复原栈，具体就是你子函数push了几个，最后也要pop了几个（一般包括最后的pop %ebp）；sub x,%esp了后，最后也要add x,%esp；当然还有上面介绍的leave，直接将esp指向ebp，然后pop %ebp,这样就直接复原了栈结构了（剩下的pop %eip让ret去弄！）

例：

这是正常push/pop,sub/add的

这是push，sub后一次leave解决的

（注意，由于leave没有将push的值还原，所以mov    -0x4(%ebp),%ebx这里手动还原了ebx的值（ia32中程序中用了ebx、esi、edi时，结束时必须还原（程序开始时也必须保存），因为这三个是被调用者负责保存的寄存器；而eax、edx、ecx则不必还原，因为这三个是调用者保存的寄存器。所以优先使用eax、edx、ecx可减少程序开始和结束时的开销））