第8章语法制导翻译和中间代码生成lly.pptxVIP

第八章 语法制导翻译和中间代码;语义分析; 8.1 属性文法;表达式文法 E→T+T| T or T T → n | true|false;;在语法制导定义中，一条语义规则完成一个计算属性值的动作。digit是终结符，只使用综合属性，且其属性值由词法分析器提供，通常不要计算属性值。;继承属性;语句real a1,a2,a3的分析树，采用自上而下的分析方法; 8.2 语法制导翻译概论;8.3 中间代码的形成;逆波兰记号（后缀式）;逆波兰记号的扩充用途;逆波兰示例（以算术表达式a+a?a最左推导说明）;确定输入a+a?a的输出： (E,E)?(E+T,ET+) ?(T+T,TT+) ?(F+T,FT+) ?(a+T,aT+) ?(a+T?F,aFF?+) ?(a+F?F,aFF?+) ?(a+a?F,aaF?+) ?(a+a?a,aaa?+);三元式和树形表示;四元式;四元式的直观表示;8.4 简单赋值语句的翻译; (1) S ?id := E { P:=lookup (id.name) ; if P?nil then emit( P“:=”E.place) else error } (2) E?E1+E2 // -，* ，/ { E.place:= newtemp; emit(E.place“:=” E1.place“+”E2.place) } (3) E? - E1 { E.place:=newtemp; emit(E.place“:=”“uminus” E1.place)} (4) E?( E1) { E.place:= E1.place} (5) E?id { P:=lookup(id.name); if P?nil then E.place:=P else error} x=a+b-c 例（有二义，设+优先，自下而上分析） 思考：人如何处理？人的思维与语义子程序设计关系？;8.5 布尔表达式到四元式的翻译; 布尔表达式的计值方法; 作为逻辑计值的布尔表达式的翻译;控制语句中布尔表达式的翻译; 我们通过观察 “if-语句” 和 “while-语句”中布尔表达式的作用可以知道：;优化计算;（ jnz ，A， ， p）若A为真，则转到第p号四元式去执行 （ jrop，A，B， p）若A rop B为真，则到第p号四元式去执行 （ j ， ， ， p） 无条件转到第p号四元式去执行;if A∨BD then x:=y+z else x := y-z; 由于在分析过程中，一个布尔表达式的“真/假出口”往往不能在产生四元式的同时就填上。所以我们常采用“拉链——回填”的方式来处理。为此，对布尔表达式E我们赋予两个属性（语义值）：;r (～，～，～，0);…………; 引入以下属性和子程序：;布尔表达式自下而上分析中的一种翻译方案：;(4) E→(E1) { E.true:= E1.true; E.Codebegin:= E1.codebegin; E.false:= E1.false} (5) E→id1 rop id2 { E.true:=nextstat; E.Codebegin:=nextstat; E.false:=nextstat+1; emit(‘if’id1.place‘rop’id2.place ‘goto’–); emit(‘goto’-)} (6) E→id { E.true:=nextstat; E.codebegin:=nextstat;