第十二章 代码生成新.pptVIP

PL/O编译程序的目标代码结构 PL/O编译程序所产生的目标代码是一个假想栈式计算机的汇编语言，可称为类PCODE指令代码，它不依赖任何实际计算机 此类栈式机没有累加器和通用寄存器，有一个栈式存储器，有四个控制寄存器（指令寄存器 I，指令地址寄存器 P，栈顶寄存器 T和基址寄存器 B），算逻运算都在栈顶进行。（这部分内容涉及到PL/0解释程序） PL/O编译程序的目标代码结构 指令格式 f 功能码 l 层次差（标识符引用层减去定义层） a 根据不同的指令有所区别 八条目标指令： PL/O编译程序的目标代码结构和代码生成 指令 “LIT 0 A” 立即数存入栈顶，即置T 所指存储单元的值为A T 加 1 LOD：将变量放到栈顶。a域为变量在所说明层中的相对位置，l为调用层与说明层的层差值。 STO：将栈顶的内容送入某变量单元中。a和l域的含意同LOD指令。 CAL：调用过程的指令。a为被调用过程的目标程序入口地址，l为层差。 INT：为被调用的过程(或主程序)在运行栈中开辟数据区。a域为开辟的单元个数。 JMP：无条件转移指令，a为转向地址。 JPC：条件转移指令，当栈顶的布尔值为非真时，转向a域的地址，否则顺序执行。 OPR：关系运算和算术运算指令。将栈顶和次栈顶的内容进行运算，结果存放在次栈顶。此外还可以是读写等特殊功能的指令，具体操作由a域值给出。（P23） PL/0编译程序的代码生成 编译程序的目标代码生成 在分析程序体时生成的 当分析程序体中的每个语句时，当语法正确则调用目标代码生成过程以生成与PL/O语句等价功能的目标代码，直到编译正常结束。除了过程说明部分外，变量和常量的说明都不产生目标代码。 由过程GEN完成，GEN有三个参数，分别代表目标代码的功能码，层差和位移量 P417 例如：gen(opr,0,16) 从命令行读入一个输入到栈顶 PL/0编译程序的代码生成 gen(sto,lev-level,adr) 将栈顶内容送到变量单元中， lev：当前处理的过程层次 level：被引用变量或过程所在层次 CX：为目标代码code数组的下标指针（CX为指令的指针，由0开始顺序增加。） PL/0编译程序的代码生成 相关定义 Code: array[0..cxmax] of instruction; p414 fct=(lit, opr, lod, sto, cal, int, jmp, jpc) P413 Instruction= packec record P413 f: fct; l: 0..levmax a: 0..amax; end; CODE为一维数组，数组元素为记录型数据。每一个记录就是一条目标指令。 PL/0编译程序的代码生成 实际上目标代码的顺序是内层过程的排在前边，主程序的目标代码在最后。 下面我们给出一个PL/0源程序和对应的目标程序的清单。 PL/0编译程序的代码生成 对于过程(分程序)的代码生成 在block入口处生成一条(jmp,0,0)指令，作为过程体入口指令，该指令的第3区域的0需分析到过程体入口时才返填。 对分程序体入口的处理（见程序文本P424页block 的过程体）　　begin (*block*)　　　dx:=3;　　　tx0:=tx; （*保留当前table表指针值,实际为过程名在table表中的位置*）　　table[tx].adr:=cx;（*保留当前code指针值到过程名的adr域*）　 gen(jmp,0,0);（上例的前二行！） 其实上述内容最重要的是地址的回填（见下几页PPT) 附录 当源程序经过语法分析，如果未发现错误时，由编译程序调用解释程序,对目标代码开始进行解释执行。 PL/0解释程序 PL/0解释程序 解释程序定义了4个寄存器： ①I　指令寄存器:存放当前正在解释的一条目标指令 ②P　程序地址寄存器:指向下一条要执行的目标程序的 　地址（相当目标程序CODE数组的下标） CODE为一维数组，数组元素为记录型数据。每一个记录就是一条目标指令。 每个过程目标程序的入口都有这样一条指令，用以完成 　开辟数据段的工作 A域的值指出数据段的大小，即为局部变量个数+3（联 　系单元个数为3） 由编译程序的代码生成给出 开辟数据段的结果是改变栈顶寄存器T的值，即T:=T+A 为调用过程的目标指令 L　为层次差，它是寻找静态链的依据。 A　为被调用过程的目标程序入