编译课设.doc

燕山大学 编译原理课程设计 PL/0编译程序的改进与完善 学 院 信息科学与工程学院 年级专业 计算机软件3班 学生姓名 学 号 指导教师 提交日期 2010-7-16 一、实验目的 加强对编译程序的整体认识和了解，巩固《编译原理》课程所学知识。通过本次课程设计掌握编译程序调试技巧和设计编译程序一般的原则，加深对词法分析、语法分析、语义分析等编译阶段及实用编译系统的认识。使学生能将编译理论与实际应用结合起来，提高学生软件开发的能力。 二、实验内容 1）仔细阅读PL/0编译程序文本，并上机调试通过。 2）对PL/0语言进行下列扩充 （1）扩充条件语句的功能使其为： IF条件THEN语句ELSE语句] （2）增加repeat重复语句（DOWHILE）： REPEAT语句{;语句}UNTIL条件 （3）增加了运算：++、--、+=、-=。 三、实验原理 PL/0语言可以看成PASCAL语言的子集，它的编译程序是一个编译解释执行系统。PL/0的目标程序为假象栈式计算机的汇编语言，与具体计算机无关。 PL/0的编译程序和目标程序的解释执行程序都是用C语言书写的。其编译过程采用一趟扫描方式，以语法分析程序为核心，词法分析和代码生成程序都作为一个独立的过程，当语法分析需要读单词时就调用词法分析程序，而当语法分析正确需要生成相应的目标代码时，则调用代码生成程序。 用表格管理程序建立变量、常量和过程表示符的说明与引用之间的信息联系。 当源程序编译正确时，PL/0编译程序自动调用解释执行程序，对目标代码进行解释执行，并按用户程序的要求输入数据和输出运行结果。 四、实验分析 PL/0语言编译程序采用以语法分析为核心、一遍扫描的编译方法。词法分析和代码生成作为独立的子程序供语法分析程序调用。语法分析的同时，提供了出错报告的功能。在源程序没有错误编译通过的情况下，调用类CODE解释程序解释执行生成的类CODE代码。 词法分析子程序分析： 词法分析子程序名为getsym，功能是从源程序中读出一个单词符号，把它的信息放入全局变量sym、id和num中，字符变量放入ch中，语法分析器需要单词时，直接从这三个变量中获得。Getch过程通过反复调用getch子过程从源程序中获取字符，并把它们拼成单词。Getch过程中使用了行缓冲区技术以提高程序运行效率。 词法分析器的分析过程：调用getsym时，它通过getch过程从源程序中获得一个字符。如果这个字符时字母，则继续获取字符或数字，最终可以拼成一个单词，查保留字表，如果查到为保留字，则把sym变量赋成相应的保留字类型值：如果没有查到，则这个单词应是一个用户自定义的标识符（可能是变量名、常量名或是过程的名字），把sym置为ident，把这个单词存入id变量。查保留字表时使用了二分法查找以提高效率。如果getch获得的字符是数字，则继续用getch获取数字，并把它们拼成一个整数，并把拼成的数值放入num变量。如果识别出其它合法的符号（比如：赋值号、大于号、小于等于号等），则把sym置成相应的类型。如果遇到不合法的字符，把sym置成相应的类型。如果遇到不合法的字符，把sym置成nul。 语法分析子程序的分析： 语法分析子程序采用了自顶向下的递归子程序法，语法分析同时也根据程序的语义生成相应的三元代码，并提供了出错处理的机制。语法分析主要由分程序分析过程（block）、常量声明处理过程（constdeclaration）、变量声明处理(vardeclaration)、语句处理过程(statement)、表达式处理过程(expression)、项处理过程(term)、因子处理过程(factor)和条件处理过程(condition)构成。这些过程在结构上构成一个嵌套的层次结构。除此之外，还有出错报告过程(error)、生成虚拟机代码过程(gen)、测试单词合法性过程(test)、登录名字表过程(enter)、查询名字表函数(position)以及列出类code代码过程(listcode)这些过程作为语法分析的辅助过程。 下面按各语法单元分析PL/0编译程序的运行机制 分程序处理过程： 语法分析开始后，首先调用分程序处理过程（bock）处理分程序。过程入口参数置为：0层、符号表位置0、出错恢复单词集合为句号、声明符或语句开始符。进入block过程后，首先把局部数据段分配指针设为3，准备分配3个单元供运行期存放静态链SL、动态链DL 和返回地址RA。然后用tx0记录下当前符号表位置并产生