编译原理第十一章最新.ppt

* 作业 P327-1 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * 假定已经作过必要的类型检查，所以在必要的地方已经加入了类型转换操作，并且已检测出一些明显的语义错误。这样代码生成阶段就可以假设它的输入是没有错误的。 * * 编译原理——第十一章 目标代码生成 王金伟 计算机与信息工程学院 天津师范大学 * 词法分析器 语法分析器 中间代码生成器 优化段 源程序 单词符号 语法单位 四元式 表 格 管 理 出 错 处 理 目标代码生成器 四元式 目标代码 * 代码生成是把语法分析后或优化后的中间代码变换成目标代码。 目标代码一般有以下三种形式： 能够立即执行的机器语言代码，所有地址已经定位； 待装配的机器语言模块。执行时，由连接装配程序把它们和某些运行程序连接起来，转换成能执行的机器语言代码； 汇编语言代码。尚须经过汇编程序汇编，转换成可执行的机器语言代码。 * 代码生成着重考虑的问题： 如何使生成的目标代码较短； 如何充分利用计算机的寄存器，减少目标代码中访问存贮单元的次数。 如何充分利用计算机的指令系统的特点。 * 11.1 基本问题 代码生成器的输入 代码生成器的输入包括源程序的中间表示，以及符号表中的信息，代码生成器可以利用符号表中的信息来决定在中间代码中的名字所指示的数据对象的运行时地址。 类型检查，假定已经作过必要的类型检查，在必要的地方已经加上了类型转换操作，并已检测出一些明显的语义错误。代码生成阶段就可以假设它的输入是没有错误的。 * 目标程序 绝对机器代码、可再定位机器语言、汇编语言 采用汇编代码作为目标语言 指令选择 一个有着丰富指令集的机器可以为一个给定的操作提供几种实现方法。 a:=a+1 INC a LD R0, a ADD R0, #1 ST R0, a * 寄存器分配 在寄存器分配期间，为程序的某一点选择驻留在寄存器中的一组变量。 在随后的寄存器指派阶段，挑出变量将要驻留的具体寄存器。 计算顺序选择 影响目标代码的有效性。 * 11.2 目标机器模型 考虑一个抽象的计算机模型 具有多个通用寄存器，他们既可以作为累加器，也可以作为变址器。 运算必须在某个寄存器中进行。 含有四种类型的指令形式 * 如果op是一目运行符，则“op Ri, M”的意义为：op（M）? Ri，其余类型可类推。 * op 包括一般计算机上常见的一些运算符，如 ADD 加 SUB 减 MUL 乘 DIV 除 * * 不考虑代码的执行效率，目标代码生成是不难的， 例如： A:=(B+C)*D+E 翻译为四元式： T1:=B+C T2:=T1*D T3:=T2+E A:=T3 11.3 一个简单代码生成器 * 假设只有一个寄存器可供使用 目标代码： LD R0，B ADD R0 ，C ST R0 ，T1 假设T1，T2，T3在基本块之后不再引用: LD R0，B ADD R0，C MUL R0，D ADD R0，E ST R0，A 四元式T1:=B+C T3:=T2+E T2:=T1*D A:=T3 LD R0 ，T1 MUL R0，D ST R0 ，T2 LD R0 ，T2 ADD R0 ，E ST R0 ，T3 LD R0，T3 ST R0 ，A * 四元式的中间代码变换成目标代码，并在一个基本块的范围内考虑如何充分利用寄存器： 尽可能留：在生成计算某变量值的目标代码时，尽可能让该变量保留在寄存器中。 尽可能用：后续的目标代码尽可能引用变量在寄存器中的值，而不访问内存。 及时腾空：在离开基本块时，把存在寄存器中的现行的值放到主存中。 * 11.3.1 待用信息 如果在一个基本块内，四元式i对A定值，四元式j要引用A值，而从i到j之间没有A的其他定值，那么，我们称j是四元式i的变量A的待用信息。（即下一个引用点） i: A:=B op C … j: D:=A op E 假设在变量的符号表登记项中含有记录待用信息和活跃信息的栏。 * 待用信息和活跃信息的表示： 1 (x,x)表示变量的待用信息和活跃信息。其中i表示待用信息，y表示活跃，^表示非待用和非活跃； 2 在符号表中，(x，x)→(x，x)表示后面的符号对代替前面的符号对； 3 不特别说