实验代码
int g(int x)
{
return x + 3;
}
int f(int x)
{
return g(x);
}
int main(void)
{
return f(2) + 1;
}
汇编指令:gcc -S main.c
汇编结果
g:
pushl %ebp
movl %esp, %ebp
movl 8(%ebp),%eax
addl $3, %eax
popl %ebp
ret
f:
pushl %ebp
movl %esp, %ebp
pushl 8(%ebp)
call g
addl $4, %esp
leave
ret
main:
pushl %ebp
movl %esp, %ebp
pushl $2
call f
addl $4, %esp
addl $1, %eax
leave
ret
分析:
程序从main函数开始
首先
pushl %ebp
movl %esp, %ebp
相当于enter指令,保存ebp的值,然后将ebp的值设为esp,相当于保存原函数的堆栈,然后建立当前函数的堆栈,而且它还有这样的功能,见下面的博客
http://blog.csdn.net/zhangxinrun/article/details/5888425
把立即数2压栈,然后调用函数f
同样enter一下
pushl 8(%ebp),将当前ebp所指向的堆栈位置向上数两个的位置,也就是放2的那个位置,压栈。
做一个变址寻址,即将2放入累加器eax中
累加器再加3,累加器为5.
然后pop %ebp,相当于leave,由于g函数中没有额外压栈,所以没做mov指令
返回f函数,
esp向上移动一个堆栈位置然后leave,
返回main
同样esp向上移动一个堆栈位置然后leave,与此同时eax加1,得到最终值6
程序结束