4编译原理,陈意云 ,课后答案4（方案）.pptVIP

.......... * 6.8 (续) main传参数时，提升数据类型 func取参数时，按原来的数据类型 i: short - int 4字节 j: short - int 4字节 f: long - double 8字节 e: long - double 8字节 i: short 2字节 j: short 2字节 f: long 4字节 e: long 4字节 .......... * 6.9 一个C程序func(c, l)char c; long l;{ func(c, l);}在x86/Linux上编译生成的汇编代码如下，请说明char和long在参数传递和存储分配上的区别 .......... * 6.9 (续) .file parameter.c“ .version “01.01” gcc2_compiled.: .text .align 4 .globl func .type func,@function func: pushl %ebp --将老的基址指针压栈 movl %esp, %ebp --将当前栈顶指针作为基址 subl $4, %esp --分配空间 movl 8(%ebp), %eax movb %al, -1(%ebp) movl 12(%ebp), %eax pushl %eax movsbl -1(%ebp), %eax pushl %eax call func addl $8, %esp .L1: leave ret .Lfe1: .size func,.Lfe1-func .ident GCC: (GNU) egcs-2.91.66Linux(egcs-1.1.2 release)” .......... * 6.9 (续) Some ATT ASM Syntax 寄存器：8个32-bit寄存器 %eax，%ebx，%ecx，%edx，%edi，%esi，%ebp，%esp； 操作符 源 目的 -1(%ebp)：基址：%ebp，偏移：-1 加在指令后的符号表示操作数的长度：b(byte, 8-bit)w(word, 16-bits)l(long, 32-bits) movsbl：movs：符号扩展指令movsbl意味着movs （from）byte （to）long；movbw意味着movs （from）byte （to）word；movswl意味着movs （from）word （to）long。 More: plz google “ATT　ASM” .......... * 6.9 (续) movl 8(%ebp), %eax --取c movb %al, -1(%ebp) --取其字节值，存入分配的存储单元 movl 12(%ebp), %eax--取l pushl %eax --l压栈 movsbl -1(%ebp), %eax --取c，并转换成long pushl %eax --c压栈 call func --调用func addl $8, %esp --恢复压栈前状态 .......... * 6.10 从例6.5可以看到,C程序执行时只用到了控制链,不需要使用访问链.为什么Parscal程序执行时需要使用访问链,而C程序不需要? .......... * 6.10 (续) PASCAL允许过程嵌套，执行时，可以访问非全局且非局部的变量，所以需要访问链帮助确定数据所在活动记录在栈中的位置而C不允许过程嵌套，只能访问全局和局部变量，所以不需要访问链。 .......... * 6.11 下面是求阶乘的Pascal程序.画出程序第三次进入函数factor时的活动记录栈和静态链.program fact(input, output); var f, n : integer; function factor(n : integer) : integer; begin if n = 0 then factor := 1 else factor := n * (factor(n-1)) end; begin n := 5; f:= factor(n); write(f) end. .......