C/C++编程日记:汇编与C之间的关系

一个程序在运行过程中，函数调用时会向栈压入: 原来寄存器ebp的值, 参数, 以及调用函数的下一个指令地址

在调用一个函数时, 编译器就计算好函数需要的空间, 然后esp = ebp-需要的空间, 通过ebp+偏移量来访问. 在函数里调用另外一个函数时, 原来fun的ebp值压栈

#include<stdio.h>

intfun(inta,intb)

{intc = a+b;returnc;}

intmain(void)

{ fun(123,456);intd =98;printf("%d\n", d);}

此程序的汇编是:

0000000100000f30<_fun>:

100000f30: 55 push %rbp

100000f31: 48 89 e5 mov %rsp,%rbp

100000f34: 89 7d fc mov %edi,-0x4(%rbp)

100000f37: 89 75 f8 mov %esi,-0x8(%rbp)

100000f3a: 8b 75 fc mov -0x4(%rbp),%esi

100000f3d:03 75 f8 add -0x8(%rbp),%esi

100000f40:89 75 f4 mov %esi,-0xc(%rbp)

100000f43:8b 45 f4 mov -0xc(%rbp),%eax

100000f46:5d pop %rbp

100000f47:c3 retq

100000f48:0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1)

100000f4f:00

0000000100000f50<_main>:

100000f50:55 push %rbp

100000f51:48 89 e5 mov %rsp,%rbp

100000f54:48 83 ec 10 sub $0x10,%rsp

100000f58:bf 7b 00 00 00 mov $0x7b,%edi

100000f5d:be c8 01 00 00 mov $0x1c8,%esi

100000f62:e8 c9 ff ff ff callq 100000f30<_fun>

100000f67:48 8d 3d 44 00 00 00 lea 0x44(%rip),%rdi # 100000fb2<_main+0x62> 100000f6e:c7 45 fc 62 00 00 00 movl $0x62,-0x4(%rbp)

100000f75:8b 75 fc mov -0x4(%rbp),%esi

100000f78:89 45 f8 mov %eax,-0x8(%rbp)

100000f7b:b0 00 mov $0x0,%al

100000f7d:e8 0e 00 00 00 callq 100000f90<_main+0x40>

100000f82:31 f6 xor %esi,%esi

100000f84:89 45 f4 mov %eax,-0xc(%rbp)

100000f87:89 f0 mov %esi,%eax

100000f89:48 83 c4 10 add $0x10,%rsp

100000f8d:5d pop %rbp

100000f8e:c3 retq

对于以上的程序, 栈的布局是这样的:

0x123 rbp(main)0x11f c0x11b b0x117 a0x113 rbp(foo) rsp(main,foo)100000f30<调用fun下一个指令地址>

粗略来说, 就是ebp指向栈底, esp指向栈顶第一个参数的地址, 在本例中就是&a

在调用一个函数时, 编译器就计算好函数需要的空间, 然后esp = ebp-需要的空间, 通过ebp+偏移量来访问

在函数里调用另外一个函数时, 原来fun的ebp值压栈,

ebp = esp

esp = ebp-需要的空间

借此调用另外的函数

退出时会做函数调用时的逆操作, 看伪代码:

pop ebp

esp = ebp

esp = ebp+需要的空间

内层函数是通过之前已经压栈了的调用函数时的下一条指令来得知返回地址的。