编译原理课程设计报告--PL0编译器的扩充.doc

课 程 设 计 课程名称 编译原理 题目名称 PL/0编译器的扩充 学生学院 计算机学院 专业班级 计算机科学与技术12(4) 2014 年 12 月 28日 实验目的与要求 基本内容（成绩范围：“中”、“及格”或“不及格”） （1）扩充赋值运算：*= 和 /= （2）扩充语句（Pascal的FOR语句）: FOR 变量:=表达式STEP表达式 UNTIL表达式Do语句 选做内容（成绩评定范围扩大到：“优”和“良”） （1）增加类型：① 字符类型； ② 实数类型。 （2）增加 注释; 注释由/*和*/包含； （3）扩充函数：① 有返回值和返回语句；② 有参数函数。 （4）增加一维数组类型（可增加指令）。 （5）其他典型语言设施。 实验环境与工具 1、源语言：PL/0语言，PL/0语言是PASCAL语言的子集，它的编译程序是一个编译解析执行系统，后缀名为.PL0； 2、目标语言：生成文件后缀为*.COD的目标代码 3、实现平台：Borland C++Builder 6 4、运行平台：Windows 8.1 设计概述 结构设计说明 （1）PL/0编译系统的结构框架 出 出 错 处 理 函 数 表 格 管 理 函 数 PL/0 源程序 目标代码生成程序程序 目标代码生成程序程序 目标代码生成程序程序 目标代码生成程序程序 目标代码生成程序程序 源语言：源语言是基于C语言写的PL/0编译程序——PL0语言（可 以看成 Pascal语言的子集） 目标语言：假想的栈式计算机计算语言，即类ＰＣＯＤＥ指令代码。 指令格式如下： ｆ ｌ ａ 其中f代表功能码，l表示层次差，a的含意对不同的指令有所区别。 具体的指令功能表： LIT 0 a 将常数值取到栈顶，a为常数值 LOD l a 将变量值取到栈顶，a为偏移量，l为层差 STO l a 将栈顶内容送入某变量单元中，a为偏移量，l为层差 CAL l a 调用过程，a为过程地址，l为层差 INT 0 a 在运行栈中为被调用的过程开辟a个单元的数据区 JMP 0 a 无条件跳转至a地址 JPC 0 a 条件跳转，当栈顶布尔值非真则跳转至a地址，否则顺序执行 OPR 0 0 过程调用结束后,返回调用点并退栈 OPR 0 1 栈顶元素取反 OPR 0 2 次栈顶与栈顶相加，退两个栈元素，结果值进栈 OPR 0 3 次栈顶减去栈顶，退两个栈元素，结果值进栈 OPR 0 4 次栈顶乘以栈顶，退两个栈元素，结果值进栈 OPR 0 5 次栈顶除以栈顶，退两个栈元素，结果值进栈 OPR 0 6 栈顶元素的奇偶判断，结果值在栈顶 OPR 0 7 OPR 0 8 次栈顶与栈顶是否相等，退两个栈元素，结果值进栈 OPR 0 9 次栈顶与栈顶是否不等，退两个栈元素，结果值进栈 OPR 0 10 次栈顶是否小于栈顶，退两个栈元素，结果值进栈 OPR 0 11 次栈顶是否大于等于栈顶，退两个栈元素，结果值进栈 OPR 0 12 次栈顶是否大于栈顶，退两个栈元素，结果值进栈 OPR 0 13 次栈顶是否小于等于栈顶，退两个栈元素，结果值进栈 OPR 0 14 栈顶值输出至屏幕 OPR 0 15 屏幕输出换行 OPR 0 16 从命令行读入一个输入置于栈顶 设计分析 扩充赋值运算：*= 和 /= 需要增加2个运算符*= 和 /=，用下面表格定义的SYM代替 运算符 *= /= SYM表示 TIMESBECOMES SLASHBECOMES *= 和 /=的语法描述图： 扩充语句（Pascal的FOR语句） 因为在Pascal中的FOR语句描述为： FOR 变量:=表达式 STEP 表达式 UNTIL 表达式 DO 语句 所以增加FOR，STEP，UNTIL，DO FOR语句语法描述图为： 程序设计 增加所需要的保留字和运算符，实现*=和/=，以及FOR语句，应该增加TIMESBECOMES，SLASHBECOMES，FOR，STEP，UNTIL，DO。 注：因为要求课设和之前实验的内容合并在一起，所以保留了课程实验已经添加的保留字和运算符，之前的已经添加了的不再赘述。 具体实现的语句如下所示： typedef enum {NUL, IDENT, NUMBER, PLUS, MINUS, TIMES, SLASH, ODDSYM, EQL, NEQ, LSS, LEQ, GTR, GEQ, LPAREN, RPAREN, COMMA, SEMICOLON, PERIOD, BECOMES, BEGINSYM, ENDSYM, IFSYM, THENSYM,