《编译原理 第2章PL0编译程序.ppt》由会员分享，可在线阅读，更多相关《编译原理 第2章PL0编译程序.ppt（86页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、第2章 PL/0编译程序2.1 PL/0语言和语言和类类pcode的的描述描述2.2 PL/0编译程序的结构编译程序的结构2.3 PL/0编译程序的语法语义分析编译程序的语法语义分析 2.4 PL/0编译程序的编译程序的错误处理错误处理2.5 类类pcodepcode代码解释器代码解释器本章目的：以本章目的：以PL/0PL/0为实例为实例,学习编译程序实现的基本步学习编译程序实现的基本步骤和相关技术骤和相关技术 PL/0编译程序 PL/0编译编译程序程序 PL/0 语言程序语言程序 类类 pcode 代吗代吗源语言源语言(PL/0)目标语言目标语言(类类 pcode)实现语言（实现语言（pas
2、cal)PL/0 类类 pcode pascal PL/0PL/0编译程序编译程序类类 pcodepcode解释解释程序程序类类 pcode代码代码PL/0源程序源程序输入输入输出输出PL/0PL/0编译系统的结构框架编译系统的结构框架PL/0语言PL/0PL/0程序示例程序示例PL/0PL/0的的语法描述图语法描述图PL/0PL/0语言语言文法的文法的EBNFEBNF表示表示PL/0PL/0语言：语言：PASCALPASCAL语言的语言的子集子集 PL/0程序示例 CONST A=10;CONST A=10;（*常量说明部分常量说明部分*）VAR B,C;VAR B,C;（*变量变量说明部分
3、说明部分*）PROCEDURE PROCEDURE P;P;（*过程过程说明部分说明部分*）VAR D;VAR D;PROCEDURE PROCEDURE Q;Q;VAR X;VAR X;BEGINBEGIN READ(X);READ(X);D:=X;D:=X;WHILE X#0 WHILE X#0 DO CALL P;DO CALL P;END;END;BEGINBEGIN WRITE(D);WRITE(D);CALL Q;CALL Q;END;END;BEGINBEGIN CALL P;CALL P;END.END.Q的过程体的过程体p的过程体的过程体主主程序程序体体 程序程序分程序分程序
4、.内的文字表示内的文字表示非终结符非终结符或内的文字或符号表示内的文字或符号表示终结符终结符constidentnumber=,;varident,;procedureident;分程序分程序语句语句分程序分程序PL/0语言文法的EBNF表示 EBNF EBNF 引入的符号引入的符号(元符号元符号)：用左右尖括号括起来的语法成分为用左右尖括号括起来的语法成分为非终结符非终结符=()=()定义为定义为 =()=()的的左部由左部由右部右部定义定义|或或 表示花括号内的语法成分表示花括号内的语法成分可重复可重复任意次或限任意次或限 定次数定次数 表示方括号内的语法成分为表示方括号内的语法成分为任选
5、项任选项()()表示圆括号内的成分表示圆括号内的成分优先优先例：用例：用EBNFEBNF描述描述 的定义的定义 ：=+|-=+|-=0|1|2|3|4|5|6|7|8|9=0|1|2|3|4|5|6|7|8|9 或更好的写法或更好的写法 =+|-=+|-|0|0=1|2|3|4|5|6|7|8|9=1|2|3|4|5|6|7|8|9 =0|=0|PL/0语言是PASCAL语言的子集同同PASCALPASCAL 作用域规则（内层作用域规则（内层可引用包围它的外层定义的可引用包围它的外层定义的标识符），标识符），上下文约束，上下文约束，过程可过程可嵌套定义嵌套定义，可递归调用可递归调用子集子集数据
6、类型数据类型,只有整型只有整型数据结构数据结构 ,只有简变和常数只有简变和常数数字最多为数字最多为1414位位标识符的有效长度是标识符的有效长度是1010语句种类语句种类过程最多可过程最多可嵌套嵌套三层三层 目标代码类pcode目标代码目标代码类类pcodepcode是是一种一种假想栈式计算机假想栈式计算机的的汇编语言汇编语言。指令格式：指令格式：f l af l af f功能码功能码l l层次差层次差 （标识符标识符引用引用层层减去减去定义定义层层）a a根据不同的指令有所区别根据不同的指令有所区别指指令令功功能能表表 const a=10;const a=10;var var b,c;b,
7、c;procedure p;procedure p;beginbegin c:=b+a;c:=b+a;end;end;beginbegin read(b);read(b);while while b#0b#0 do do begin begin call p;call p;write(2*c);write(2*c);read(b);read(b);end endend.end.(0)(0)jmpjmp 0 8 0 8 转向转向主程序入口主程序入口(1)(1)jmpjmp 0 2 0 2 转向转向过程过程p p入口入口(2)(2)intint 0 3 0 3 过程过程p p入口入口,为过程为过程
8、p p开辟空间开辟空间(3)(3)lodlod 1 1 3 3 取变量取变量b b的值到栈顶的值到栈顶(4)(4)lit 0 10 lit 0 10 取常数取常数1010到栈顶到栈顶(5)(5)opropr 0 2 0 2 次栈顶与栈顶相加次栈顶与栈顶相加(6)(6)stosto 1 1 4 4 栈顶值送变量栈顶值送变量c c中中(7)(7)opropr 0 0 0 0 退栈并返回调用点退栈并返回调用点(16)(16)(8)(8)intint 0 5 0 5 主程序入口开辟主程序入口开辟5 5个栈空间个栈空间(9)(9)opropr 0 16 0 16 从命令行读入值置于栈顶从命令行读入值置于
9、栈顶(10)(10)stosto 0 3 0 3 将栈顶值存入变量将栈顶值存入变量b b中中(11)(11)lodlod 0 3 0 3 将变量将变量b b的值取至栈顶的值取至栈顶(12)(12)lit 0 0 lit 0 0 将常数值将常数值0 0进栈进栈(13)(13)opropr 0 9 0 9 次栈顶与栈顶是否不等次栈顶与栈顶是否不等(14)(14)jpcjpc 0 24 0 24 等时转等时转(24)(24)（条件不满足转条件不满足转）(15)(15)cal 0 2cal 0 2 调用过程调用过程p p(16)lit 0 2 (16)lit 0 2 常数值常数值2 2进栈进栈(17)
10、(17)lodlod 0 0 4 4 将变量将变量c c的值取至栈顶的值取至栈顶(18)(18)opropr 0 4 0 4 次栈顶与栈顶相乘次栈顶与栈顶相乘(2(2*c)c)(19)(19)opropr 0 14 0 14 栈顶值输出至屏幕栈顶值输出至屏幕(20)(20)opropr 0 15 0 15 换行换行(21)(21)opropr 0 16 0 16 从命令行读取值到栈顶从命令行读取值到栈顶(22)(22)stosto 0 0 3 3 栈顶值送变量栈顶值送变量b b中中(23)(23)jmpjmp 0 11 0 11 无条件转到循环入口无条件转到循环入口(11)(11)(24)(2
11、4)opropr 0 0 0 0 结束退栈结束退栈 PL/0编译程序的结构词法分析程词法分析程序序语法语义分析程序语法语义分析程序代码生成程序代码生成程序表格管理程序表格管理程序出错处理程序出错处理程序PL/0PL/0源程序源程序目标程序目标程序PL/0编译程序的总体设计其编译过程采用其编译过程采用一趟扫描方式一趟扫描方式以语法以语法、语义分析语义分析程序程序为核心为核心 词法分析词法分析程序和程序和代码生成代码生成程序都作为一个程序都作为一个过程过程，当语法分，当语法分析需要读单词时就调用词法分析程序，而当语法析需要读单词时就调用词法分析程序，而当语法、语义语义分析正确，需要生成相应的目标代
12、码时，则调用代码生分析正确，需要生成相应的目标代码时，则调用代码生成程序。成程序。表格管理表格管理程序实现程序实现变量变量，常量常量和和过程过程标识符的标识符的信息的登录信息的登录与查找与查找。出错处理出错处理程序，对词法和语法程序，对词法和语法、语义分析遇到的错误给出语义分析遇到的错误给出在源程序中在源程序中出错的位置出错的位置和与和与错误错误 性质有关性质有关的编号，并进的编号，并进行错误恢复。行错误恢复。PL/0编译程序词法分析的设计与实现识别的单词：识别的单词：保留字或关键字：如：保留字或关键字：如：BEGINBEGIN、END END、IF IF、THEN THEN等等运算符运算符：
13、如：如：+、-、*、/、：、：=、#、=、=等等标识符标识符：用户定义的变量名、常数名、过程名用户定义的变量名、常数名、过程名常数常数：如：如：1010、2525、100100等整数等整数界符界符：如：如：,、.、;、(、)等等词法分析过程词法分析过程GETSYMGETSYM所要完成的任务：所要完成的任务：读源程序（读源程序（getchgetch)滤空格滤空格识别识别保留字保留字识别标识符识别标识符拼数拼数识别单字符单词识别单字符单词拼双字符单词拼双字符单词词法分析过程词法分析过程:GETSYMGETSYM框图（见教材图框图（见教材图2.52.5）程序（程序（procedure procedu
14、re getsymgetsym）当识别到标识符时先查当识别到标识符时先查保留字保留字表表保留保留字字表：（表：（begin (*main*)begin (*main*)）word1:=word1:=begin begin ；word2:=word2:=callcall ；.word13:=word13:=writewrite ；查到时找到相应的查到时找到相应的内部表示内部表示Wsym1:=beginsym;wsym2:=callsym；wsym13:=writesym；字符对应的字符对应的单词表：单词表：ssymssym+:=+:=plusplus;ssymssym-:=-:=minusmin
15、us;ssymssym;:=;:=semicolonsemicolon;词法分析如何把单词传递给语法分析词法分析如何把单词传递给语法分析 type symbol=(type symbol=(nulnul,identident,numbernumber,plusplus,varsymvarsym,procsymprocsym)；3 3个个全程量全程量 symsym:symbol;:symbol;idid:alfaalfa;numnum:integer;:integer;通过三个通过三个全程量全程量 SYMSYM 、IDID和和NUMNUM 将识别出的单词信息将识别出的单词信息传递传递给给语法语法
16、分析分析程序。程序。SYMSYM：存放单词的类别存放单词的类别 如：有程序段落为：如：有程序段落为：begin initial:=60begin initial:=60；endend 对应单词对应单词翻译后变为：翻译后变为：begin begin beginsymbeginsym,initial ,initial identident,:=:=becomesbecomes,60 ,60 numbernumber,；semicolonsemicolon，end end endsymendsym 。IDID：存放用户所定义的标识符的值存放用户所定义的标识符的值 如：如：initial initia
17、l（在在SYMSYM中放中放identident，在在IDID中中放放initialinitial）NUMNUM：存放用户定义的数存放用户定义的数 如：如：60 60（在在SYMSYM中放在中放在numbernumber在在NUMNUM中中放放6060）使用状态转换图实现词法分析程序的设计方法词法分析程序的设计词法分析程序的设计-使用状态转换图实现使用状态转换图实现表示表示状态状态，对应每个状态编一段程序，对应每个状态编一段程序，每个状态每个状态调用调用取字符取字符程序，根据当前字程序，根据当前字符符转到不同的状态，并做相应操作。转到不同的状态，并做相应操作。表示表示终态终态，已，已识别出一个
18、识别出一个单词单词。PL/0编译程序语法语义分析 PL/0编译程序语法分析的设计与实现自顶向下自顶向下的语法分析的语法分析递归子程递归子程序法序法 程序程序分程序分程序.constidentnumber=,;varident,;procedureident;分程序分程序语句语句分程序分程序identreadend;语句语句表达式表达式：=begin语句语句语句语句)(ident,自顶向下的语法分析VAR A;VAR A;BEGINBEGIN READ(A)READ(A)END.END.VARVAR ；A A BEGINBEGIN ENDEND READREAD （）A A 为文法的为文法的开始
19、符号开始符号，以开，以开始符号作为根结始符号作为根结点构造一棵倒挂点构造一棵倒挂着的语法树。着的语法树。递归子程序法递归子程序法递归子程序法：对应对应每个非终结符每个非终结符语法单元，编一个独立语法单元，编一个独立的处理过程（或子程序）。语法分析从读入第一个单词开的处理过程（或子程序）。语法分析从读入第一个单词开始，由非终结符始，由非终结符 （即开始符）出发，沿语法描述图即开始符）出发，沿语法描述图箭头箭头所指出的方向进行分析。当遇到非终结符时，则所指出的方向进行分析。当遇到非终结符时，则调用调用相应的相应的处理过程处理过程，从语法描述图看，也就进入了一个语法，从语法描述图看，也就进入了一个语
20、法单元，再沿当前所进入的语法单元所指箭头方向继续进行单元，再沿当前所进入的语法单元所指箭头方向继续进行分析。当遇到描述图中是分析。当遇到描述图中是终结符终结符时，则判断当前读入的单时，则判断当前读入的单词是否与图中的终结符词是否与图中的终结符相匹配相匹配，若匹配，再读取下一个单，若匹配，再读取下一个单词继续分析。遇到词继续分析。遇到分支点分支点时，将当前的单词与分支点上多时，将当前的单词与分支点上多个终结符个终结符逐个相比较逐个相比较，若都不匹配时可能是进入下一个非，若都不匹配时可能是进入下一个非终结符语法单位或是出错。终结符语法单位或是出错。例：如何用递归子程序法实现表达式的语法分析项项表达
21、式表达式+-项项+-项项 因子因子 因子因子 */语法图语法图因子的语法图因子因子identnumber(表达式表达式)表达式的表达式的EBNF表达式表达式=+|-+|-项项（+|-+|-）项）项 项项=因子因子（*|/|/）因子因子 因子因子=标识符标识符|无符号整数无符号整数|（表达式表达式）表达式表达式的的递归子程序递归子程序实现实现procedure procedure exprexpr;beginbegin if sym in if sym in plusplus,minusminus then then begin begin getsymgetsym;termterm;end e
22、nd else else termterm;while sym in while sym in plusplus,minusminus do do begin begin getsymgetsym;termterm;end endend;end;项项的的递归子程序递归子程序实现实现procedure procedure termterm;beginbegin factorfactor;while sym in while sym in timestimes,slashslash do do begin begin getsymgetsym;factorfactor;end endend;end
23、;因子因子的的递归子程序递归子程序实现实现procedure procedure factorfactor;begin begin if sym if sym identident then then begin begin if sym if sym numbernumber then then begin begin if sym=if sym=(then then begin begin getsymgetsym;exprexpr;if sym=if sym=)then then getsymgetsym else errorelse error end end else error e
24、lse error end end end end end;end;=beginbegin（*main*)*main*)(*initialize*)(*initialize*)(*r/w file set*)(*r/w file set*)getsymgetsym;block();block();if sym period then error.if sym period then error.end.end.。程序程序 pl0分程序分程序 block语句语句 statement条件条件 condition表达式表达式expression项项 term因子因子 factor语语法法调调用用关关
25、系系图图编译程序总体流程图 PL/0编译程序语义分析的设计与实现 PL/0PL/0编译程序语法编译程序语法、语义分析的的核心语义分析的的核心程序是程序是BLOCKBLOCK过过程，程，说明部分的分析说明部分的分析与处理与处理表格管理表格管理过程体过程体(语句）的分析语句）的分析与处理与处理说明部分的分析与处理对每个过程（含主程序）对每个过程（含主程序）说明的对象说明的对象（变量变量，常量常量和和过程过程）造造符号表符号表 登录登录标识符的标识符的属性属性。标识符的属性标识符的属性:种类，所在种类，所在层次层次,值值和分配的和分配的相对位置相对位置。登录信息由登录信息由ENTERENTER过程完
26、成。过程完成。说明部分的分析与处理（程序）说明种类的定义：object=(constant,variable,procedur)（定义定义纯量纯量/枚举枚举类型）类型）符号表的定义 table:array0.txmax of record name:alfa;case kind:object of constant:(val:integer);variable:procedur:(level,adr,size:integer);例程序说明部分为：例程序说明部分为：CONST A=35CONST A=35，B=49B=49；VAR C VAR C，D D，E E；PROCEDURE P PROC
27、EDURE P；VAR G VAR G；符号表 名字名字 种类种类 层次层次/值值 地址地址 存储空间存储空间对应名字表对应名字表txtx ：tabletable表表的下标指针的下标指针,是以是以值参数值参数形式使用形式使用的。的。dx:计算每个变量在运行栈中相对本计算每个变量在运行栈中相对本过程过程基地址基地址的偏移量的偏移量，放在放在table表表中的中的adr域，域，生成生成目目标代码标代码时再时再放在放在codecode中的中的a域域变量定义语句的处理语法：语法：:=varvar ，；程序：程序：if sym=if sym=varsymvarsym then then begin be
28、gin getsymgetsym;repeat repeat vardeclarationvardeclaration;(*;(*变量说明处理变量说明处理*)while sym=while sym=commacomma do do begin begin getsymgetsym;vardeclarationvardeclaration end;end;if sym=if sym=semicolonsemicolon then then getsymgetsym else error(5)else error(5)until sym until symidentident;end;end;变量
29、说明处理 procedure procedure vardeclarationvardeclaration;beginbegin if if sym=sym=identidentthenthen beginbegin enterenter(variablevariable););getsymgetsym endend else else error(4)error(4)end(*end(*vardeclarationvardeclaration*);*);过程ENTER的实现txtx ：tabletable表表的指针的指针 procedure procedure enterenter(k k:
30、object);:object);begin (*enter object into table*)begin (*enter object into table*)txtx:=tx+1;:=tx+1;with tablewith tabletxtx do do(*(*开域开域语句语句*）beginbegin namename:=:=idid;(*;(*表示表示tabletabletxtx.namename:=:=idid;*;*）kindkind:=:=k k;(*;(*表示表示tabletabletxtx.kindkind:=:=k k;*);*)casecase k k of of co
31、nstantconstant:begin begin if if numnum amaxamax then then begin begin error(31);error(31);numnum:=0;:=0;end;end;valval:=:=numnum;(*;(*tabletabletxtx.valval:=:=numnum;*);*)end;end;variablevariable:begin begin levellevel:=:=levlev;（*表示表示tabletabletxtx.levellevel:=:=levlev*）adradr:=:=dxdx;（*表示表示tablet
32、abletxtx.adradr:=:=dxdx*）dx dx:=dx+1;:=dx+1;end;end;procedurprocedur:levellevel:=:=levlev (*(*表示表示tabletabletxtx.levellevel:=:=levlev;*;*）end(*end(*casecase*);*);endendend(*enter*);end(*enter*);过程体的处理对对语句进行语句进行语法语法分析分析语义分析语义分析 当遇到当遇到标识符的引用时标识符的引用时就调用就调用POSITIONPOSITION函数函数查查TABLETABLE表表，看是否，看是否有有过过正
33、确定义正确定义，若已有，则从表中，若已有，则从表中取相应取相应的有关的有关信息信息，供代码的生成使用。，供代码的生成使用。若无定义则错若无定义则错。当当语法语义正确时语法语义正确时，就，就生成生成相应语句功能的相应语句功能的目标代码目标代码赋值语句的处理 if sym=if sym=ident ident thenthen begin begin i:=position(id);i:=position(id);if i=0 then error(11)if i=0 then error(11)else if tablei.kind variable else if tablei.kind va
34、riable then then begin error(12);begin error(12);i:=0 i:=0 end;end;getsymgetsym;if sym=becomes then if sym=becomes then getsym getsym else error(13);else error(13);expression(expression(fsysfsys););if i 0 then if i 0 then with table i do with table i do gengen(stosto,levlev-level,-level,adradr)end e
35、nd 代码生成代码生成是由过程代码生成是由过程GENGEN完成。完成。GENGEN有有3 3个个参数参数，分别代表目标代码的，分别代表目标代码的功能码功能码，层差层差和和位移量位移量。例如。例如 gen(opr,0,16);gen(opr,0,16);gengen(stosto,levlev-levellevel,adradr)levlev：当当前前处理的处理的过程过程层次层次 levellevel：被被引用变量或过程所在引用变量或过程所在层次层次CXCX：为目标代码为目标代码codecode数组的下标指针数组的下标指针结构变换，地址返填If c then s getsym;condition
36、;if sym=thensym then getsym else error(16);cx1:=cx;gen(jpc,0,0)statement();codecx1.a:=cx PL/0编译程序错误处理的实现 对语法错误的两种处理方法：对语法错误的两种处理方法：(1)(1)对于对于易于校正易于校正的错误，如丢了逗号，分的错误，如丢了逗号，分号等，指出出错位置，号等，指出出错位置，加以校正加以校正，继续进行，继续进行分析。分析。(2)(2)对于对于难于校正难于校正的错误，给出错误的位置的错误，给出错误的位置与性质，与性质，跳过后面的一些单词跳过后面的一些单词，直到下一个直到下一个可以进行正常语法
37、分析的语法单位。可以进行正常语法分析的语法单位。在在进入进入某个某个语法单位语法单位时，调用时，调用TESTTEST,检查当前符号是检查当前符号是否属于该否属于该语法单位的开始符号集合语法单位的开始符号集合。若不属于，。若不属于，则则滤去滤去开始开始符号符号和和后继后继符号符号集合外集合外的所有符号。的所有符号。在在语法单位语法单位分析结束分析结束时，调用时，调用TESTTEST,检查当前符号是检查当前符号是否属于调用该语法单位时应有的否属于调用该语法单位时应有的后继后继符号集合。符号集合。若不属于，则若不属于，则滤去滤去后继后继符号和符号和开始开始符号符号集合外集合外的的所有符号所有符号。T
38、EST TEST TEST TEST开始符号集合与后继符号集合开始符号开始符号集合集合 symset=set of symbol;declbegsys,statbegsys,facbegsys:symset;开始符号集合（开始符号集合（*主程序主程序*）declbegsys:=constsym,varsym,procsym;statbegsys:=beginsym,callsym,ifsym,whilesym,readsym,writesym;facbegsys:=ident,number,lparen;后继符后继符号集合号集合fsys作为参数：作为参数：procedure test(s1,s
39、2:symset;n:integer);procedure block(lev,tx:integer;fsys:symset);procedure statement(fsys:symset);procedure expression(fsys:symset);procedure term(fsys:symset);procedure factor(fsys:symset);READ语句的语法语义分析处理 if sym=if sym=readsymreadsym then then begin begin getsymgetsym;if sym if symlparenlparen then
40、error(34)then error(34)else else repeatrepeat getsymgetsym;if sym=if sym=identident then i:=then i:=positionposition(id)(id)else i:=0;else i:=0;if i=0 then error(35)if i=0 then error(35)else else with tablei dowith tablei do beginbegin gen(opr,0,16);gen(opr,0,16);gengen(stosto,levlev-levellevel,adra
41、dr)endend;getsymgetsym untiluntil sym symcommacomma;if sym if symrparenrparen then then begin begin error(33);error(33);while not(sym in while not(sym in fsysfsys)do do getsymgetsym endend else else getsymgetsym endend出错处理出错处理跳过不应出现跳过不应出现的符号的符号正确正确出出口口TESTSYM在在S1中中?打印出错编号打印出错编号nS1:=S1+S2SYM在在S1中中?GE
42、TSYM返回返回YYNNTEST测试过程流程图测试过程流程图 因子的处理过程例：因子的处理过程例：因子的处理过程 procedure factor(fsys:symset);var i:integer;begin 入口：入口：test(facbegsys,fsys,24);while sym in facbegsys do begin if .出口：出口：test(fsys,facbegsys,23);end end;Facbegsysy 处理处理ident number,lparentestntest增加后跟符增加后跟符与与调用位置有关调用位置有关 例：调用例：调用expression(fs
43、ys);write语句的语句的语法语法write(,);write语句语句(后后调用调用expression时时后跟符后跟符 expression(rparen,comma+fsys);factor的的语法语法：factor=.|.|(exp)在在factor(后后调用调用expression时时后跟符后跟符 expression(rparen+fsys);类pcode代码解释器的实现类类pcode解释器的结构解释器的结构目标代码解释执行时目标代码解释执行时数据栈的布局数据栈的布局（运行栈（运行栈的存储分配）的存储分配）目标代码存放在数组目标代码存放在数组CODECODE中。中。解释程序定义一
44、个一维整型数组解释程序定义一个一维整型数组S S作为作为运行栈运行栈栈顶寄存器栈顶寄存器（指针）（指针）t t，基址寄存器基址寄存器（指针）（指针）b b，程序地址寄存器程序地址寄存器p p，指令寄存器指令寄存器i i目标代码解释执行时数据栈的布局（运行栈的存储分配）在每个过程调用时在栈顶分配在每个过程调用时在栈顶分配3 3个联系单元：个联系单元：SLSL：静态链静态链，指向，指向定义定义该过程的该过程的直接外过程直接外过程 （或主程序）运行时（或主程序）运行时最新最新数据段的基地址数据段的基地址。DLDL：动态链动态链，指向，指向调用调用该过程前正在运行过该过程前正在运行过 程的数据段基地址
45、。程的数据段基地址。RARA：返回地址返回地址，记录调用该过程时，记录调用该过程时目标程序的目标程序的断点断点，即调用过程指令的下一条指令的地址。，即调用过程指令的下一条指令的地址。目标代码的解释执行 运行栈SM M调用过程调用过程Q Q RA RA DL DL SL SLb.ttbQM目标代码的解释执行几条几条特殊指令特殊指令在在code中的中的位置位置和和功能功能INT 0 AINT 0 A在在过程过程目标程序的目标程序的入口处入口处，开辟开辟A A个单元的数据段。个单元的数据段。A A为为局部变量局部变量的的个数个数+3 3。OPR 0 0OPR 0 0在在过程过程目标程序的目标程序的出
46、口处出口处，释放数据段释放数据段（退栈），（退栈），恢复调用恢复调用该过程该过程前前正在运行的过程正在运行的过程的数据段的数据段基址寄基址寄存器存器B B和和栈顶寄存器栈顶寄存器T T的值，并将的值，并将返回地址返回地址送送到指令到指令地址寄存器地址寄存器P P中，以使调用前的程序从中，以使调用前的程序从断点断点开始开始继继续执行续执行。几条几条特殊特殊指令在指令在code中的中的位置位置和和功能功能CAL L ACAL L A调用过程调用过程，还完成，还完成填写填写静态链静态链、动态链动态链、返回返回地址地址，给出，给出被调被调用用过程过程的的基地址基地址值，值，送送入基址入基址寄存器寄存器
47、B B中，目标程序的中，目标程序的入口入口地址地址A A的值的值送送指令指令地址寄存器地址寄存器P P中，使指令从中，使指令从A A开始执行。开始执行。附 PL/0编译程序代码生成的实现CXCX：为目标代码为目标代码codecode数组的下标指针。数组的下标指针。codecode为一维为一维数组，数组元素为数组，数组元素为记录型数据记录型数据。每一个记录就是一。每一个记录就是一条目标指令。条目标指令。CXCX 为整数变量，由为整数变量，由0 0开始顺序增加。开始顺序增加。实际上目标代码的顺序是内层过程的在前边，主程实际上目标代码的顺序是内层过程的在前边，主程序的目标代码在最后。序的目标代码在最
48、后。txtx ：tabletable表表的下标指针的下标指针,是以是以值参数值参数形式使用的。形式使用的。dx:计算每个变量在运行栈中相对本计算每个变量在运行栈中相对本过程过程基地址基地址的偏移的偏移量量，放在放在table表表中的中的adr域，域，生成生成目标代码目标代码时再时再放放在在codecode中的中的a域域。下标指针下标指针cx，tx和和变量变量dx的作用的作用code cx tabletx s t(运行栈运行栈)cx tx t(运行时栈指运行时栈指针针)(0)jmp 0 0(1)int 0 7 .(cx).(0)name adr.(1)b (dx).(tx)q p mbTable
49、表的表的下标指针下标指针tx补充说明：补充说明：主程序主程序BLOCK第第1次次调用调用blockBLOCK（0，0，）0 0 .BLOCK BLOCK（LEV+1,TX，）(递归递归进入进入分程序分程序)LEVtxLEVtx（6）6 （9）1 tx是是BLOCK的的实际实际值参值参 procedure procedure gengen(x x:fctfct;y y,z z:integer);:integer);beginbegin if if cxcx cxmaxcxmax then then（*指针越界指针越界*）beginbegin write(write(program too lon
50、gprogram too long););close(fin);close(fin);（*关闭文件关闭文件*）writelnwriteln;exit exit end;end;with codewith codecxcx do do beginbegin f f:=:=x x;（*表示表示codecodecxcx.f f:=:=x x;*);*)l l:=:=y y;（*表示表示codecodecxcx.l l:=:=y y;*);*)a a:=:=z z;（*表示表示codecodecxcx.a a:=:=z z;*);*)end;end;cxcx:=cx+1:=cx+1end(*end(*