编译原理原理与技术-陈意云-第7章 代码生成和代码优化.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例 题 5 while E1 do S1 当它们嵌套时，代码结构变成 L2： E1的代码 L2： E1的代码 真转 L4 真转 L4 无条件转 L3 无条件转 L3 L4： S1的代码 L4： E2的代码 JMP L2 假转 L5 L3: S2的代码 if E2 then S2 L5： JMP L2 E2的代码 L3： 假转 L5 S2的代码 L5： 可优化为假转 例 题 5 一个C语言程序 main() { long i,j; ? while (i) { if (j) { i = j; } } } 优化编译的汇编码见右边 pushl %ebp movl %esp,%ebp .L7: testl %eax,%eax je .L3 testl %edx,%edx je .L7 movl %edx,%eax jmp .L7 .L3: 例 题 6 UNIX 下的C编译命令cc的选择项g和O的解释如下, 其中 dbx的解释是“dbx is an utility for source-level debugging and execution of programs written in C”。试说明为什 么用了选择项g后，选择项O便被忽略。 -g Produce additional symbol table information for dbx(1) and dbxtool(1) and pass -lg option to ld(1) (so as to include the g library, that is: /usr/lib/libg.a). When this option is given, the -O and -R options are suppressed. -O[level] Optimize the object code. Ignored when either -g, -go, or -a is used. ... 例 题 7 一个C语言程序如下，右边是优化后的目标代码 main( ) pushl %ebp { movl %esp,%ebp int i, j, k; movl $1,%eax -- j=1 i=5; movl $6,%edx -- k=6 j=1; L4: while (j100) { addl %edx,%eax -- j=j+6 k=i+1; cmpl $99,%eax j=j+k; jle .L4 -- while(j?99) } } 完成了哪些优化？ 例 题 7 一个C语言程序如下，右边是优化后的目标代码 main() pushl %ebp { movl %esp,%ebp int i,j,k; movl $1,%eax -- j=1 i=5; movl $6,%edx -- k=6 j=1; L4: while(j100){ addl %edx,%eax -- j=j+6 k=i+1; cmpl $99,%eax j=j+k; jle .L4 -- while(j?99) } 复写传播、常量合并、代码外提、删除无用赋值 } 对i，j和k分配内存单元也成为多余，从而被取消 例 题 8 求最大公约数的函数 long gcd(p,q) long p,q; { if (p%q == 0) return q; else return gcd(q, p%q); } ? 其中的递归调用称为尾递归 ?