编译原理课程设计PL0编辑器扩充

1、编译原理课程设计题 目 _PL0编辑器扩充_学 院 计算机学院 专 业 软件工程年级班别 10级4班学 号 3110006379学生姓名 陈泳鑫指导教师 杨劲涛 答辩程序设计报告撰写平时总成绩2013 年 1 月 4 日一 课程设计目的与要求1、课程设计目的：在分析理解一个教学型编译程序（如PL/0）的基础上，对其词法分析程序、语法分析程序和语义处理程序进行部分修改扩充。达到进一步了解程序编译过程的基本原理和基本实现方法的目的。2、课程设计要求：基本内容（成绩范围：“中”、“及格”或“不及格”）（1）扩充赋值运算：*= 和 /=扩充语句（Pascal的FOR语句）:FOR <变量>

2、:=<表达式> TO <表达式> DO <语句>FOR <变量>:=<表达式> DOWNTO <表达式> DO <语句> 其中，语句的循环变量的步长为2，语句的循环变量的步长为-2。（3）增加运算：+ 和 -。选做内容（成绩评定范围扩大到：“优”和“良”）（1）增加类型： 字符类型； 实数类型。（2）扩充函数： 有返回值和返回语句； 有参数函数。（3）增加一维数组类型（可增加指令）。（4）其他典型语言设施。二、结构设计方案1、 结构设计说明：PL/0的编译程序以语法分析程序为核心，词法分析程序和代码生成程序都作

3、为一个独立的过程，当语法分析需要读单词时就用词法分析程序，而当语法分析正确需生成相应的目标代码时，则调用代码生成程序。此外，用表格管理程序建立变量，常量和过程标识符的说明与引用之间的信息联系。用出错处理程序对词法和语法分析遇到的错误给出在源程序中出错的位置和错误性质。2、 各功能模块图示：3. 各功能模块作用表：1PL0主程序2Error出错处理，打印出错位置和错误编码 3GetCh漏掉空格，读取一个字符 4GetSym词法分析，读取一个单词 5Gen生成目标代码，并送入目标程序区 6TEST测试当前单词符号是否合法 7ENTER登录名字表 8POSITION查找标识符在名字表中的位置 9Co

4、nstDeclaration常量定义处理10VarDeclaration变量说明处理11ListCode列出目标代码清单12FACTOR因子处理13TERM项处理14EXPRESSION表达式处理15CONDITION条件处理16STATEMENT语句部分处理17Block分程序分析处理过程18BASE通过静态链求出数据区的基地址19Interpret对目标代码的解释执行程序3. 符号名字表结构：struct tablestruct char nameal; /*名字*/ enum object kind; /*类型：const，var，array or procedure*/ int val

5、; /*数值，仅const使用*/ int level; /*所处层，仅const不使用*/ int adr; /*地址，仅const不使用*/ int size; /*需要分配的数据区空间，仅procedure使用*/;4. 保留关键字枚举结构：enum symbolnul,ident,number,plus,minus,times,slash,oddsym,eql,neq,lss,leq,gtr,geq,lparen,rparen,comma,semicolon,period,becomes,beginsym,endsym,ifsym,thensym,whilesym,writesym,r

6、eadsym,dosym,callsym,constsym,varsym,procsym, elsesym, forsym, tosym,downtosym, returnsym, pluseql, minuseql, plusplus,minusminus, ;5.名字表中标识符枚举类型：enum object constant,/*常量*/ variable,/*变量*/ procedur,/*过程*/;6. 运行时存储组织和管理对于源程序的每一个过程（包括主程序），在被调用时，首先在数据段中开辟三个空间，存放静态链SL、动态链DL和返回地址RA。静态链记录了定义该过程的直接外过程（或主程

