中国传媒大学《编译原理》课件-第6-7章优化.pptVIP

CompilerPrinciples * 中国传媒大学《编译原理》第七讲 目标代码生成 目标代码的形式 抽象机模型 简单代码生成器 寄存器分配 CompilerPrinciples * 源程序 编译前端 中间 代码 代码优化 中间 代码 代码生成器 目标程序 符 号 表 代码生成器的位置 编译程序的最后一个阶段的工作是生成目标代码，它以源程序的中间代码作为输入，以等价的目标代码作为输出。 CompilerPrinciples * 代码生成器的输入包括中间代码和符号表中的信息，输出的目标代码一般有以下三种形式： （1）能独立执行的机器语言代码，所有地址均已定位。 （2）待装配的机器语言模块。当需要执行时，由连接装入程序把它们和某些运行程序连接起来，转换成能执行的机器语言代码。 （3）汇编语言代码，尚须经过汇编程序汇编，转换成可执行的机器代码。 CompilerPrinciples * 代码生成器的设计细节要依赖于目标语言和操作系统，因此必须考虑以下问题: 1.如何使生成的目标代码较短； 2.如何充分利用计算机的寄存器，减少目标代码中访问存储单元的次数； 3.计算顺序的选择； 4.充分利用目标计算机的指令系统的特点。 这些问题都直接影响到生成的代码的质量（速度和大小）。 这里我们不打算针对某台具体机器谈代码生成，只是通过一个抽象的目标机器模型来说明如何生成有效的代码。 CompilerPrinciples * §1.抽象机模型 我们这儿使用的机器具有多个通用寄存器，它们既可以做累加器，也可作为变址器。这台机器含有如下四种类型的指令： 类型 指令形式 意义 直接地址型 op Ri,M (Ri)op(M) → Ri 寄存器型 op Ri,Rj (Ri)op(Rj) → Ri 变址型 op Ri,c(Rj) (Ri)op((Rj)+c) → Ri 间接型 op Ri,*M (Ri)op((M)) → Ri op Ri,*Rj (Ri)op((Rj)) → Ri op Ri,*c(Rj) (Ri)op(((Rj)+c)) → Ri CompilerPrinciples * T0:=3.14 T1:=2*T0 T2:=R+r A:=T1*T2 B:=A T3:=2*T0 T4:=R+r T5:=T3*T4 T6:=R-r B:=T5*T6 CompilerPrinciples * T0:=3.14 T1:=2*T0 T2:=R+r A:=T1*T2 B:=A T3:=2*T0 T4:=R+r T5:=T3*T4 T6:=R-r B:=T5*T6 CompilerPrinciples * T0:=3.14 T1:=2*T0 T2:=R+r A:=T1*T2 B:=A T3:=2*T0 T4:=R+r T5:=T3*T4 T6:=R-r B:=T5*T6 CompilerPrinciples * T0:=3.14 T1:=2*T0 T2:=R+r A:=T1*T2 B:=A T3:=2*T0 T4:=R+r T5:=T3*T4 T6:=R-r B:=T5*T6 CompilerPrinciples * T0:=3.14 T1:=2*T0 T2:=R+r A:=T1*T2 B:=A T3:=2*T0 T4:=R+r T5:=T3*T4 T6:=R-r B:=T5*T6 CompilerPrinciples * T0:=3.14 T1:=2*T0 T2:=R+r A:=T1*T2 B:=A T3:=2*T0 T4:=R+r T5:=T3*T4 T6:=R-r B:=T5*T6 CompilerPrinciples * T0:=3.14 T1:=6.28 T3:=6.28 T2:=R+r T4:=T2 A:=6.28*T2 T5:=A T6:=R-r B:=A*T6 如果根据上述DAG，按原来构造其结点的顺序，重新写成中间代码，则我们可以得到G’如下,与G相比较： 可以看到，G’已作了这些优化： 合并已知量、删除公共子表达式、删除无用赋值。 T0:=3.14 T1:=2*T0 T2:=R+r A:=T1*T2 B:=A T3:=2*T0 T4:=R+r T5:=T3*T4 T6:=R-r B:=T5*T6 G’ G CompilerPrinciples * §3.循环优化 我们都知道，所谓循环是指程序中反复执行的语句序列。由于不只是循环句能形成循环，条件和无条件转移语句也能形成循环，所以要进行循环优化，首要任务就是如何找出程序中的循环。 一、流图与循环 这儿我们要借助