第七章 语义分析和中间代码的产生

第七章 语义分析和中间代码的产生

一、语义分析的任务

审查每一个语法结构的静态语义，即验证语法正确的结构是否有意义。

如：赋值语句：x:=x+y,左边变量类型与右边变量类型是否一致。

在语义正确的基础上生成一种中间代码或目标代码。

二、语义分析的范围

1.确定类型：确定标识符所关联的数据类型。

2.类型检查：按语言的类型规则，检查运算的合法性与运算分量类型的一致性，必要时作类型转换。

3.识别含义：根据语言的语义定义（形式或非形式），识别程序中各构造成分组合到一起的含义，并作相应的语义处理（生成中间代码或目标代码）。

4.控制流检查：控制流语句必须转移到合法的地方。如C中，break语句规定跳出最内层的循环或switch语句。

5.一致性检查：在很多场合要求对象只能被说明一次。如：pascal语言规定同一个标识符在一个分程序中只能被说明一次等。

6.相关名字检查：如：Ada，循环或块可以有一个名字，它出现在这些结构的开头或结尾。编译程序必须检查这两个地方用的名字是否相同。

其它：如名字的作用域分析等也是语义分析的工作。

三、语义描述工具和语义分析方法

语义描述工具

目前流行：用属性文法作为描述语义的工具。

语义分析方法

根据描述属性文法的语义规则的方式不同分为：语法制导定义、翻译方案

四、几种常用的中间语言形式

1.逆波兰表示法

    波兰表示是一种既不须考虑优先关系、又不用括号的一种表示表达式的方法（前缀式）。

现在我们要介绍的刚好是另一种波兰表示形式，称为后缀式，即运算符在后。

2.图表示法

抽象语法树。    

无循环有向图（DAG）

3.三元式

   三元式由三个部分组成：

   算符：OP

   第一运算分量：ARG1

   第二运算分量：ARG2

4.四元式

一个四元式是一个带有四个域的记录结构：op,arg1,arg2及result。它实际上就是一条三地址的指令。

一、说明语句的翻译 
程序语言中的说明语句都是给编译程序提供信息的，诸如类型、维数、每维的界种类等，因此一般不生成目标，只是在编译时把有关信息填入相应表格即可。

二、赋值语句的翻译
简单算术表达式的赋值语句：所谓简单指不考虑数组元素、记录、函数的引用等情况。

三、控制流语句的翻译

1.条件语句中布尔表达式的翻译

2.标号和无条件转移的翻译

3.循环与分情况语句的翻译

四、过程调用的翻译
过程调用主要解决两个问题：
1.把程序控制转移到子程序（过程段），执行完毕再返回。
2.传递实在参数。我们前面谈到过几种不同的参数传递方式（传名、传值、传地址），它们的语义动作也就有所区别。

总结：这一章的重点是逆波兰，三元式，四元式的表示，将程序转换成三元式，四元式。