7、序）运行时最新数据段的基地址。动态链记录调用该过程前正在运行的过程的数据段基址。返回地址记录了调用该过程时程序运行的断点位置。对于主程序来说，SL、DL和RA的值均置为0。静态链的功能是在一个子过程要引用它的直接或间接父过程（这里的父过程是按定义过程时的嵌套情况来定的，而不是按执行时的调用顺序定的）的变量时，可以通过静态链，跳过个数为层差的数据段，找到包含要引用的变量所在的数据段基址，然后通过偏移地址访问它。在过程返回时，解释程序通过返回地址恢复指令指针的值到调用前的地址，通过当前段基址恢复数据段分配指针，通过动态链恢复局部段基址指针。实现子过程的返回。对于主程序来说，解释程序会遇到返回地址为

8、0的情况，这时就认为程序运行结束。解释程序过程中的base函数的功能，就是用于沿着静态链，向前查找相差指定层数的局部数据段基址。这在使用sto、lod、stoArr、lodArr等访问局部变量的指令中会经常用到。类PCODE代码解释执行的部分通过循环和简单的case判断不同的指令，做出相应的动作。当遇到主程序中的返回指令时，指令指针会指到0位置，把这样一个条件作为终至循环的条件，保证程序运行可以正常的结束。7. 扩充赋值运算：+= 和 -= 设计：对于+=、-=、*=和/=赋值运算符，在程序中出现的情况只有如下一种，文法的EBNF 表示为：赋值语句:= <标识符> += | -=

9、<表达式>（1）扩充的语法描述见结构设计中的 PL/0 分程序和主要语句的语法描述中的描述图；（2）分析区别赋值运算符采用：读标识符后再读一个字符，后根据读到的字符转去不同的赋值语句执行。（3）中间代码生成情况：+=运算符，其他赋值运算符架构是一样的，只是执行加法改为相应的算数运算。读到+=运算符单词求+=运算符后的表达式expressiondo(nxtlev,ptx,lev);取+=左部的标识符的值到栈顶gendo(lod,lev-tablei.level,tablei.adr);执行加法gendo(opr,lev-tablei.level,2);保存赋值后的结果gendo(st

10、o,lev-tablei.level,tablei.adr);else if(sym=pluseql)/检测到+符号i=position(id,*ptx); /把类x+=3的x的地址取出来gendo(lod,lev-tablei.level,tablei.adr); /*找到变量地址并将其值入栈*/getsymdo;if(sym=semicolon)getsymdo;memcpy(nxtlev,fsys,sizeof(bool)* symnum);expressiondo(nxtlev,ptx,lev);gendo(opr,0,2);if(i!=0)gendo(sto,lev-tablei.l

11、evel,tablei.adr);else if(sym=minuseql)/检测到-符号i=position(id,*ptx); /把类x-=3的x的地址取出来gendo(lod,lev-tablei.level,tablei.adr); /*找到变量地址并将其值入栈*/getsymdo;if(sym=semicolon)getsymdo;memcpy(nxtlev,fsys,sizeof(bool)* symnum);expressiondo(nxtlev,ptx,lev);gendo(opr,0,3);if(i!=0)gendo(sto,lev-tablei.level,tablei.a

12、dr); 8.扩充语句（Pascal的FOR语句）:FOR <变量>:=<表达式> TO <表达式> DO <语句>FOR <变量>:=<表达式> DOWNTO <表达式> DO <语句> 其中，语句的循环变量的步长为2，语句的循环变量的步长为-2For i:= E1 to E2 do S1 循环语句ALGOL等价于： i:= E1; goto OVER;AGAIN ：i:= i+2OVER ： if i<E2 then Begin S1;goto again end;注意程序中基础用到循环控

13、制变量i，因此 entry（i）必须被保存下来，而Pascal这样的语言中，循环变量在循环外也是可见的，本次扩充约定循环步长为 2或者-2。具体需要在程序staement（）添加for的句法判断：else if(sym=forsym) /检测到for语句getsymdo;if(sym=ident)i=position(id,*ptx);if(i=0) error(11);elseif(tablei.kind!=variable) /赋值语句中，赋值号左部标识符属性应是变量error(12);i=0;elsegetsymdo;if(sym!=becomes) error(13); /赋值语句左部

