编译原理 王生原 董渊 杨萍 张素琴 slide11新.pptVIP

基本块 DAG 表示的构造 n8 n6 n5 n7 n1 n2 n3 n4 3.14 T0 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 6.28 T1, T3 R0 r0 + T2,T4 * A, T5 - T6 * B 基本块的 DAG 表示 举例 从基本块的 DAG 表示可得到等价的基本块 举例：从下图的 DAG 可得到右边的新的基本块 （经拓扑排序及添加适当的复写语句） n8 n6 n5 n7 n1 n2 n3 n4 3.14 T0 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 6.28 T1, T3 R0 r0 + T2,T4 * A, T5 - T6 * B 基本块的 DAG 表示 从基本块的 DAG 表示可得到等价的基本块 比较变换前后的基本块 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 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 所作的优化 合并已知量 删除多余运算 删除无用赋值 基本块的 DAG 表示 目标代码生成技术 代码生成要考虑的主要问题 一个简单的代码生成算法 由上述算法从 DAG 生成代码 简单的图着色物理寄存器分配算法 代码生成要考虑的主要问题 指令选择 目标机指令集的性质和中间代码的形式决定 指令选择的难易 寄存器分配 充分、高效地使用寄存器 指令调度 选择好计算的次序，充分利用目标机的特点 目标代码生成技术 指令选择 任务 为每条中间语言语句选择恰当的目标机指令或指令序列 原则 首先要保证语义的一致性；若目标机指令系统比较完 备，为中间语言语句找到语义一致的指令序列模板是 很直接的（不必考虑执行效率的情形下） 其次要权衡所生成代码的效率（考虑时间/空间代价） 这一点较难做到，因为执行效率往往与该语句的上下 文以及目标机体系结构（如流水线）有关 目标代码生成技术 指令选择举例 为TAC 语句选择指令模板 假设一个目标机指令系统（龙书中一个简单汇编语言） 例 TAC 语句 a:=b+c 可转换为如下代码序列 MOV b, R0 /* b 装入寄存器 R0 */ ADD c, R0 /* c 加到 R0 */ MOV R0, a /* 存 R0 到 a */ （其他算术和逻辑运算的TAC 语句与此类似，只是选 择不同的目标指令，如减运算选择指令“SUB”，… ） 目标代码生成技术 指令选择 选择指令模板时可考虑指令的代价（cost） 如：不同的寻址方式会得到不同代价的指令 例 规定与寻址方式有关的指令代价为 寻址方式 汇编格式 寻址结果 附加的代价 绝对寻址 M M 1 寄存器寻址 R R 0 变址寻址 c(R) c+contents(R) 1 间接寻址 *R contents(R) 0 间接变址寻址 *c(R) contents(c+contents(R)) 1 目标代码生成技术 指令选择 选择指令模板时可考虑指令的代价（cost） 例 TAC 语句 a:=b+c 的几种转换方式 （1）MOV b, R0 A