第12章+目标代码生成.ppt

第12章 目标代码生成 编译方法 12.4 DAG的目标代码生成 12.3 一种简单代码生成算法 12.2 模型计算机的指令系统 12.1 目标代码生成概述 第12章 目标代码生成 目标代码的形式： （1）能够立即执行的机器语言程序 （2）能装配的机器语言模块 与某些运行程序连接才能产生可执行的机器语言程序； （3）汇编语言程序 经过汇编才能产生可执行的机器语言程序。 12.1 目标代码生成概述 12.1 目标代码生成概述 代码生成器 目标代码程序 中间代码程序 设计代码生成器时重点应考虑的问题: 如何才能产生高质量的目标代码程序？ 从以下两个方面来做： （1）使程序运行时尽量占用较少的空间； （2）尽可能减少目标代码的条数，同时充分利用寄存器，尽量 少访问内存，从而提高代码的执行效率。 12.1 目标代码生成概述 12.1 目标代码生成概述 假设： 模型计算机有n个通用寄存器：R0、……、Rn-1 既可以做累加器，又可以做地址寄存器或变址器。 在对两个操作数进行运算时，规定至少有一个操作数在寄存器中。 12.2 模型计算机的指令系统 12.2 模型计算机的指令系统 寻址方式 指令形式 意义（设op为二目运算符） 直接寻址 op Ri , M ( Ri ) op ( M ) ? Ri 寄存器寻址 op Ri , Rj ( Ri ) op ( Rj ) ? Ri 变址寻型 op Ri , c(Rj) ( Ri ) op (( Rj ) + c ) ? Ri 间接寻型 op Ri , *M ( Ri ) op (( M )) ? Ri op Ri , *Rj ( Ri ) op (( Rj )) ? Ri op Ri , *c(Rj) ( Ri ) op ((( Rj ) + c )) ? Ri 12.2.1 寻址方式 12.2 模型计算机的指令系统 指令 ADD SUB MUL DIV EXP AND OR 运算 + - * / ↑ ∧ ∨ 指 令 意 义 LD Ri , M 将M单元的内容取到寄存器Ri，即( M ) ? Ri ST Ri , M 将寄存器Ri的内容存入M单元，即(Ri ) ? M 1. 运算类指令（op arg1 , arg2） 2. 传送类指令 12.2.2 指令系统 12.2 模型计算机的指令系统 指 令 意 义 CMP A , B 比较A、B单元值， 根据情况设置模型机的特征寄存器CT， 若AB，则CT=0； 若A=B，则CT=1； 若AB，则CT=2； J X 无条件转向X单元 J X 若CT=0，转X单元 J≤ X 若CT=0或1，转X单元 J= X 若CT=1，转X单元 J≠ X 若CT≠1，转X单元 J≥ X 若CT=1或2，转X单元 J X 若CT=2，转X单元 3. 程控类指令 12.2.2 指令系统 12.2 模型计算机的指令系统 12.3 一种简单代码生成算法 12.3.1 寄存器的使用原则 12.3.2 待用信息和活跃信息 12.3.3 寄存器描述和变量地址描述 12.3.4 基本块代码生成算法 12.3 一种简单代码生成算法 寄存器的分配原则： （1）尽可能让变量的值保留在寄存器中。 （2）后续的目标代码尽可能引用变量在寄存器中的值。 （3）对于一个在基本块的后边不再被引用的变量，其占用的 寄存器应及早释放。 12.3.1 寄存器的使用原则 12.3 一种简单代码生成算法 1．活跃信息 一个变量如果还将被引用，则称该变量是活跃的。 一个变量是否活跃与其所在的指令的位置有关。 假设： 所有非临时变量都是基本块出口后的活跃变量; 所有临时变量都是基本块出口后的非活跃变量; 在处理完了一个基本块后将所有活跃变