编译7语义分析和中间代码产生1(zss)指导.pptVIP

编译原理(第三版) 陈火旺等编著 （2012年9月-12月） 主讲：朱世松 计算机学院 二、语义分析的范围 1.确定类型：确定标识符所关联的数据类型。 2.类型检查：按语言的类型规则，检查运算的合法性与运算分量类型的一致性，必要时作类型转换。 3.识别含义：根据语言的语义定义（形式或非形式），识别程序中各构造成分组合到一起的含义，并作相应的语义处理（生成中间代码或目标代码） 4.控制流检查：控制流语句必须转移到合法的地方。 如：C中，break语句规定跳出最内层的循环或switch语句. 5.一致性检查：在很多场合要求对象只能被说明一次(避免重复定义)。 6.相关名字检查：如：Ada，循环或块可以有一个名字，它出现在这些结构的开头或结尾。编译程序必须检查这两个地方用的名字是否相同。 三、语义描述工具和语义分析方法 语义描述工具 目前流行：用属性文法作为描述语义的工具。 语义分析方法 根据描述属性文法的语义规则的方式不同，语义分析方法分为： 语法制导定义方法 翻译方案 7.1 中 间 语 言 1 中间语言 中间语言：它介于源程序到目标语言程序中间程序的语言 中间语言程序：用中间语言表示的程序。 作用：用于编译程序，将源程序翻译成等价的中间语言程序，再将中间语言程序转化成目标程序（即将语义分析和目标代码生成分开处理） 源程序 中间语言程序