资源描述：
《编译原理实验报告(PL0语言功能扩充).doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、《编译原理》课程实验报告题目PL/0编译程序的C语言扩充专业化学工程与工艺班级学号姓名任课教师华东理工大学信息学院一．实验题目PL/0编译程序的C语言扩充二．实验目的在分析理解PL/0编译程序的基础上，对其词法分析程序、语法分析程序和语义处理程序进行部分修改扩充。三．实验内容在PL/0语言的基础上增加对整型一维数组的支持、扩充IF-THEN-ELSE条件语句、增加REPEAT语句、支持带参数的过程和增加注释等，如下所示：(1)整型一维数组，数组的定义格式为：VAR<数组标识名>(<下界>:<上界>)其中上界和下界可以是
2、整数或者常量标识名。访问数组元素的时候，数组下表是整型的表达式，包括整数、常量或者变量和他们的组合。(2)扩充条件语句，格式为：<条件语句> ::= EF<条件>THEN<语句>[ELSE<语句>](3)增加REPEAT语句，格式为：<复合语句> ::= REPEAT<语句>UNTL<条件>四．实验过程（1）PL/0编译程序的C语言源代码输入（2）运行PL/0编译程序的C语言源代码，调试运行PL/0编译程序（3）对PL/0编译程序进行功能扩充（4）PL/0编译程序功能扩充部分的分析与设计（5）对PL/0编译程序进行功能
3、扩充，即编写代码（6）进行PL/0编译程序功能扩充部分的运行调试（7）完成实验报告总结五．PL/0编译程序的功能扩充程序说明（1）扩充赋值运算:+=,-=.此功能扩充只需在语句分析里面进行增加如下程序：if(SYM==BECOMES
4、
5、SYM==PLUSBECOMES
6、
7、SYM==MINUSBECOMES){if(SYM==BECOMES){GetSym();EXPRESSION(FSYS,LEV,TX);}elseif(SYM==PLUSBECOMES
8、
9、SYM==MINUSBECOMES){GEN(LOD,LEV-
10、TABLE[i].vp.LEVEL,TABLE[i].vp.ADR);if(SYM==PLUSBECOMES){GetSym();FACTOR(FSYS,LEV,TX);GEN(OPR,0,2);}elseif(SYM==MINUSBECOMES){GetSym();FACTOR(FSYS,LEV,TX);GEN(OPR,0,3);}}if(i!=0)GEN(STO,LEV-TABLE[i].vp.LEVEL,TABLE[i].vp.ADR);}（2）扩充FORTO和FORDOWNTO语句,此功能的关键是如何判断条件是
11、否成立,并如何进行程序跳转.在这里用到了几条指令,和地址回填技术.扩充程序如下:caseFORSYM:GetSym();if(SYM!=IDENT)Error(31);//FOR后面要标识符i=POSITION(ID,TX);if(i==0)Error(11);elseif(TABLE[i].KIND!=VARIABLE){/*ASSIGNMENTTONON-VARIABLE*/Error(12);//变量}GetSym();if(SYM!=BECOMES)Error(13);GetSym();EXPRESSION(S
12、ymSetUnion(SymSetNew(TOSYM,DOWNTOSYM,DOSYM),FSYS),LEV,TX);//表达式if(SYM==DOWNTOSYM)CX1=CX;GetSym();GEN(STO,LEV-TABLE[i].vp.LEVEL,TABLE[i].vp.ADR);//保存结果至变量单元GEN(LOD,LEV-TABLE[i].vp.LEVEL,TABLE[i].vp.ADR);//重新调入栈顶EXPRESSION(SymSetAdd(DOSYM,FSYS),LEV,TX);//表达式GEN(OP
13、R,0,11);//判断运算CX2=CX;GEN(JPC,0,0);//如果栈顶非真跳转GEN(LOD,LEV-TABLE[i].vp.LEVEL,TABLE[i].vp.ADR);///重新调入栈顶GEN(LIT,0,1);//送1到栈顶GEN(OPR,0,3);//减运算if(SYM==DOSYM){GetSym();STATEMENT(FSYS,LEV,TX);}GEN(JMP,0,CX1);CODE[CX2].A=CX;}elseif(SYM==TOSYM){CX1=CX;GetSym();GEN(STO,LE
14、V-TABLE[i].vp.LEVEL,TABLE[i].vp.ADR);//保存结果至变量单元GEN(LOD,LEV-TABLE[i].vp.LEVEL,TABLE[i].vp.ADR);/重新调入栈顶EXPRESSION(SymSetAdd(DOSYM,FSYS),LEV,TX);//表达式分析GEN(OPR,0,13);//
