编译原理综合性实验中间代码生成程序资料.doc

XXXXXX计算机系综合性实验 实 验 报 告 课程名称 编译原理 实验学期 XXXX 至 XXXX 学年 第 X 学期 学生所在系部 计算机系 年级 X 专业班级 XXXXXX 学生姓名 XXX 学号 XXXXXXXXXXXX 任课教师 XXX 实验成绩 计算机系制 《编译原理》课程综合性实验报告 开课实验室： 年 月 日 实验题目 分析中间代码生成程序 一、实验目的 分析PL/0编译程序的总体结构、代码生成的方法和过程；具体写出一条语句的中间代码生成过程。 二、设备与环境 PC兼容机、Windows操作系统、Turbo Pascal软件等。 三、实验内容 分析PL/0程序的Block子程序，理清PL/0程序结构和语句格式。画出Block子程序的流程图，写出至少两条PL/0程序语句的语法格式。 分析PL/0程序的Block子程序和Gen子程序，了解代码生成的方法和过程。使用概要算法来描述语句的代码生成过程。 自己编写一个简单的PL/0程序，能够正确通过编译，得到中间代码。列出自己编写的源程序和编译后得到的中间代码。 从中选择一个语句或表达式，写出代码生成的过程。要求从自己的源程序中选择一条语句，结合这条语句写出语义分析和代码生成过程。在描述这个过程中，要说清楚每个功能有哪个子程序的哪条语句来完成，说清楚语句和参数的含义和功能。 四、实验结果及分析 （一）Block子程序分析 1.常量声明的分析: 常量声明部分的语法结构定义为如下形式： ConstDecPart - const ConstDefList; ConstDefList - ConstDef[;ConstDefList] ConstDef-id = C 其中C可以是常量标识符或字符串或整数（可带符号）或实数（可带符号）。 常量声明分析程序的主要任务是： (1).扫描整个常量声明部分。 (2).为被声明的常量标识符建立符号表项。 (3).检查重复的声明。 2.变量声明部分的分析: 变量声明部分的语法结构定义为如下形式： VarDecPart- varVarDefList VarDefList- VarDef[;VarDefList] VarDef-idList:T idList-id[,idList] 其中idList是被定义的变量标识符序列，T是类型表达式。 变量声明分析程序的主要任务是： (1).扫描整个变量声明部分，并进行语义错误检查。 (2).为被声明的变量标识符建立相应符号表项。 3.Block子程序流程图： （二）代码生成的方法和过程： Block子程序：首先置TX的初值，令DX=3，判读嵌套层数是否大于最允的嵌套层数，如果大于，则发出32号错误。小于然后读入一个token，当读入的当前token 是常量保留字，转入常量声明处理。如果sym遇到逗号则反复声明下一个常量，获取下一个token，声明以当前token为标识符的常量。如果sym遇到分号，常量声明结束。获取下一个token，当读入的是变量保留字，转入变量声明处理，过程与常量声明类似。当读入的当前token是过程保留字时，把过程名和它所在的层次填入符号表，递归调用block分析过程，当前的层次加一。如果不是过程保留字，如果是一个语句的开始，则进行语句处理，直至结束。 Gen子程序：目标代码生成过程gen,用于把生成的目标代码写入目标代码数组。 如果cxcxmax表示当前生成的代码行号大于允许的最大代码行数，输出“program too long”。然后，把代码写入目标代码数组的当前cx所指位置，移动cx指针指向下一个空位。 （三）编写一个简单的PL/0程序 PL/0程序为： const a=10; var b,c; procedure p; begin c:=2*(1+b) end; begin if a=10 then begin b:=2; call p; end end. 将其保存为txt格式文件存于E盘下 运行后结果如