1、 课课 程程 设设 计计 课程名称 编译原理 题目名称 PL/0 编译器的扩充 学生学院 计算机学院 专业班级 计算机科学与技术 12(4) 2014 年 12 月 28 日 一、一、 实验目的与要求实验目的与要求 基本内容（成绩范围： “中” 、 “及格”或“不及格” ） （1）扩充赋值运算：*= 和 /= （2）扩充语句（Pascal 的 FOR 语句）: FOR :=STEP UNTILDo 选做内容（成绩评定范围扩大到： “优”和“良” ） （1）增加类型： 字符类型； 实数类型。 （2）增加 注释; 注释由/*和*/包含； （3）扩充函数： 有返回值和返回语句； 有参数函数。 （4）
2、增加一维数组类型（可增加指令） 。 （5）其他典型语言设施。 二、二、 实验环境与工具实验环境与工具 1、源语言：PL/0 语言，PL/0 语言是 PASCAL 语言的子集，它的编译程序是一个编译解 析执行系统，后缀名为.PL0； 2、目标语言：生成文件后缀为*.COD 的目标代码 3、实现平台：Borland C+Builder 6 4、运行平台：Windows 8.1 三、三、 设计概述设计概述 1、 结构设计说明 （1）PL/0 编译系统的结构框架 出 错 处 理 函 数 表 格 管 理 函 数 PL/0 源程 目标代码生成 目标代码生成 目标代码生成 目标代码生成 目标代码生成 源语言
3、：源语言：源语言是基于 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 个单元的数据区 JM
4、P 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 次栈顶与栈顶是否不等，退两个
5、栈元素，结果值进栈 OPR 0 10 次栈顶是否小于栈顶，退两个栈元素，结果值进栈 OPR 0 11 次栈顶是否大于等于栈顶，退两个栈元素，结果值进栈 OPR 0 12 次栈顶是否大于栈顶，退两个栈元素，结果值进栈 OPR 0 13 次栈顶是否小于等于栈顶，退两个栈元素，结果值进栈 OPR 0 14 栈顶值输出至屏幕 OPR 0 15 屏幕输出换行 OPR 0 16 从命令行读入一个输入置于栈顶 四、四、 设计分析设计分析 (一) 扩充赋值运算：扩充赋值运算：*= 和和 /= 需要增加 2 个运算符*= 和 /=，用下面表格定义的 SYM 代替 运算符 *= /= SYM 表示 TIMESBE
6、COMES SLASHBECOMES *= 和和 /=的的语法描述图语法描述图： (二) 扩充语句（Pascal 的 FOR 语句） 因为在Pascal中的 FOR 语句描述为： FOR := STEP UNTIL DO 所以增加 FOR，STEP，UNTIL，DO FOR 语句语句语法描述图为：语法描述图为： 五、五、 程序设计程序设计 1) 增加所需要的保留字和运算符，实现*=和/=，以及 FOR 语句，应该增加 TIMESBECOMES，SLASHBECOMES，FOR，STEP，UNTIL，DO。 注：因为要求课设和之前实验的内容合并在一起，所以保留了课程实验已经添加的保注：因为要求课设和之前实验的内容合并在一起，所以保留了课程实验已经添加的保 留字和运算符，之前的已经添加了的不再赘述。留字和运算符，之前的已经添加了的不再赘述。 具具体实现的语句如下所示：体实现的语句如下所示： typedef enum NUL, IDENT, NUMBER, PLUS, MINUS, T
