实验报告
课程名称：编译原理 实验名称：实验三 扩展功能的PL/0编译程序
班级： 姓名： 学号：
一．实验目的
在分析理解PL/0编译程序的基础上，对其词法分析程序、语法分析程序和语义处理程序进行部分修改扩充。
二．实验内容
在PL/0语言的基础上增加对整型一维数组的支持、扩充IF-THEN-ELSE条件语句、增加REPEAT语句、支持带参数的过程和增加注释等，如下所示：
（1）整型一维数组，数组的定义格式为： VAR<数组标识名>(<下界>:<上界>)
其中上界和下界可以是整数或者常量标识名。
访问数组元素的时候，数组下表是整型的表达式，包括整数、常量或者变量和他们的组合。
(2)扩充条件语句，格式为：
<条件语句> ::= IF<条件>THEN<语句> [ELSE<语句>]
(3)增加REPEAT语句，格式为：
<复合语句> ::= REPEAT<语句>UNTL<条件>
三．实验过程
运行步骤：
把pl0.c和pl0.h两个文件放在同一目录下，直接用Visual C++ 6.0(sp6)打开便可运行
然后运行后输入PL/0源程序文件名，回答是否输出虚拟机代码，回答是否输出名字表，输入完成以后可以看到结果，若豁达是要输出虚拟机代码和名字表且程序无错误，则输出相应的机器代码和目标代码。
（1）PL/0编译程序的C语言源代码输入
（2）运行PL/0编译程序的C语言源代码，调试运行PL/0编译程序 （3）对PL/0编译程序进行功能扩充
（4）PL/0编译程序功能扩充部分的分析与设计 （5）对PL/0编译程序进行功能扩充，即编写代码 （6）进行PL/0编译程序功能扩充部分的运行调试 （7）完成实验报告总结
四．PL/0编译程序的功能扩充程序说明
（1）扩充赋值运算:+=,-=.此功能扩充只需在语句分析里面进行增加如下程序：
if(SYM==BECOMES||SYM==PLUSBECOMES||SYM==MINUSBECOMES){ if (SYM==BECOMES)
{
GetSym();
EXPRESSION(FSYS,LEV,TX); } else
if(SYM==PLUSBECOMES||SYM==MINUSBECOMES) {
GEN(LOD,LEV-TABLE[i].vp.LEVEL,TABLE[i].vp.ADR); if(SYM==PLUSBECOMES){ GetSym();
FACTOR(FSYS,LEV,TX); GEN(OPR,0,2); } else
if(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）扩充FOR TO和FOR DOWNTO语句,此功能的关键是如何判断条件是否成立,并如何进行程序跳转.在这里用到了几条指令,和地址回填技术.扩充程序如下:
case FORSYM:
GetSym();
if(SYM!=IDENT)Error(31); //FOR后面要标识符 i=POSITION(ID,TX); if (i==0) Error(11); else
if (TABLE[i].KIND!=VARIABLE) { /*ASSIGNMENT TO NON-VARIABLE*/ Error(12); //变量 }
GetSym();
if(SYM!=BECOMES)
Error(13); GetSym();
EXPRESSION(SymSetUnion(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(OPR,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; }
else if(SYM==TOSYM) {
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(OPR,0,13);//判断运算 CX2=CX;
GEN(JPC,0,0);//如果栈顶非真跳转
GEN(LOD,LEV-TABLE[i].vp.LEVEL,TABLE[i].vp.ADR); GEN(LIT,0,1); GEN(OPR,0,2); if(SYM==DOSYM){ GetSym();
STATEMENT(FSYS,LEV,TX);
}
GEN(JMP,0,CX1);
CODE[CX2].A=CX;//回填地址 }
else Error(35);
break;
(3) 增加条件语句的ELSE子
ELSE语句的语法语义分析程序：
case IFSYM:
GetSym();
CONDITION(SymSetUnion(SymSetNew(THENSYM,DOSYM),FSYS),LEV,TX); if (SYM==THENSYM) GetSym(); else Error(16);
CX1=CX; GEN(JPC,0,0); STATEMENT(FSYS,LEV,TX);
CX2=CX; GEN(JMP,0,CX+1); CODE[CX1].A=CX;
if (SYM==SEMICOLON) GetSym(); if(SYM==ELSESYM) {
GetSym();
STATEMENT(FSYS,LEV,TX); CODE[CX2].A=CX;
} //add the statement of ELSE else STATEMENT(FSYS,LEV,TX); break;
（4）修改单词：不等号# 改为 <>
if (CH=='<') {
GetCh();
if (CH=='=') { SYM=LEQ; GetCh(); } else
if(CH=='>') { SYM=NEQ; GetCh(); } else SYM=LSS; 四、实验结果