华东理工编译原理第8章.ppt

第8章语法制导翻译和中间代码生成 8.1 属性文法 一个属性文法包含一个上下文无关文法和一系列语义规则，这些语义规则附在文法的每个产生式上 语义规描述了一些动作，实现语义处理 属性文法的定义 一个属性文法是一个三元组A=(G，V，F); G: 上下文无关文法 V: 属性的有穷集 F: 关于属性的断言或谓词的有穷集 一个类型检查的属性文法 E?T1+T2 {T1.t=int AND T2.t=int} E?T1orT2 {T1.t=bool AND T2.t=bool} T?num {T.t:=int} T?true {T.t:=bool} T?false {T.t:=bool} 例8.1 简单算术表达式求值的语义描述 产生式 (0) L?E (1) E?E1+T (2) E?T (3) T?T1*F (4) T?F (5) F?(E) (6) F?digit 每个非终结符都有一个属性val，它是一个整数值 对每个产生式来说，它的左部的属性值的计算来自它右部的非终结符 单词digit的属性lexval，即数值是由词法分析程序提供的 8.2 语法制导翻译概论 在语法分析过程中，根据每个产生式所对应的语义子程序进行翻译的办法称作语法制导翻译 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 简单算术表达式的语法制导翻译 语义处理是计算表达式的值 语法分析方法是自下而上的。 在进行归约的同时就执行相应的语义动作 扩充 LR分析器中的分析栈 带语义动作的 LR分析过程 ab or cd and ef的翻译 104 103 105 goto 0 if ab goto 0 102 101 100 101 E1.false 100 E1.true 100 E1.codebegin ab or cd and ef的翻译 104 goto 0 103 105 if cd goto 0 goto 0 if ab goto 0 102 101 100 101 E1.false 100 E1.true 100 E1.codebegin 103 E2.false 102 E2.true 102 E2.codebegin ab or cd and ef的翻译 if ef goto 0 104 goto 0 103 goto 0 105 if cd goto 0 goto 0 if ab goto 0 102 101 100 101 E1.false 100 E1.true 100 E1.codebegin 103 E2.false 102 E2.true 102 E2.codebegin 105 E3.false 104 E3.true 104 E3.codebegin ab or cd and ef的翻译 if ef goto 0 104 goto 0 103 goto 0 105 if cd goto 0 goto 0 if ab goto 0 102 101 100 101 E1.false 100 E1.true 100 E1.codebegin 103 E1.false 102 E1.true 102 E1.codebegin 105 E2.false 104 E2.true 104 E2.codebegin a＜b or c＜d and ef 的翻译： bakcpatch(E1.true，E2.codebegin);