编译原理 目标代码生成.pdf

第11章 代 码 生 成 本章内容 •  一个简单的代码生成算法 •  涉及存储管理，指令选择，寄存器分 配和计算次序选择等基本问题 源程序 中间 代 码 中间 代码 目标 前端 代码 优 代码 生成 程序 化 器 器 11.1 代码生成器的设计中的问题 11.1.1 目标程序 •  可执行目标模块 •  可重定位目标模块 – 允许程序模块分别编译 – 调用其它先前编译好的程序模块 •  汇编语言程序 – 免去编译器重复汇编器的工作 – 从教学角度，增加可读性 11.1 代码生成器的设计中的问题 11.1.2 指令的选择 目标机器指令系统的性质决定了指令选择的 难易程度，指令系统的统一性和完备性是 重要的因素 指令的速度和机器特点是另一些重要的因素 11.1 代码生成器的设计中的问题 若不考虑目标程序的效率，指令的选择是直 截了当的。 三地址语句x := y + z （x，y和z都是静态分配） MOV y, R0 /* 把y装入寄存器R0 */ ADD z, R0 /* z加到R0上 */ MOV R0, x /* 把R0存入x 中 */ 11.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 11.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 11.1 代码生成器的设计中的问题 语句序列 a := b + c d := a + e 的代码如下 MOV b, R0 ADD c, R0 MOV R0, a MOV a, R0 -- 多余的指令 ADD e, R0 -- 若a不再使用，第三条也 MOV R0, d -- 多余 11.1 代码生成器的设计中的问题 11.1.3 寄存器分配 运算对象处于寄存器中的指令通常比运算对 象处于内存的指令要短一些，执行也快一些 •  寄存器分配 选择驻留在寄存器中的一组变量 •  寄存器指派 挑选变量要驻留的具体寄存器 11.1 代码生成器的设计中的问题 11.1.4 计算次序的选择