ch2-2PL0编译程序的实现.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * CX：为目标代码code数组的下标指针。 code为一维数组，数组元素为记录型数据。每一个记录就是一条目标指令。CX 为整数变量，由0开始顺序增加。实际上目标代码的顺序是内层过程的在前边，主程序的目标代码在最后。 tx ：table表的下标指针,是以值参数形式使用的。 dx: 计算每个变量在运行栈中相对本过程基地址的偏移量 ，放在table表中的adr域，生成目标代码时再放在code中的a域。 下标指针cx，tx和变量dx的作用 code [cx] table[tx] s [t] (运行栈) cx tx t(运行时栈指针) (0) jmp 0 0 (1) int 0 7 . . (cx ) . (0) name …adr... (1) b (dx) ... ( tx) q p m b Table表的下标指针tx补充说明： 主程序 BLOCK 第1次调用block BLOCK（0，0，…） 0 0 ... BLOCK BLOCK（LEV+1,TX，…） (递归进入分程序) LEV tx LEV tx （6） 6 （9） 1 tx是BLOCK的 实际值参 PL/0编译程序的实现 procedure gen(x:fct; y, z:integer); begin if cxcxmax then（*指针越界*） begin write(‘program too long’); close(fin);（*关闭文件*） writeln; exit end; PL/0编译程序的实现 with code[cx] do begin f:=x;（* 表示code[cx].f:=x; *) l:=y;（* 表示code[cx].l:=y; *) a:=z;（* 表示code[cx].a:=z; *) end; cx:=cx+1end (*gen*); PL/0编译程序的实现 对分程序的定义（见教材417,437页） procedure block(lev,tx:integer;fsys:symset); var dx:integer; (*data allocationindex*) tx0:integer; (*initial table index*) cx0:integer; (*initial code index*) （ tx0，cx0是tx，cx的初值） PL/0编译程序的实现 对分程序体人口的处理（见程序文本block 的过程体） begin (*block*) dx:=3; tx0:=tx; （保留当前table表指针值） table[tx].adr:=cx;（保留当前code指针值到过程名 的adr域 ） gen(jmp,0,0);（生成转向过程体入口的指令，该指令的地址 为cx 已保留在过程名的adr域，等生成 过程 体入口的指令时，再由table[tx].adr中取出 cx将过程体入口返填到cx中，即 （ jmp,0,0）的第3区域。 … （注意dx， tx， cx的作用）  CONST A=35，B=49；VAR C，D，E；PROCEDURE P；VAR G table表格管理 名字 类型 层次/值 地址 存储空间 (0) jmp 0