14、标识符后应是赋值号:=else getsymdo;memcpy(nxtlev,fsys,sizeof(bool)*symnum); nxtlevtosym=true; /后跟符to和downtonxtlevdowntosym=true;expressiondo(nxtlev,ptx,lev); /处理赋值语句右部的表达式E1gendo(sto,lev-tablei.level,tablei.adr); /保存初值switch(sym)case tosym: /步长为的向上增加getsymdo;cx1=cx; /保存循环开始点/将循环判断变量取出放到栈顶gendo(lod,lev-tablei.

15、level,tablei.adr);memcpy(nxtlev,fsys,sizeof(bool)*symnum); /处理表达式E2nxtlevdosym=true; /后跟符doexpressiondo(nxtlev,ptx,lev);gendo(opr,0,13); /生成比较指令，i是否小于等于E2的值cx2=cx; /保存循环结束点/生成条件跳转指令，跳出循环，跳出的地址未知gendo(jpc,0,0);if(sym=dosym) /处理循环体Sgetsymdo;statement(fsys,ptx,lev); /循环体处理/增加循环变量步长为/将循环变量取出放在栈顶gendo(lo

16、d,lev-tablei.level,tablei.adr);gendo(lit,0,1); /将步长取到栈顶gendo(opr,0,2); /循环变量加步长/将栈顶的值存入循环变量gendo(sto,lev-tablei.level,tablei.adr); gendo(jmp,0,cx1); /无条件跳转到循环开始点codecx2.a=cx;elseerror(29); /for语句中少了dobreak;case downtosym: /步长为的向下减少getsymdo;cx1=cx; /保存循环开始点/将循环判断变量取出放到栈顶gendo(lod,lev-tablei.level,tab

17、lei.adr);memcpy(nxtlev,fsys,sizeof(bool)*symnum); /处理表达式E2nxtlevdosym=true; /后跟符doexpressiondo(nxtlev,ptx,lev);gendo(opr,0,11); /生成比较指令，i是否大于等于E2的值cx2=cx; /保存循环结束点/生成条件跳转指令，跳出循环，跳出的地址未知gendo(jpc,0,0); if(sym=dosym) /处理循环体Sgetsymdo;statement(fsys,ptx,lev); /循环体处理 /增加循环变量步长为/将循环变量取出放在栈顶gendo(lod,lev-t

18、ablei.level,tablei.adr);gendo(lit,0,1); /将步长取到栈顶gendo(opr,0,3); /循环变量加步长/将栈顶的值存入循环变量gendo(sto,lev-tablei.level,tablei.adr);gendo(jmp,0,cx1); /无条件跳转到循环开始点codecx2.a=cx;else error(29);/for语句中少了dobreak;else error(19); /for语句后跟赋值语句，赋值语句左部是变量，缺少变量11. 增加运算：+ 和 - ：对于+和-运算符，扩充时要注意存在+,-有两个情况：1、作为语句的时候；2、作为表达式

19、中的因子的时候.(1) 作为语句的时候，有四种情况:A+ +A A- -A文法的 EBNF 表示形式为：<自增自减语句>:=<标识符> + | - | + | - <标识符>(2) 作为因子的时候，有两种情况a+和 a-作为因子，比如：b:=a+*a-;语句+a 和-a 作为因子，比如：b:= -a+2*+a;语句文法的 EBNF 表示形式为：<表达式>:=. + | - <标识符>|<标识符> + | - .其中的.表示前后都可以有其他的项或因子(1)作为语句 + - 符号分为以下两种情况考虑:情况1对于自增自减符号置后

20、的只需要在判断+= -=后面添加句法分析即可：/*后置自增符号 a+ a-类型添加代码*/else if(sym=plusplus)/检测到后置+符号gendo(lit,0,1);gendo(lod,lev-tablei.level,tablei.adr); /*找到变量地址并将其值入栈*/gendo(opr,0,2); /执行加操作，if(i!=0) gendo(sto,lev-tablei.level,tablei.adr);getsymdo;else if(sym=minusminus)/检测到后置-符号gendo(lod,lev-tablei.level,tablei.adr); /*

21、找到变量地址并将其值入栈*/gendo(lit,0,1);gendo(opr,0,3); /执行减操作，if(i!=0) gendo(sto,lev-tablei.level,tablei.adr);getsymdo;情况2对于+ -前置的需要添加因子开始符号：facbegsysplusplus=true; /*增加符号+开始因子plusplus*/facbegsysminusminus=true; /*增加符号-开始因子minusminus*/*前置自增符号 +a - -a类型添加代码*/if(sym=plusplus)getsymdo;if(sym=ident) /后面跟的是变量i=pos

