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

第八章 语法制导翻译和中间代码生成 教学要求：本章介绍编译程序的第三个阶段语义分析及中间代码生成的设计原理和实现方法，要求理解语法制导翻译、语义动作的基本概念；掌握语义规则和中间代码的表示形式。 教学重点：语义规则，中间代码的表示形式，自下而上分析制导翻译概述。 1、属性文法（说明语言语义的工具）定义 属性文法是一个三元组:A=(G,V,F),其中： G:是一个上下文无关文法。 V:有穷的属性集,每个属性与文法的一个终结符或非终结符相连。如它的类型、值、代码序列、符号表内容等等。 F:关于属性的属性断言或一组属性的计算规则(称为语义规则) . 断言或语义规则与一个产生式相联,只引用该产生式左端或右端的终结符或非终结符相联的属性. 例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、属性分类 综合属性：一个结点的属性值是从其子结点的属性值计算出来的。 继承属性：一个结点的属性值是由该结点兄弟结点和父结点的属性值计算出来的。 例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) {L.in:=T.type} {T.type:=integer} {T.type:=real} {L1.in:=L.in} {addtype(id.entry,L.in)} {addtype(id.entry,L.in)} 例1：设有文法如下，为此文法写出语义规则，输出配对的括号个数，如(a,(a,a))输出是2。 G：S′→S S →（L） S →a L →L,S L →S 例2：令S.Val为下列文法由S生成的二进制数的值，例如对输入101.101则S.Val=5.625 G：S →L.L|L L →LB|B B →0|1 按照语法制导翻译的方法，对每个产生式给出相应的语义规则。（P203 5） 后缀式并不局限于二元运算的表达式，可以推广到任何语句，只要遵守操作数在前，操作符紧跟其后的原则即可。典型的例子如if-then-else语句： if e then x else y 将if-then-else看作一个完整的操作符，则e、x和 y分别是三个操作数，这显然是一个三元运算。根据后缀式的特点，它的后缀式可以写为： exy if-then-else(记为: exy￥) 但是，这样的表示有个弱点。按照算法的计算次序，e、x和y均需计算，而实际上，根据条件e的取值，计算x则不计算y，计算y则不计算x。 * 语义处理功能： 1、静态语义审查：验证语法结构合理的程序是否真正有意义。 2、解释执行动态语义、生成代码：执行真正的翻译（生成中间代码或目标代码）。 8.1 属性文法 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