一.语义分析概述
1.语义分析的任务
1)审查每一个语法结构的静态语义,即验证语法正确的结构是否有意义。
如:赋值语句:x:=x+y,左边变量类型与右边变量类型是否一致。
2)在语义正确的基础上生成一种中间代码或目标代码。
2.语义分析的范围
1)确定类型:确定标识符所关联的数据类型。
2)类型检查:按语言的类型规则,检查运算的合法性与运算分量类型的一致性,必要时作类型转换。
3)识别含义:根据语言的语义定义(形式或非形式),识别程序中各构造成分组合到一起的含义,并作相应的语义处理(生成中间代码或目标代码)。
4.控制流检查:控制流语句必须转移到合法的地方。如C中,break语句规定跳出最内层的循环或switch语句。
5.一致性检查:在很多场合要求对象只能被说明一次。如:pascal语言规定同一个标识符在一个分程序中只能被说明一次等。
6.相关名字检查:如:Ada,循环或块可以有一个名字,它出现在这些结构的开头或结尾。编译程序必须检查这两个地方用的名字是否相同。
其它:如名字的作用域分析等也是语义分析的工作。
3.语义描述工具和语义分析方法
1)语义描述工具
目前流行:用属性文法作为描述语义的工具。
2)语义分析方法
根据描述属性文法的语义规则的方式不同分为:
语法制导定义
翻译方案
3)自底向上的语法制导翻译
自顶向下的语法制导翻译
二.几种常用的中间语言形式
1.逆波兰表示法
波兰表示是一种既不须考虑优先关系、又不用括号的一种表示表达式的方法(前缀式)。
现在我们要介绍的刚好是另一种波兰表示形式,称为后缀式,即运算符在后。
2.图表示法
抽象语法树。
无循环有向图(DAG)
DAG与抽象语法树基本