C编译器剖析_1.5 结合C语言来学汇编_指针、数组和结构体

    让我们再来看一份C代码，及其经UCC编译器编译后产生的主要汇编代码，如图1.33所示，其中包含了数组、指针和结构体。

图1.33 数组、指针和结构体

     按照C的语义，图1.33第9行的C代码是对局部数组number的初始化，需要把number[0]初始化为2015，而数组中的其他元素皆被初始化为0。UCC编译器采取的翻译方法是：先调用memset函数来把数组number所占的内存空间清0，然后再把number[0]设为2015，如图1.33的第17至24行所示。C库函数memset的API如下所示：

void *memset(void *s, int c, size_t n);

    按照“C调用约定 Calling Convention”，参数需要从右到左入栈，即先要把n入栈，再把c入栈，之后才是目标地址s。第17行的$64对应参数n，表示数组number所占的内存大小为64字节，因为每个int占4字节，而number共有16个整数；而第18行的$0对应参数c，表示我们要把指针s所指的大小为n字节的内存全部设为0；第19行用于取内存单元-64(%ebp)的地址，第20行把这个地址入栈，即对应参数s，而-64(%ebp)所对应的内存空间正是UCC编译器为局部数组number在栈中分配的存储空间。第21行完成了对库函数memset的调用，第22行用于把刚才入栈的3个参数出栈，此处每个参数正好都占4个字节，所以总共占了12字节的栈空间。按照“C调用约定”，这个退栈操作需要由主调函数来完成。实际上，第17至22行也演示了如何在汇编语言中调用C库函数。

    而与第10行” ptr = &number[1];”对应的汇编代码为第25至27行，第25行把number[0]的地址存到寄存器eax中，因为number[1]与number[0]之间隔了一个占4字节的整数，所以第26行对eax进行了加4的操作，这样eax中的内容就是number[1]的地址，第27行把这个地址存到了全局变量ptr所对应的内存单元中。

    与第11行” *ptr = 2016;”对应的汇编代码在图1.33的第29至30行，第29行通过movl指令把内存单元