Linux内核分析实验1——汇编一个简单的C程序

实验代码

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

程序结束