第17讲第8章代码生成讲解.ppt

* * * * * 8.4 一个简单的代码生成器 赋值语句d := (a ? b) + (a ?c) + (a ? c) 编译产生三地址语句序列： t1 := a ? b t2 := a ? c t3 := t1 + t2 d := t3 + t2 8.4 一个简单的代码生成器 语 句 生成的代码 寄存器描述 名字地址描述 寄存器空 t1 := a ? b MOV a, R0 SUB b, R0 R0含t1 t1在R0中 t2 := a ? c MOV a, R1 SUB c, R1 R0含t1 R1含t2 t1在R0中 t2在R1中 t3 := t1+ t2 ADD R1,R0 R0含t3 R1含t2 t3在R0中 t2在R1中 d := t3 + t2 ADD R1,R0 R0含d d在R0中 MOV R0, d d在R0和内存中 本 章 要 点 代码生成器设计中的主要问题：存储管理、计算次序的选择、寄存器的分配、指令的选择等。 目标机器几种常用的地址模式和一些常用的指令。 基本块和程序流图。 简单的代码生成算法。 习 题 8.1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 中国科大 第八章 代 码 生 成 本章内容 一个简单的代码生成算法 涉及存储管理，指令选择，寄存器分配和计算次序选择等基本问题 前端 代 码 优 化 器 中间 代码 源程序 代码 生成 器 中间 代码 目标 程序 8.1 代码生成器的设计中的问题 8.1.1 目标程序 可执行目标模块 可重定位目标模块 允许程序模块分别编译 调用其它先前编译好的程序模块 汇编语言程序 免去编译器重复汇编器的工作 从教学角度，增加可读性 8.1 代码生成器的设计中的问题 8.1.2 指令的选择 目标机器指令系统的性质决定了指令选择的难易程度，指令系统的统一性和完备性是重要的因素 指令的速度和机器特点是另一些重要的因素 8.1 代码生成器的设计中的问题 若不考虑目标程序的效率，指令的选择是直截了当的。 三地址语句x := y + z（x，y和z都是静态分配） MOV y, R0 /* 把y装入寄存器R0 */ ADD z, R0 /* z加到R0上 */ MOV R0, x /* 把R0存入x中 */ 逐个语句地产生代码，常常得到低质量的代码 8.1 代码生成器的设计中的问题 语句序列 a := b + c d := a + e 的代码如下 MOV b, R0 ADD c, R0 MOV R0, a MOV a, R0 ADD e, R0 MOV R0, d b b+c 多余的指令, 若a不再使用，第三条也 多余 8.1 代码生成器的设计中的问题 8.1.3 寄存器分配 运算对象处于寄存器中的指令通常比运算对象处于内存的指令要短一些，执行也快一些 寄存器分配 选择驻留在寄存器中的一组变量 寄存器指派 挑选变量要驻留的具体寄存器 8.1 代码生成器的设计中的问题 8.1.4 计算次序的选择 某种计算次序可能会比其它次序需要较少的寄存器来保存中间结果 寻找最优的计算次序是一个NP-C问题 8.2 目 标 机 器 8.2.1 目标机器的指令系统 选择可作为几种微机代表的寄存器机器 四字节组成一个字，有n个通用寄存器R0,R1, …,Rn-1。 二地址指令 op 源，目的 MOV {源传到目的} ADD {源加到目的} SUB {目的减去源} 8.2 目 标 机 器 地址模式和它们的汇编语言形式及附加代价 模式 形式 地址 附加代价 绝对地址 M M 1 寄存器 R R 0 变址 c(R) c + contents(R) 1 间接寄存器 *R contents(R) 0 间接变址 *c(R) contents(c + contents(R)) 1 直接量 #c c 1 8.2 目 标 机 器 指令实例 MOV R0, M MOV 4(R0), M contents(4 + contents(R0)) MOV *4(R0), M