ch11--编译程序的实现.pptVIP

第11章 编译程序的实现 知识点：编译程序的自展和移植 编译程序的实现 11.1 实现方法 11.2 PL/0编译程序 11.4 编译实践 11.1 实现方法 源语言的定义决定着编译程序的结构 目标语言和目标机器的性质决定着源语言到目标语言的映射和代码生成策略 实现语言的性质、程序设计的环境、以及可用的软件工具等对编译程序的实现也很重要 编译程序的表示方法： 用Z语言实现的从X语言到Y语言的编译程序 自编译语言 用高级语言实现编译程序，是以高级语言的自编译性为基础的。 自编译性是指，如果一种高级语言能够用来书写它自己的编译程序，则这种语言称为自编译语言。 像Pascal语言、C语言都是自编译语言。 自展方法 移植方法 若宿主机A上有用自编译高级语言L书写的语言L的编译程序，以及可在A机上运行的语言L的编译程序，那么，就可以将语言L的编译程序从A机移植到B机，即得到B机上运行的语言L的编译程序。 编译程序构造举例 以Pascal为例，说明如何获得A机器上第一个可书写编译程序的高级语言 编译程序构造举例（续） 在A机上已有一个可以运行的Pascal编译程序，如何得到在B机上可运行的Pascal编译程序？ 编译程序构造举例（续） 11.2 PL/0编译程序 语法图 PL/0编译程序的结构 PL/0编译程序的过程及函数 pl0 主程序 error 出错处理，打印出错位置和错误编码 getsym 词法分析，取一个单词 getch 取字符 gen 生成P-code指令，送入目标程序区 test 测试当前单词符号是否合法 block 分程序分析处理 enter 登录名字表 position 查找标识符在名字表中的位置 constdeclaration 常量定义处理 PL/0编译程序的过程及函数 vardeclaration 变量声明处理 listcode 列出P-code指令清单 statement 语句部分分析处理 expression 表达式分析处理 term 项分析处理 factor 因子分析处理 condotion 条件分析处理 interpret P-code 解释执行程序 base 通过静态链求出数据区的基地址 过程和函数之间的嵌套关系 PL/0编译程序的词法分析 getsym 独立的子程序，由语法分析程序调用。 用到的主要变量 sym：存放所识别出来的单词符号的类别编码 id：存放所识别出来的用户定义的标识符 num：存放所识别出来的整数 主要函数getch，所用主要数据结构有： ch，存放当前读取的字符。 line，一维数组，输入缓冲区，getch每次从源程序中读 取一行，存入该结构，然后，从该结构中把字符一 个个依次取出，存入ch返回。 LL，记录当前源程序行的长度。 CC，向前扫描指针，即当前所取字符在该行中的位置。 PL/0编译程序的词法分析 getch的主要功能： (1) 读取源程序中的字符。 (2) 识别并跳过行结束标识（回车换行符）。 (3) 把从input文件读入的源程序同时输出到output文件 上，以形成被编译源程序的清单。 (4) 在输出每一行源程序的开始处，打印出编译生成的目 标指令相应的行号。 PL/0编译程序的语法分析 采用自顶向下的递归调用子程序法 在进入分程序(block)以后，可以分成两部分进行，即，首先对说明部分进行分析处理，然后再对语句部分进行分析处理。 过程之间的依赖关系： PL/0编译程序的出错处理 同步符号 分界符和关键字，具有同等重要的地位 每个语法成分的同步符号集合，即由该语法成分的后继符号、语句的开头关键字构成的集合 错误恢复策略 对于像遗漏了分界符‘；’、缺少明显的关键字、误用了‘:=’或‘=’等确定的语法错误时，除了报告出错信息外，只要简单地添上或改正这些符号，便可使编译继续进行下去。 对于复杂的语法错误，要求在每个语法分析子程序的出口处，检测下一个取来的符号是否为该语法成分的后继符号，若不是，则应报告错误，并跳过一段源程序，直到取来的符号是该语法成分的一个同步符号为止。 PL/0编译程序的代码生成及执行环境 P-code指令 8条指令：LIT、LOD、STO、CAL、INT、JMP、JPC、OPR 指令的格式为：f l, a LIT 0，a 将常数值a置于栈顶 LOD 1，a 将变量(相对地址为a，层次差为1)值置于栈顶 STO 1，a 将栈顶的值赋与某变量 (相对地址为a，层次差为1) CAL 1，a 调用过程(入口指令地址为a，层次差为1) INT 0，a 在栈中分配存贮空间