编译原理,清华大学,第2版_第8章语法制导翻译和中间代码生成.pptVIP

第八章 语法制导翻译和中间代码生成 教学要求：本章介绍编译程序的第三个阶段语义分析及中间代码生成的设计原理和实现方法，要求理解语法制导翻译、语义动作的基本概念；掌握语义规则和中间代码的表示形式。 教学重点：语义规则，中间代码的表示形式，自下而上分析制导翻译概述。 语义处理功能： 1、静态语义审查：验证语法结构合理的程序是否真正有意义。 2、解释执行动态语义、生成代码：执行真正的翻译（生成中间代码或目标代码）。 1、属性文法（说明语言语义的工具）定义 属性文法是一个三元组:A=(G,V,F),其中： G:是一个上下文无关文法。 V:有穷的属性集,每个属性与文法的一个终结符或非终结符相连。如它的类型、值、代码序列、符号表内容等等。 F:关于属性的属性断言或一组属性的计算规则(称为语义规则) . 断言或语义规则与一个产生式相联,只引用该产生式左端或右端的终结符或非终结符相联的属性. 8.1 属性文法 例1：定义表达式的文法如下： E?E+E E?(E) E?n 给出定义表达式值的属性文法。 为文法符号E引进属性符号val,用E.val表示E的值，属性计算规则以赋值语句的形式给出，附在每个产生式后，并用大括号括起来。为了明确E的不同出现位置，用上角标区别。终结符n的值是词法分析程序提供的，这里用n.lex表示。下面给出属性文法： E?E1+E2 {E.val := E1.val +E2.val} E?(E1) {E.val := E1.val } E?n {E.val := n.lex} 属性文法的主要思想有两点： 首先对于每个文法符号引进相关的属性符号； 其次对于每个产生式写出属性值计算的规则。 2、属性分类 综合属性：一个结点的属性值是从其子结点的属性值计算出来的。 继承属性：一个结点的属性值是由该结点兄弟结点和父结点的属性值计算出来的。 3、属性的计算 综合属性计算 自底向上按照语义规则来计算各结点的综合属性值 继承属性计算 根据依赖关系决定计算顺序 例1 台式计算器程序的语法制导定义 产生式 语义规则 {print(E?val)} {E?val:=E1?val+T?val} {E?val:=T?val} {T?val:=T1?val*F?val} {T?val:=F?val} {F?val:=E?val} {F?val:=digit?lexval} 1、与L→E相连的语义规则是一个过程，打印E的值，理解为L的属性是虚的或空的。 2、E,T,F的属性val都为综合属性。 3、lexval 是单词 digit 的属性（由词法程序提供）。 L?E E?E1+T E?T T?T1*F T?F F?(E) F?digit L E.val=21 E.val=15 T.val=6 T.val=15 F.val=6 T.val=3 F.val=3 F.val=5 digit.lexval=6 digit.lexval=5 digit.lexval=3 + * 3*5+6的带注释的分析树和属性计算 L?E E?E1+T E?T T?T1*F T?F F?(E) F?digit {print(E?val)} {E?val:=E1?val+T?val} {E?val:=T?val} {T?val:=T1?val*F?val} {T?val:=F?val} {F?val:=E?val} {F?val:=digit?lexval} 例2：说明语句语法制导定义(属性文法) L.in:=T.type T.type:=integer T.type:=real L1.in:=L.in addtype(id.entry,L.in) addtype(id.entry,L.in) entry 单词id的属性 addtype 在符号表中为变量填加标识符的类型信息 D→TL T→int T→real L→L1,id L→id D L.in= real L.in= real L.type= real T.type=real real id2 id1 id3 . . Real id1,id2,id3的带注释的语法树属性计算 , , {L.in:=T.type} {T.type:=integer} {T.type:=real} {L1.in:=L.in} {addtype(id.entry,L.in)} {addtype(id.entry,L.in)} D→TL T→int