编译原理综合性实验报告-分析中间代码生成程序
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
<VarDefList>-> <VarDef>[;<VarDefList>]
<VarDef>-><idList>:T
<idList>->id[,<idList>]
程序的主要任务是：
(1).扫描整个变量声明部分，并进行语义错误检查。
分析PL/0编译程序的总体结构、代码生成的方法和过程；具体写出一条语句的中间代码生成过程。
二、设备与环境
PC兼容机、Windows操作系统、Turbo Pascal软件等。
三、实验内容
1.分析PL/0程序的Block子程序，理清PL/0程序结构和语句格式。画出Block子程序的流程图，写出至少两条PL/0程序语句的语法格式。
2.分析PL/0程序的Block子程序和Gen子程序，了解代码生成的方法和过程。使用概要算法来描述语句的代码生成过程。
3.自己编写一个简单的PL/0程序，能够正确通过编译，得到中间代码。列出自己编写的源程序和编译后得到的中间代码。
4.从中选择一个语句或表达式，写出代码生成的过程。要求从自己的源程序中选择一条语句，结合这条语句写出语义分析和代码生成过程。在描述这个过程中，要说清楚每个功能有哪个子程序的哪条语句来完成，说清楚语句和参数的含义和功能。
四、实验结果及分析
（一）Block子程序分析
1.常量声明的分析:
常量声明部分的语法结构定义为如下形式：
<ConstDecPart> -> const <ConstDefList>;
<ConstDefList> -> <ConstDef>[;<ConstDefList>]
<ConstDef>->id = C
其中C可以是常量标识符或字符串或整数（可带符号）或实数（可带符号）。
常量声明分析程序的主要任务是：
(1).扫描整个常量声明部分。
(2).为被声明的常量标识符建立符号表项。
(3).检查重复的声明。
2.变量声明部分的分析:
变量声明部分的语法结构定义为如下形式：
<VarDecPart>-> var<VarDefList>
(2).为被声明的变量标识符建立相应符号表项。
3.Block子程序流程图：
（二）代码生成的方法和过程：
Block子程序：首先置TX的初值，令DX=3，判读嵌套层数是否大于最允的嵌套层数，如果大于，则发出32号错误。小于然后读入一个token，当读入的当前token是常量保留字，转入常量声明处理。如果sym遇到逗号则反复声明下一个常量，获取下一个token，声明以当前token为标识符的常量。如果sym遇到分号，常量声明结束。获取下一个token，当读入的是变量保留字，转入变量声明处理，过程与常量声明类似。当读入的当前token是过程保留字时，把过程名和它所在的层次填入符号表，递归调用block分析过程，当前的层次加一。如果不是过程保留字，如果是一个语句的开始，则进行语句处理，直至结束。
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盘下
运行后结果如下：
（四）分析上述程序中c:=2*(l+w);的代码生成过程
在上述程序中，当调用block子程序分析这段语句时，遇到c，查符号表，判断是常量还是变量，入栈，遇到“：=”时，继续读下一字符，判断如c，并依次将2、1和b入栈。第一个截图是过程p，句子就在这里，首先生成一个int的目标码，分配一个3个单元的数据区，然后又生成两条lit代码分别将2、1入栈，再后有一条lod代码，是将b入栈的。入栈后开始计算1+b（opr 1 2），此时栈顶元素为1+b的结果，再计算乘2（opr 1 4），次栈顶乘以栈顶然后退两栈，结果入栈，此时数据区中就是2*（1+b）的结果了，通过一条sto代码将结果存入偏移为4的单元中，就是c。在主程序中也可以找到这一段，主程序中，先开辟了5个数据区，然后跳到10的位置，把a入栈，10入栈，判断两个值是否相等，不等的话就继续往下，程序结束，如果相等的话，给b赋值后，就cal 1 2，即调用过程p，这段就是前面的那段了。
教 师 评 价
评定项目
A
B
C
D
评定项目
A
B
C
D
算法正确
流程图正确
语句语法格式正确
源程序正确
中间代码正确
分析过程正确
报告规范
回答问题正确
实验结果正确
题解正确
其他：
评价教师签名：
年月日
XXXXXX计算机系综合性实验
实 验 报 告
课程名称编译原理
实验学期XXXX至XXXX学年 第X学期
学生所在系部计算机系
年级X专业班级XXXXXX
学生姓名XXX学号XXXXXXXXXXXX
任课教师XXX
实验成绩
计算机系制
《编译原理》课程综合性实验报告
开课实验室：年月日
实验题目
分析中间代码生成程序
一、实验目的
Gen子程序：目标代码生成过程gen,用于把生成的目标代码写入目标代码数组。如果cx>cxmax表示当前生成的代码行号大于允许的最大代码行数，输出“program too long”。然后，把代码写入目标代码数组的当前cx所指位置，移动cx指针指向下一个空位。
（三）编写一个简单的PL/0程序
PL/0程序为：
<VarDef>-><idList>:T
<idList>->id[,<idList>]
程序的主要任务是：
(1).扫描整个变量声明部分，并进行语义错误检查。
分析PL/0编译程序的总体结构、代码生成的方法和过程；具体写出一条语句的中间代码生成过程。
二、设备与环境
PC兼容机、Windows操作系统、Turbo Pascal软件等。
三、实验内容
1.分析PL/0程序的Block子程序，理清PL/0程序结构和语句格式。画出Block子程序的流程图，写出至少两条PL/0程序语句的语法格式。
2.分析PL/0程序的Block子程序和Gen子程序，了解代码生成的方法和过程。使用概要算法来描述语句的代码生成过程。
3.自己编写一个简单的PL/0程序，能够正确通过编译，得到中间代码。列出自己编写的源程序和编译后得到的中间代码。
4.从中选择一个语句或表达式，写出代码生成的过程。要求从自己的源程序中选择一条语句，结合这条语句写出语义分析和代码生成过程。在描述这个过程中，要说清楚每个功能有哪个子程序的哪条语句来完成，说清楚语句和参数的含义和功能。
四、实验结果及分析
（一）Block子程序分析
1.常量声明的分析:
常量声明部分的语法结构定义为如下形式：
<ConstDecPart> -> const <ConstDefList>;
<ConstDefList> -> <ConstDef>[;<ConstDefList>]
<ConstDef>->id = C
其中C可以是常量标识符或字符串或整数（可带符号）或实数（可带符号）。
常量声明分析程序的主要任务是：
(1).扫描整个常量声明部分。
(2).为被声明的常量标识符建立符号表项。
(3).检查重复的声明。
2.变量声明部分的分析:
变量声明部分的语法结构定义为如下形式：
<VarDecPart>-> var<VarDefList>
(2).为被声明的变量标识符建立相应符号表项。
3.Block子程序流程图：
（二）代码生成的方法和过程：
Block子程序：首先置TX的初值，令DX=3，判读嵌套层数是否大于最允的嵌套层数，如果大于，则发出32号错误。小于然后读入一个token，当读入的当前token是常量保留字，转入常量声明处理。如果sym遇到逗号则反复声明下一个常量，获取下一个token，声明以当前token为标识符的常量。如果sym遇到分号，常量声明结束。获取下一个token，当读入的是变量保留字，转入变量声明处理，过程与常量声明类似。当读入的当前token是过程保留字时，把过程名和它所在的层次填入符号表，递归调用block分析过程，当前的层次加一。如果不是过程保留字，如果是一个语句的开始，则进行语句处理，直至结束。
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盘下
运行后结果如下：
（四）分析上述程序中c:=2*(l+w);的代码生成过程
在上述程序中，当调用block子程序分析这段语句时，遇到c，查符号表，判断是常量还是变量，入栈，遇到“：=”时，继续读下一字符，判断如c，并依次将2、1和b入栈。第一个截图是过程p，句子就在这里，首先生成一个int的目标码，分配一个3个单元的数据区，然后又生成两条lit代码分别将2、1入栈，再后有一条lod代码，是将b入栈的。入栈后开始计算1+b（opr 1 2），此时栈顶元素为1+b的结果，再计算乘2（opr 1 4），次栈顶乘以栈顶然后退两栈，结果入栈，此时数据区中就是2*（1+b）的结果了，通过一条sto代码将结果存入偏移为4的单元中，就是c。在主程序中也可以找到这一段，主程序中，先开辟了5个数据区，然后跳到10的位置，把a入栈，10入栈，判断两个值是否相等，不等的话就继续往下，程序结束，如果相等的话，给b赋值后，就cal 1 2，即调用过程p，这段就是前面的那段了。
教 师 评 价
评定项目
A
B
C
D
评定项目
A
B
C
D
算法正确
流程图正确
语句语法格式正确
源程序正确
中间代码正确
分析过程正确
报告规范
回答问题正确
实验结果正确
题解正确
其他：
评价教师签名：
年月日
XXXXXX计算机系综合性实验
实 验 报 告
课程名称编译原理
实验学期XXXX至XXXX学年 第X学期
学生所在系部计算机系
年级X专业班级XXXXXX
学生姓名XXX学号XXXXXXXXXXXX
任课教师XXX
实验成绩
计算机系制
《编译原理》课程综合性实验报告
开课实验室：年月日
实验题目
分析中间代码生成程序
一、实验目的
Gen子程序：目标代码生成过程gen,用于把生成的目标代码写入目标代码数组。如果cx>cxmax表示当前生成的代码行号大于允许的最大代码行数，输出“program too long”。然后，把代码写入目标代码数组的当前cx所指位置，移动cx指针指向下一个空位。
（三）编写一个简单的PL/0程序
PL/0程序为：