C编译器剖析_6.3.4 汇编代码生成_为函数调用与返回产生汇编代码

6.3.4        为函数调用与返回产生汇编代码

    在这一小节中，我们来讨论一下如何为函数调用和函数返回生成汇编代码。函数调用对应的中间指令如下所示：

         //中间指令的四元式： < opcode, DST, SRC1, SRC2>

         <CALL, 用于接收返回值的变量retVal, 函数名func,  参数列表[arg1,arg2, …,argn]>

    让我们先熟悉一下C函数的调用约定CallingConvention，我们需要把参数从右向左入栈（即从argn到arg1依次入栈），不妨记这些参数所占用的总内存为stksize字节。当函数调用返回后，主调函数要负责把这些参数出栈，这可通过形如“addl  stksize, %esp”的汇编指令来实现。{eax, ecx, edx}这3个寄存器要由主调函数负责保存，在产生call汇编指令之前，要对这几个寄存器进行必要的回写操作。而{ebx,esi,edi}这3个寄存器则由被调函数负责保存，UCC编译器会在所有函数的入口处保存这几个寄存器。     为了加快返回值的传递，我们会尽量把返回值放在寄存器中。在x86平台上，按C标准的约定：

    (1) 若返回值为整型，则存于eax寄存器中(我们只考虑32位平台)；

    (2) 若返回值为浮点型，则存于x87栈顶寄存器中；

    (3) 按C的语法要求，返回值不可以是数组类型。如果返回值是1、2或4字节的结构体对象，则存于寄存器eax中，若是8字节，则存于[edx: eax]中。若返回值是其他大小的结构体对象，则C编译器会为函数添加结构体指针作为第1个参数，如下所示。

         typedef struct  Data{

             int  num[8];      //共32字节

         } dt;

         dt =  GetData();

         //经C编译器处理后，真正执行的函数调用为：