即不考虑任何依赖目标机器性质的优化变换通过实例来介绍代码改进.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例 题 3 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： 例 题 3 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： 可优化为假转 例 题 3 一个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: 例 题 4 求最大公约数的函数 long gcd(p,q) long p,q; { if (p%q == 0) return q; else return gcd(q, p%q); } ? 其中的递归调用称为尾递归 ? 对于尾递归，编译器可以产生和一般的函数调用不同的代码，使得目标程序运行时，这种递归调用所需的存储空间大大减少，也缩短了运行时间 ? 对于尾递归，编译器应怎样产生代码? 例 题 4 求最大公约数的函数 long gcd(p,q) long p,q; { if (p%q == 0) return q; else return gcd(q, p%q); } ? 计算实在参数q和p%q，存放在不同的寄存器中 ? 将上述寄存器中实在参数的值存入当前活动记录中形式参数p和q的存储单元 ? 转到本函数第一条语句的起始地址继续执行 例 题 4 求最大公约数的函数 long gcd(p,q) long p,q; { if (p%q == 0) return q; else return gcd(q, p%q); } movl 8(%ebp),%esi p movl 12(%ebp),%ebx q .L4: movl %esi,%eax cltd 扩展为64位 idivl %ebx movl %edx,%ecx p%q testl %ecx,%ecx p%q je .L2 movl %ebx,%esi q?p movl %ecx,%ebxp%q?q jmp .L4 .L2: C语言程序引用sizeof（求字节数运算符）时， 该运算是在编译该程序时完成，还是在运行该 程序时完成？说明理由。 例 题 5 Program ? Stmt Stmt ? id := Exp | read ( id ) | write ( Exp ) | Stmt ; Stmt | while ( Exp ) do begin Stmt end | if ( Exp ) then begin Stmt end else