编译原理实验教程2015

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
0 0 0 1 0 0 38 0 5 33 8 8 29
8 12 13
主程序
S
Q
R
R
21 call 2,1
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
}
8
分程序
const ,
; var
, ;
ident ident
=
number
procedure ;
ident
;
分程序
语句
Int block(int lev,int tx,bool* fsys) {
int i; int dx; int tx0; int cx0;
/*名字分配到的相对地址*/ /*保留初始 tx*/ /*保留初始 cx*/
end end.
<变量说明部分> ::=VAR<标识符>{，<标识符>}； <标识符>::=<字母>{<字母>|<数字>} var b,c;
<过程说明部分> ::=<过程首部><分程序>{；<过程说明部分>}；
<过程首部>::=PROCEDURE<标识符>；
procedure p; begin c:=b+a end;
break;
case variable:
/*变量名字*/
table[(*ptx)].level=lev;
table[(*ptx)].adr=(*pdx);
(*pdx)++;
break;
/*过程名字*/
case procedur:
table[(*ptx)].level=lev;
break;
}
}
4
动态存储分配策略
(
表达式
)
/* *因子处理 */ factor {
switch (sym){
case ident :
i=position(id,*ptx);
/*查找名字*/
if a>0 then call r end; procedure s; call q; begin a:=1; call s end.
0 jmp 0,34 1 jmp 0,32 2 jmp 0,3 3 int 0 5 4 lod 2 3 5 lit 0 1 6 opr 0 8 7 jpc 0 13 8 lod 2 3 9 lit 0 1 10 opr 0 3 11 sto 2 3 12 cal 1 3 13 lod 2 3 14 lit 0 0 15 opr 0 8 16 jpc 0 22 17 lod 2 3 18 lit 0 1 19 opr 0 3 20 sto 2 3 21 cal 2 1 22 opr 0 0 23 int 0 4 24 lod 1 3 25 lit 0 0 26 opr 0 12 27 jpc 0 29 28 cal 0 3 29 opr 0 0 31 int 0 3 32 cal 1 23 33 opr 0 0 34 int 0 5 35 lit 0 1 36 sto 0 3 37 cal 0 31 38 opr 0 0
经结束,dx 就是当前过程数据的 size*/
cx0=cx;
gendo(inte,0,dx);
/*生成分配内存代码*/
statementdo(nxtlev,&tx,lev);
gendo(opr,0,0); /*每个过程出口都要使用的释放数据段命令*/
return 0;
}
10
因子
ident
number
编译原理实验
实验一 PL/0 语言及其编译器的分析
实验内容
1. PL0 的语法描述图与 EBNF； 2. PL0 编译程序的结构； 3. PCODE 指令系统； 4. PL0 的运行环境；
实验要求
1. 理解 BNF、语法描述图，掌握 PL0 语言的语法描述图； 2. 阅读 PL0 编译器源代码，掌握其总体结构； 3. 掌握 PCODE 指令代码的功能； 4. 掌握指令代码的执行和存储分配； 5. 编写一个 PL0 源程序并编译，掌握 PCODE 指令的执行及存储分配情况；
码生成有关），特别是 cx，在哪儿被改变； 7. 全局变量 ch 有什么作用（ch 在 getch()和 getsym()中使用）； 8. 在 getsym()中，重要全局变量 sym, id 都有什么作用； 9. getsym()与 getch()各有什么作用，getsym()与 getch()之间如何交互以完成读取一个符号
<语句>::=
<赋值语句>|<条件语句>|<当型循环语句>|<过程调用语句>|<读语句>|<写语句>
|<复合语句>|<空>
<复合语句>::=BEGIN<语句>{；<语句>}END <赋值语句>::=<标识符>∶=<表达式>
<表达式>::=[+|-]<项>{<加法运算符><项>} <项>::=<因子>{<乘法运算符><因子>}
5
0层
1层
var a,x; procedure q; 2 层
var i; procedure r;
var c,d; begin
if a=1 then begin a:=a-1; call r end;
if a=0 then begin a:=a-1; call q end
end; begin
if a>0 then call r end; procedure s; call q; begin a:=1; call s end.
/*数值，仅 const 使用*/
int level;
/*所处层，仅 const 不使用*/
int adr;
/*地址，仅 const 不使用*/
int size;
/*需要分配的数据区空间，仅 procedure 使用*/
};
struct tablestruct table[txmax];
/*名字表*/
编译至此，符号表的内 容是？
编译至此，符号表的内 容是？
编译至此，符号表的内 容是？
符号表管理涉及到的数据结构
struct tablestruct
{
char name[al];
/*名字*/
enum object kind; /*类型：const，var，array or procedure*/
int val;
重点理解如何访问非局部变量。
var a,x; procedure q;
var i; procedure r;
var c,d; begin
if a=1 then begin a:=a-1; call r end;
if a=0 then begin a:=a-1; call q end
end; begin
/*收到过程声明符号，开始处理过程声明*/ …… block(lev+1,tx,nxtlev)); …… }
code[table[tx0].adr].a=cx; /*开始生成当前过程代码*/
table[tx0].adr=cx;
/*当前过程代码地址*/
table[tx0].size=dx;
/*声明部分中每增加一条声明都会给 dx 增加 1,声明部分已
主程序
S
Q
29 opr 0,0
b
t
012345678
0 0 0 -1 0 0 38
主程序
S
33 opr 0,0
b
t
012345 0 0 0 -1 0
主程序
38 opr 0,0 最终 b=0; t=0; p=0; 退出主程序。
7
递归下降分析法
程序
分程序
.
main(){ getsym()； block(); if(sym!=period){ error(9); } return;
(token)的任务； 10. getsym()如何被 block()等语法分析程序调用，何时调用；
1
EBNF
程序
分程序
.
<程序>::=<分程序>．
<分程序> ::=[<常量说明部分>][<变量说明部分>][<过程说明部分>]<语句>
<常量说明部分> ::=CONST<常量定义> {, <常量定义>}；
8 12 13
主程序
S
Q
R
R
22 opr 0,0
b
t
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
0 0 0 -1 0 0 38 0 5 33 8 8 29
主程序
S
Q
R
22 opr 0,0
b
t
0 1 2 3 4 5 6 7 8 9 10 11 12
0 0 0 -1 0 0 38 0 5 33
填符号表的过程 /* *在名字表中加入一项
3
*
*k:名字种类 const,var or procedure
*ptx:名字表尾指针的指针，为了可以改变名字表尾指针的数值