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

一 .   语义分析的任务

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

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

二.   语义分析的范围

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

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

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

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

                      5.一致性检查：在很多场合要求对象只能被说明一次。

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

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

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

                     1 .语义描述工具

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

                     2.语义分析方法

                                     根据描述属性文法的语义规则的方式不同分为：

                                                 语法制导定义

                                                  翻译方案

                     3.语法制导翻译

                                自底向上的语法制导翻译

                                自顶向下的语法制导翻译

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

                  逆波兰表示法：a+b → ab+

                  图表示法：抽象语法树

                  三元式：

                          三元式由三个部分组成：

                            算符：OP

                           第一运算分量：ARG1

                           第二运算分量：ARG2

                  间接三元式：在三元式的基础上附加一张指示器表─间接码表，按运算的先后顺序列出有关三元式在三元式表中的位置。这种表示方法称为间接三元式

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

五.赋值语句的翻译

                    1.简单算术表达式的赋值语句：

                              所谓简单指不考虑数组元素、记录、函数的引用等情况。

                    2.类型转换

                               有的程序设计语言允许混合运算，有的不允许。如果不允许，则发现有类型不相同的运算分量就应该报错。如果允许，就要进行类型转换。

六.   控制流语句的翻译

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

                                 出现在条件语句if E then S1 else S2
  中的布尔表达式E，它的作用仅在于控制对S1或S2的选择,亦即提供“真”“假”出口，所以其值无需一直保留。

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

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

七、过程调用的翻译     

                 (1)把程序控制转移到子程序（过程段），执行完毕再返回。这个问题很好解决。

               (2)传递实在参数。我们前面谈到过几种不同的参数传递方式（传名、传值、传地址），它们的语义动作也就有所区别。