第七章语法制导翻译技术及中间代码.pptVIP

第七章 语法制导翻译技术及中间代码的生成;§1. 语义分析概述;二、语义分析的范围 1o.确定类型：确定标识符所关联的数据类型。 2o.类型检查：按语言的类型规则，检查运算的合法性与运算分量类型的一致性，必要时作类型转换。 3o.识别含义：根据语言的语义定义（形式或非形式），识别程序中各构造成分组合到一起的含义。，并作相应的语义处理（生成中间代码或目标代码） 4o.控制流检查：控制流语句必须转移到合法的地方。 如：C中，break语句规定跳出最内层的循环或switch语句. 5o.一致性检查：在很多场合要求对象只能被说明一次，如：pascal语言规定同一个标识符在一个分程序中只能被说明一次等。;6o.相关名字检查：如：Ada，循环或块可以有一个名字，它出现在这些结构的开头或结尾。编译程序必须检查这两个地方用的名字是否相同。 其它：如名字的作用域分析等也是??义分析的工作。 三、语义描述工具和语义分析方法 语义描述工具 目前流行：用属性文法作为描述语义的工具。 语义分析方法 根据描述属性文法的语义规则的方式不同，语义分析方法分为： 语法制导定义方法 翻译方案;§2. 属 性 文 法;属性值：可以在语法分析过程中计算和传递。 属性的加工过程就是语义的处理过程。 二、属性文法 语义规则 在对文法符号属性处理过程中，必须遵守一定义的规则——语义规则。 为文法的每一产生式定义一组属性的计算规则，称为语义规则。 属性文法 形式定义：一个属性文法是一个三元组A，A=(G,V,F) 其中：G为一个上下文无关文法； V 表示属性的有穷集合； F表示属性的断言或谓词的有穷集。;在属性文法中： 每个属性与文法中某个符号相关联，用“符号●属性”表示。如：X●type,X●int,X●bool等。 每个断言与文法的某产生式相关联。断言就是产生式上定义的一组语义规则。 例：一个简单表达式方法： E::=T1+T2|T1orT2 T::=num|true|false ;根据程序语言中有关类型的检验原则，可以得到关于类型检验的属性文法： E::=T1+T2 {T1.type=int and T1.type=int} E::=T1orT2 {T1.type=bool and T1.type=bool} T::=num {T.type=int} T::=true {T.type=bool} T::=false {T.type=bool} 属性分类：综合属性 继承属性 综合属性：从语法分析角度看，如果一个结点的某一属性，其值由子结点的属性的值来计算，称该属性为综合属性。;例：已知上例属性文法的输入串3+4语法树。 其中：E中语义规则中的T1.type和T2.type中的type属性的值分别由子结点T1.type=int和T2.type=int中的int值来计算，使得E中的语义规则（断言）为真。因此：type是综合属性。 综合属性用于“自下向上”传递信息。;继承属性：在语法分析树中，结点的某个属性值由该结点的兄弟结点和（或）父结点的属性值来计算，此结点的属性称为继承属性。 继承属性用于“自上而下”传递信息。 注意： 终结符号只有综合属性，他由词法分析器提供。 非终结符号既有综合属性，也可有继承属性。文法识别符号（开始符号）的所有继承属性作为属性计算前的初始值。 根据处理不同的要求，属性和断言可以多种形式出现，如：语义规则或者程序段等。;例：简单表达式求值的属性文法。 产生式： L::=E print(E.val) E::=E1+T E.val:=E1.val+T.val E::=T E.val:=T.val T::=T1*F E.val:=T1.val*F.val T::=F T.val:=F.val F::=(E) F.val:=E.val F::=digit F.val:= digit.lexval;例：描述说明语句中简单变量类型信息的属性文法 产生式 语义规则 D::=TL L.in:=T.type T::=int T.type :=integer T::=real T.type :=real L::=L1，id L1.in:=L.in addtype(id.entry,L.in) L::=id addtype(id.entry,L.in) ; 文法定义了一种说明语句，该说明语句的形式是由关键字int或real开头，后跟一个标识符表，每一个标识符间用逗号隔开： real id1，id2，……，idn或 int id1，id2，……，idn 属性