22、ition(id,*ptx);if(i=0)error(11);elseif(tablei.kind!=variable) /+后没跟变量，出错error(12);i=0;else /+后跟变量，处理生成中间代码if(tablei.kind=variable)gendo(lod,lev-tablei.level,tablei.adr);/先取值到栈顶gendo(lit,0,1); /将值为入栈gendo(opr,0,2); /加法，即+1，栈顶加次栈顶gendo(sto,lev-tablei.level,tablei.adr);/出栈取值到内存getsymdo;else if(sym=minu

23、sminus)getsymdo;if(sym=ident) /后面跟的是变量i=position(id,*ptx);if(i=0)error(11);elseif(tablei.kind!=variable) /-后没跟变量，出错error(12);i=0;else /-后跟变量，处理生成中间代码if(tablei.kind=variable) /后跟变量gendo(lod,lev-tablei.level,tablei.adr);/先取值到栈顶gendo(lit,0,1); /将值为入栈gendo(opr,0,3); /加法，即-1，栈顶减次栈顶gendo(sto,lev-tablei.le

24、vel,tablei.adr);/出栈取值到内存getsymdo;（2）作为因子的时候也有两种情形考虑： 添加int factor(bool*fsys,int *ptx,int lev)函数如下：/*如果因子可能出现b:=a+或b:=a-类型的处理*/if(sym=plusplus)gendo(lit,lev-tablei.level,1); /将值为入栈gendo(opr,lev-tablei.level,2); /加法，即+1，栈顶加次栈顶gendo(sto,lev-tablei.level,tablei.adr); /出栈取值到内存gendo(lod,lev-tablei.level,t

25、ablei.adr); /取值到栈顶gendo(lit,0,1);gendo(opr,0,3); /栈顶值减getsymdo;else if(sym=minusminus)gendo(lit,lev-tablei.level,1); /将值为入栈gendo(opr,lev-tablei.level,3); /减法，即-1，栈顶减次栈顶gendo(sto,lev-tablei.level,tablei.adr); /出栈取值到内存gendo(lod,lev-tablei.level,tablei.adr);gendo(lit,0,1);gendo(opr,0,2); /栈顶值加getsymdo;

26、/*/*如果因子是表达式的时候,则有可能是包含+a或者-a，如b:=+a或b:=-a */ else if(sym=plusplus)getsymdo;if(sym=ident)getsymdo;i=position(id,*ptx);if(i=0)error(11);elseif(tablei.kind=variable) /变量 /先加后再用agendo(lod,lev-tablei.level,tablei.adr);/先取值到栈顶gendo(lit,0,1);/将值为入栈gendo(opr,0,2);/加法，即+1，栈顶加次栈顶gendo(sto,lev-tablei.level,ta

27、blei.adr);/出栈取值到内存gendo(lod,lev-tablei.level,tablei.adr); /取值到栈顶else if(sym=minusminus)getsymdo;if(sym=ident)getsymdo;i=position(id,*ptx);if(i=0)error(11);elseif(tablei.kind=variable) /变量 /先减后再用agendo(lod,lev-tablei.level,tablei.adr);/先取值到栈顶gendo(lit,0,1); /将值为入栈gendo(opr,0,3); /减法，即-1，栈顶减次栈顶gendo(sto,lev-tablei.level,tablei.adr);/出栈取值到内存gendo(lod,lev-tablei.level,tablei.adr); /取值到栈顶testdo(fsys,facbegsys,23); /*因子后有非法符号*/四. 程序测试1. 扩充赋值运算：*= 和 /=测试文件 “test1”： 运行结果：结果分析： a = 5 ，b = 48 , a*=3 结果为15正确，b/=6结果为8正确，扩充成功！2. 扩充语句（Pascal的FOR语句）:测试