AT&T汇编leave指令

最近在看c程序的编译出来的汇编文件，发现涉及到函数调用的地方，在返回时有的时候使用的leave，有的时候直接使用的是popl %ebp。
在AT&T汇编中，leave等效于以下汇编指令：
movl %ebp, %esp

popl %ebp

注意：此为32bits 操作系统，若为64bits 将使用rbp和rsp 寄存器！

为什么有的时候会使用leave，有的时候直接使用popl %ebp？这个问题一开始我也没搞懂，后来通过分析堆栈才有点清醒。
二者的差别就在于是否使用 movl %ebp, %esp。这句的作用是用来恢复堆栈的栈顶指针，是不是堆栈的栈顶指针没有变化的时候，
就可以不用恢复，直接使用popl指令了？这个疑惑经过验证被证实了。

main函数是一个最特殊的函数调用，就以它的调用过程为准。

[cpp]  view plain copy

1. 原C代码如下：  
2. /*stack.c*/  
3. #include <stdio.h>  
4.   
5. int main()  
6. {  
7.     return 0;  
8. }  

[cpp]  view plain copy

1. 通过gcc -S -o stack.s stack.c得到汇编代码  
2.     .file   "stack.c"  
3.     .text  
4.     .globl  main  
5.     .type   main, @function  
6. main:  
7. .LFB0:  
8.     .cfi_startproc  
9.     pushl   %ebp  
10.     .cfi_def_cfa_offset 8  
11.     .cfi_offset 5, -8  
12.     movl    %esp, %ebp  
13.     .cfi_def_cfa_register 5  
14.     movl    $0, %eax    /*将返回值保存在eax中*/  
15.     popl    %ebp        /*由于在该函数中，没有使用到栈，所以esp未变化，不需要恢复。*/  
16.     .cfi_def_cfa 4, 4  
17.     .cfi_restore 5  
18.     ret  
19.     .cfi_endproc  
20. .LFE0:  
21.     .size   main, .-main  
22.     .ident  "GCC: (GNU) 4.6.2 20111027 (Red Hat 4.6.2-1)"  
23.     .section    .note.GNU-stack,"",@progbits  

[cpp]  view plain copy

1. 将c代码修改如下：  
2. #include <stdio.h>  
3. int main()  
4. {  
5.     int c = 1;  
6.     return 0;  
7. }  
8. 对应的汇编代码如下：  
9.     .file   "stack.c"  
10.     .text  
11.     .globl  main  
12.     .type   main, @function  
13. main:  
14. .LFB0:  
15.     .cfi_startproc  
16.     pushl   %ebp        /*原堆栈栈顶存放着原栈帧的ebp*/  
17.     .cfi_def_cfa_offset 8  
18.     .cfi_offset 5, -8  
19.     movl    %esp, %ebp  /*将原堆栈地址放在ebp中，即新的栈帧的地址*/  
20.     .cfi_def_cfa_register 5  
21.     subl    $16, %esp   /*堆栈发生变化*/  
22.     movl    $1, -4(%ebp)  
23.     movl    $0, %eax  
24.     leave           /*等效于 movl %ebp, esp; popl %ebp  首先需要恢复原栈顶指针，然后再根据栈顶指针恢复原栈帧的ebp*/  
25.     .cfi_restore 5  
26.     .cfi_def_cfa 4, 4  
27.     ret  
28.     .cfi_endproc  
29. .LFE0:  
30.     .size   main, .-main  
31.     .ident  "GCC: (GNU) 4.6.2 20111027 (Red Hat 4.6.2-1)"  
32.     .section    .note.GNU-stack,"",@progbits  

以上可以很清楚地看出leave的作用，和什么时候用leave，什么使用可以直接使用popl。