编译原理实验报告-语义分析.doc

编译原理课程实验报告

实验3：语义分析

姓名

赵璐媛

院系

软件学院

学号

1143710516

任课教师

陈鄞

指导教师

实验地点

软件学院三楼机房

实验时间

实验课表现

出勤、表现得分

实验报告

得分

实验总分

操作结果得分

一、需求分析

得分

要求：阐述语义分析系统所要完成的功能。

（1）能分析以下几类语句，并生成中间代码（三地址指令和四元式形式）：

声明语句（包括变量声明、数组声明、记录声明和过程声明）

表达式及赋值语句（包括数组元素的引用和赋值）

分支语句：if_then_else

循环语句：do_while

过程调用语句

（2）具备语义错误处理能力，包括变量或函数重复声明、变量或函数引用前未声明、运算符和运算分量之间的类型不匹配（如整型变量与数组变量相加减）等错误，能准确给出错误所在位置，并采用可行的错误恢复策略。

（3）系统的输入形式：要求能够通过文件导入测试用例。测试用例要涵盖第（1）条中列出的各种类型的语句，以及第（2）条中列出的各种类型的错误。

（4）系统的输出分为两部分：一部分是打印输出符号表。另一部分是打印输出三地址指令和四元式序列

（5）除此之外，可以实现一些额外功能，例如自动类型转换，识别其它类型语义错误，如过程返回类型与声明类型不匹配；过程调用时实参与形参数目或类型不匹配；对非数组型变量使用数组访问操作符“[…]”；对普通变量使用过程调用操作符“call”；数组访问操作符“[…]”中出现非整数等。

二、文法设计

得分

要求：给出如下语言成分所对应的语义动作

声明语句（包括变量声明、数组声明、记录声明和过程声明）

表达式及赋值语句（包括数组元素的引用和赋值）

分支语句：if_then_else

循环语句：do_while

过程调用语句

声明语句：

P→{offset=0}D

D→Tid;{enter(id.lexeme,T.type,offset);offset=offset+T.width;}D

D→ε

T→B{t=B.type;w=B.width;}

C{T.type=C.type;T.width=C.width;}

T→↑T1{T.type=pointer(T1.type);T.width=4;}

B→int{B.type=int;B.width=4;}

B→real{B.type=real;B.width=8;}

C→ε{C.type=t;C.width=w;}

C→[num]C1{C.type=array(num.val,C1.type);C.width=num.val*C1.width;}

赋值语句：

S?id=E;{p=lookup(id.lexeme);ifp==nilthenerror;gen(p‘=’E.addr);}

E?E1+E2{E.addr=newtemp();gen(E.addr‘=’E1.addr‘+’E2.addr);}

E?E1*E2{E.addr=newtemp();gen(E.addr‘=’E1.addr‘*’E2.addr);}

E??E1{E.addr=newtemp();gen(E.addr‘=’‘uminus’E1.addr);}

E?(E1){E.addr=E1.addr;}

E?id{E.addr=lookup(id.lexeme);ifE.addr==nilthenerror;}

L?id[E]{L.array=lookup(id.lexeme);ifL.array==nilthenerror;

L.type=L.array.type.elem;

L.offset=newtemp();

gen(L.offset‘=’E.addr‘*’L.type.width);}

|L1[E]{L.array=L1.array;

L.type=L1.type.elem;

t=newtemp();

gen(t‘=’E.addr‘*’L.type.width);

L.offset=newtemp();

gen(L.offset‘=’L1.offset‘+’t);}

分支语句：

S?if{B.true=newla