[工学]编译原理_课件第十二章.ppt

12 ． 3 基于树重写的代码生成 例： a[i]:=b+1 替换 ← 模版 { 动作 } 例子： 前缀表示 :=ind + ind +const a reg sp ind + const i + mem b const 1 语法制导翻译模式 * * 第十二章 代码生成 主要内容： 代码生成要考虑的主要问题 基本块的代码生成(在一个基本块范围内考虑如何充分利用寄存器的问题) 从dag生成代码 重点、难点 基本块的代码生成 l 代码生成要考虑的主要问题 ——具体细节依赖于目标机器和操作系统 共同的问题： 1. 充分利用寄存器 基本块中 全局 寄存器分配：不把寄存器平均分配给各个变量使 用，而是从可用的寄存器中分出几个，固定分配给几个变量单 独使用。标准——以各变量在循环内需要访问主存单元的次数 为标准。 2. 选择计算机指令系统 3. 选择计算次序 目标代码的三种形式 地址代真的机器代码 待装配的机器代码模块 汇编语言 （宏汇编） 机器指令形式 (op source ,destination) ADD s,d // d+s SUB s,d //d-s MOV s,d //s ? d 机器指令开销 (cost) MOV R,M 开销 2 ADD #1 ,R 开销 2 MOV R0,R1 开销 1 目标机器的地址方式 地址方式 汇编形式 地址 增加的开销 直接地址方式 M M 1 寄存器方式 R R 0 间接寄存器方式 *R contents(R) 0 索引方式 c(R) c+contents(R) 1 间接索引方式 *c(R) contents( c+contents(R)) 1 a:=b+c 1. MOV b, R0 ADD c, R0 cost=6 MOV R0, a 2. MOV b, a ADD c, a cost=6 假定R0, R1和R2中分别存放了a, b和c的地址, 采用: 3. MOV *R1, *R0 ADD *R2, *R0 cost=2 假定R1和R2中分别包含b和c的值, 并且b的值在这个赋值以后不再需要, 则还可有 4. ADD R2, R1 MOV R1, a cost=3 T4:=A+B-(E-(C+D)) T1:= A+B MOV A,R0 T2:=C+D ADD B,R0 T3:=E-T2 MOV C,R1 T4:=T1-T3 ADD D,R1 MOV R0,T1 MOV E, R0 SUB R1,R0 MOV T1,R1 SUB R0,R1 MOV R1, T4 T2:=C+D MOV C,R0 T3:=E-T2 ADD D,R0 T1:= A+B MOV E,R1 T4:=T1-T3 SUB R0,R1 MOV A,R0 ADD B, R0 SUB R1,R0 MOV R0,T4 ． 简单的代码生成器 （基本块内） 在一个基本块范围内考虑如何充分利用寄存器的问题： l 尽可能地让该变量的值保留在寄存器中 l 尽可能引用变量在寄存器中的值 待用信息：若在一个基本块中，变量 A 在四元式 i 中被定 值，在 i 后面的四元式 j 中要引用 A 值，且从 i 到 j 之间没有其 它对 A 的定值点，这时我们称 j 是四元式 i 中对