C语言从原则上来说,只能在函数内执行代码。
所以任何 text 段都对应有自己的帧栈。
本文主要谈一下 call leave ret 三条与函数调用紧密相关的指令。
call 指令
call 的不同形式
call Label 所谓直接跳转
call *operand 所谓间接跳转
080483f7 <caller>:
804840c: e8 dc ff ff ff call 80483ed <callee>
上边代码段中 caller 中 call 80483ed <callee>
就是直接跳转
call 之前的准备
080483f7 <caller>:
80483fa: 83 ec 08 sub $0x8,%esp
80483fd: c7 44 24 04 1c a0 04 movl $0x804a01c,0x4(%esp)
8048404: 08
8048405: c7 04 24 01 00 00 00 movl $0x1,(%esp)
gcc ABI约定被调函数的参数保存在调用者的栈帧(frame)上,所以 caller 需要将 callee 的参数放在自己的栈帧上。这个过程分两步完成。
- 开栈。
将栈指针向下(栈由高位向下扩展)移动 8 bytes。这是因为两个参数一个是指针类型,一个是整数类型,均需要 4 bytes 来存储。事实上由于对齐的要求,即使参数类型小于 4 bytes 编译器还是会为其分配 4 bytes 的栈空间, - 反向保存参数。
gcc ABI规定,反向保存参数,故栈顶保存最后一个参数。如果参数类型大于 4 bytes,IA32 需要用两条movl
指令来传递参数。
值得注意的是,ABI只规定了参数在栈上存储的空间顺序,并没有规定参数压入栈中的时间顺序
call 干了什么
存储返回地址。
call
指令将 (%eip)
对应指令之后的那条指令的起始地址放在栈上,也就是把 %eip + n
放在 (%esp)
,其中 n 为 (%eip)
中指令的长度。然后跳转到 call
的操作数所指的地址。
call之后发生了什么
080483ed <callee>:
80483ed: 55 push %ebp // sub $0x4,%esp
// mov %ebp,(%esp)
80483ee: 89 e5 mov %esp,%ebp
80483f0: 83 ec 2c sub $0x2c,%esp
8048405: c7 45 e8 01 00 00 00 movl $0x1,-0x18(%ebp)
804840c: c7 45 ec 02 00 00 00 movl $0x2,-0x14(%ebp)
8048413: c7 45 f0 03 00 00 00 movl $0x3,-0x10(%ebp)
804841a: c7 45 f4 04 00 00 00 movl $0x4,-0xc(%ebp)
8048421: c7 45 f8 05 00 00 00 movl $0x5,-0x8(%ebp)
8048428: c7 45 fc 06 00 00 00 movl $0x6,-0x4(%ebp)
- 切换栈帧。
被调函数首先将旧的栈底指针%ebp
压到自己的栈帧上,然后以其地址(而非内容)作为自己的栈底指针的内容,此时新的栈帧已经形成了,由于%esp == %ebp
,故新的栈帧暂时没有使用栈内存。 - 开栈。
当局部变量数量太大时,编译器会选择将局部变量放在栈帧上。gcc的ABI约定,函数栈帧的大小必须 16 bytes 对齐,所以sub
指令所减去的16进制数以c结尾(栈帧上已经有上一帧%ebp
) 。 - 初始化局部变量。
这里对局部变量的初始化是以栈底指针为基准的,此处值得注意的是(%ebp)
中存储的是上一帧的%ebp
leave 指令
8048411: c9 leave
leave
所做的工作是还原上一帧的栈底指针与栈顶指针,等效于
mov %ebp,%esp // 把栈顶指针置为本帧的栈底(同时也是存储上一帧栈底指针内容的地址),
popl %ebp // 还原上一帧的栈底指针,此时 %esp 指向返回地址
ret 指令
8048412: c3 ret
ret
所做的工作是弹出栈顶的返回地址,并跳转到此地址。此时 %esp
指向调用函数所存储的被调函数的最后一个参数。
杂记
一个完整的栈帧上会有什么?
从底到顶依次是:
1. 上一帧的 `%ebp`
1. ABI 约定被调用者保存(如果有)的调用者的三个寄存器的内容 `%ebx` `%esi` `%edi`
2. 局部变量
2. 对齐空白
3. ABI 约定调用者保存(如果有)的自己的三个寄存器的内容 `%eax` `%edx` `%ecx`
3. 所调用的函数的参数
3. 返回地址(本帧的 %esp所指,下一帧的 0x4(%ebp))