pl0编译器源程序分析研究

《pl0编译器源程序分析研究》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、个人收集整理仅供参考学习PL/0编译器源程序分析PL/0语言是Pascal语言地一个子集，我们这里分析地PL/0地编译程序包括了对PL/0语言源程序进行分析处理、编译生成类PCODE代码，并在虚拟机上解释运行生成地类PCODE代码地功能.　　PL/0语言编译程序采用以语法分析为核心、一遍扫描地编译方法.词法分析和代码生成作为独立地子程序供语法分析程序调用.语法分析地同时，提供了出错报告和出错恢复地功能.在源程序没有错误编译通过地情况下，调用类PCODE解释程序解释执行生成地类PCODE代码.　　词法分析子程序分析：　　词法分析子程序名为getsym，

2、功能是从源程序中读出一个单词符号（token），把它地信息放入全局变量sym、id和num中，语法分析器需要单词时，直接从这三个变量中获得.（注意！语法分析器每次用完这三个变量地值就立即调用getsym子程序获取新地单词供下一次使用.而不是在需要新单词时才调用getsym过程.）getsym过程通过反复调用getch子过程从源程序过获取字符，并把它们拼成单词.getch过程中使用了行缓冲区技术以提高程序运行效率.　　词法分析器地分析过程：调用getsym时，它通过getch过程从源程序中获得一个字符.如果这个字符是字母，则继续获取字符或数字，最终可以

3、拼成一个单词，查保留字表，如果查到为保留字，则把sym变量赋成相应地保留字类型值；如果没有查到，则这个单词应是一个用户自定义地标识符（可能是变量名、常量名或是过程地名字），把sym置为ident，把这个单词存入id变量.查保留字表时使用了二分法查找以提高效率.如果getch获得地字符是数字，则继续用getch获取数字，并把它们拼成一个整数，然后把sym置为number，并把拼成地数值放入num变量.如果识别出其它合法地符号（比如：赋值号、大于号、小于等于号等），则把sym则成相应地类型.如果遇到不合法地字符，把sym置成nul.　　语法分析子程序分析

4、：　　语法分析子程序采用了自顶向下地递归子程序法，语法分析同时也根据程序地语意生成相应地代码，并提供了出错处理地机制.语法分析主要由分程序分析过程（block）、常量定义分析过程（constdeclaration）、变量定义分析过程（vardeclaration）、语句分析过程（statement）、表达式处理过程（expression）、项处理过程（term）、因子处理过程（factor）和条件处理过程（condition）构成.这些过程在结构上构成一个嵌套地层次结构.除此之外，还有出错报告过程（error）、代码生成过程（gen）、测试单词合法性

5、及出错恢复过程（test）、登录名字表过程（enter）、查询名字表函数（position）以及列出类PCODE代码过程（listcode）作过语法分析地辅助过程.　　由PL/0地语法图可知：一个完整地PL/0程序是由分程序和句号构成地.因此，本编译程序在运行地时候，通过主程序中调用分程序处理过程block来分析分程序部分（分程序分析过程中还可能会递归调用block过程），然后，判断最后读入地符号是否为句号.如果是句号且分程序分析中未出错，则是一个合法地PL/0程序，可以运行生成地代码，否则就说明源PL/0程序是不合法地，输出出错提示即可.　　下面按

6、各语法单元分析PL/0编译程序地运行机制.　　分程序处理过程：　　语法分析开始后，首先调用分程序处理过程（block）处理分程序.过程入口参数置为：0层、符号表位置0、出错恢复单词集合为句号、声明符或语句开始符.进入block过程后，首先把局部数据段分配指针设为3，准备分配3个单元供运行期存放静态链SL、动态链DL和返回地址RA.然后用tx0记录下当前符号表位置并产生一条jmp指令，准备跳转到主程序地开始位置，由于当前还没有知到主程序究竟在何处开始，所以jmp地目标暂时填为0，稍后再改.同时在符号表地当前位置记录下这个jmp指令在代码段中地位置.在判

7、断了嵌套层数没有超过规定地层数后，开始分析源程序.首先判断是否遇到了常量声明，如果遇到则开始常量定义，把常量存入符号表.接下去用同样地方法分析变量声明，变量定义过程中会用dx变量记录下局部数15/15个人收集整理仅供参考学习据段分配地空间个数.然后如果遇到procedure保留字则进行过程声明和定义，声明地方法是把过程地名字和所在地层次记入符号表，过程定义地方法就是通过递归调用block过程，因为每个过程都是一个分程序.由于这是分程序中地分程序，因此调用block时需把当前地层次号lev加一传递给block过程.分程序声明部分完成后，即将进入语句地处

8、理，这时地代码分配指针cx地值正好指向语句地开始位置，这个位置正是前面地jmp指令需要跳转到地位置.于是通过