编译原理-分析中间代码生成程序.doc

实 验 报 告 课程名称 编译原理 实验学期 至 学年 第 学期 学生所在系部 年级 专业班级 学生姓名 学号 任课教师 实验成绩 计算机学院制 开课实验室： 年 月 日 实验题目 分析中间代码生成程序 一、实验目的 分析PL/0编译程序的总体结构、代码生成的方法和过程；具体写出一条语句的中间代码生成过程。 二、设备与环境 PC兼容机、Windows操作系统、Turbo Pascal软件等。 三、实验内容 分析PL/0程序的Block子程序，理清PL/0程序结构和语句格式。画出Block子程序的流程图，写出至少两条PL/0程序语句的语法格式。 分析PL/0程序的Block子程序和Gen子程序，了解代码生成的方法和过程。使用概要算法来描述语句的代码生成过程。 自己编写一个简单的PL/0程序，能够正确通过编译，得到中间代码。列出自己编写的源程序和编译后得到的中间代码。 从中选择一个语句或表达式，写出代码生成的过程。要求从自己的源程序中选择一条语句，结合这条语句写出语义分析和代码生成过程。在描述这个过程中，要说清楚每个功能有哪个子程序的哪条语句来完成，说清楚语句和参数的含义和功能。 四、实验结果及分析 (一)程序标注 levmax = 3; { max depth of block nesting } { 最大允许的块嵌套层数 } { 语法分析过程block } { 参数：lev:这一次语法分析所在的层次 } { tx:符号表指针 } { fsys:用于出错恢复的单词集合 } procedure block(lev, tx: integer; fsys: symset); var dx: integer; { data allocation index } { 数据段内存分配指针，指向下一个被分配空间在数据段中的偏移位置 } tx0: integer; { initial table index } { 记录本层开始时符号表位置 } cx0: integer; { initial code index } { 记录本层开始时代码段分配位置 } { 登陆符号表过程enter } procedure enter(k: object1); begin { enter object into table } { 参数：k:欲登陆到符号表的符号类型 } tx := tx + 1; { 符号表指针指向一个新的空位 } with table[tx] do { 开始登录 } begin name := id; { name是符号的名字，对于标识符，这里就是标识符的名字 } kind := k; { 符号类型，可能是常量、变量或过程名 } case k of { 根据不同的类型进行不同的操作 } constant: { 如果是常量名 } begin if num amax then { 在常量的数值大于允许的最大值的情况下 } begin error(31); { 抛出31号错误 } num := 0; { 实际登陆的数字以0代替 } end; val := num { 如是合法的数值，就登陆到符号表 } end; variable: { 如果是变量名 } begin level := lev; { 记下它所属的层次号 } adr := dx; { 记下它在当前层中的偏移量 } dx := dx+1; { 偏移量自增一，为下一次做好准备 } end; procedur: { 如果要登陆的是过程名 } level := lev { 记录下这个过程所在层次 } End End