附录E过程调用语句的翻译和数据空间的安排.pptVIP

附录E 过程调用语句的翻译和数据空间的安排 ——以C语言为例 C 的函数调用语句CALL_S - id ( realParams ) ; 小结（一） 1、IA32的栈是用来存放临时数据。栈的增长方向是从高地址向低地址增长，按字节为单位编址。 2、EBP是栈基址的指针，永远指向栈底（高地址），ESP是栈指针，永远指向栈顶（低地址）。 3、CALL指令用来调用一个函数或过程，相当于以下两条指令： pushl %eip jmp _func 4、RET指令用来从一个函数或过程返回，与CALL相反。 5、ENTER是建立当前函数的栈框架，即相当于以下两条指令： pushl %ebp movl %esp,%ebp 6、LEAVE是释放当前函数或者过程的栈框架，与ENTER相反。 7、栈框架的建立由主调过程与被调过程合作完成，撤销则主要由被调完成，跟调用方式（_cdecl,_stdcall...）有关。 小结（二） 8、局部变量的分配，可以通过esp减去所需字节数 subl $8,%esp 局部变量的释放，通过leave指令完成； 局部变量的访问，可以通过ebp减去偏移量实现： movl -8(%ebp),%eax 9、对形式单元的访问可以通过ebp加上偏移量实现。 10、IA32系列CPU的一些指令分别在4、8、16字节对齐时会有更快的运行速度，因此gcc编译器为提高生成代码在IA32上的运行速度，默认对产生的代码进行16字节对齐；如果查一下gcc的手册，就会发现关于栈对齐的参数设置： -mpreferred-stack-boundary=n 希望栈按照2的n次的字节边界对齐, n的取值范围是2~12；默认情况下，n是等于4的，也就是说，默认情况下，gcc是16字节对齐，以适应IA32大多数指令的要求。 * * 控制流 调用 返回 数据流 参数 返回值 调用add 调用printf push的用途 %eax用途 局部变量 如何寻址 形式参数 如何寻址 接下来再通过一个例子，来详细看看栈的布局： 8f538 123 8f534 424 8f530 8f52c 8f528 8f524 124 8f520 1692 8f51c 8f538 8f518 300 8f514 8f510 8f538 123 8f534 424 8f530 8f52c 8f528 8f524 124 8f520 1692 8f51c 8f538 8f518 300 8f514 8f510 i j y x ? 8f538 123 8f534 424 8f530 0 8f52c 0 8f528 0 8f524 124 8f520 1692 8f51c 8f538 8f518 300 8f514 8f514 8f510 older_ebp i j empty empty empty y rtn_addr old_ebp x p func g() func f() ? 8f538 123 8f534 424 8f530 0 8f52c 0 8f528 0 8f524 124 8f520 1692 8f51c 8f538 8f518 300 8f514 8f514 8f510 older_ebp i j empty empty empty y rtn_addr old_ebp x p func g() _g: pushl %ebp movl %esp, %ebp subl $8, %esp movl $123, -4(%ebp) subl $12, %esp movl -4(%ebp), %eax incl %eax pushl %eax call _f ? 8f538 123 8f534 424 8f530 0 8f52c 0 8f528 0 8f524 124 8f520 1692 8f51c 8f538 8f518 300 8f514 8f514 8f510 older_ebp i j empty empty empty y rtn_addr old_ebp x p _f: pushl %ebp movl %esp, %ebp subl $8, %esp movl $300, -4(%ebp) leal -4(%ebp), %eax movl %eax, -8(%ebp) ... movl -8(%ebp), %eax addl $12, %eax pushl %eax movl -8(%ebp), %eax addl $8, %eax pushl %eax movl -8(