第4章节语法制导翻译生成中间代码.pptVIP

* 4.7 布尔表达式 拉链与回填 翻译方案需要解决的两个问题： 如何实现表达式的真、假出口； 如何在语法分析的同时正确生成三地址码序列，即所有的转向均可确定。 换句话讲，设计一种什么样的翻译方案，使得仅对分析树进行一次遍历(LR分析中就是对分析树的一次自下而上的遍历)即可生成所需的中间代码序列。 拉链与回填的基本思想： 当三地址码中的转向不确定时，将所有转向同一地址的三地址码拉成一个链； 一旦所转向的地址被确定，则沿此链将所有的三地址码中回填入此地址。 * 4.7 布尔表达式 新增函数与属性： 属性.tc：真出口链，链接所有转向真出口的三地址码； 属性.fc：假出口链，链接所有转向假出口的三地址码。 函数mkchain(i)：为序号为i的三地址码构造一个新链，且返回指向该链的指针； 函数merge(P1，P2)：合并链P1和P2，且P2成为合并后的链头，并返回链头指针； 过程backpatch(P，i)：将P链中所有链域均回填为i值。 (i) goto - ... (j) goto - ... (k) p1:=mkchain(i)、p2:=mkchain(j) p2:=merge(P1, P2) backpatch(P2, k) (i) goto k ... (j) goto k ... (k) * 4.7 布尔表达式 属性与语义规则 属性.stat：记录当前第一个可用三地址码的序号。 短路计算的翻译方案(增加M产生式，以适应LR分析)： (1)M→ε {M.stat:=nextstat;} (2)E→E1 or M E2 {backpatch(E1.fc, M.stat); E.tc:=merge(E1.tc, E2.tc); E.fc:=E2.fc;} (3) |E1 and M E2 (将或产生式中的.tc与.fc交换即得) (4) |not E1 {E.tc:=E1.fc; E.fc:=E1.tc;} (5) |(E1) {E.tc:=E1.tc; E.fc:=E1.fc;} * 4.7 布尔表达式 (6) E→id1 relop id2 {E.tc:=mkchain(nextstat); E.fc:=mkchain(nextstat+1); emit(if id1.place relop.op id2.place goto -); emit(goto -); } (7) |id {E.tc:=mkchain(nextstat); E.fc:=mkchain(nextstat+1); emit(if id.place goto -); emit(goto -); } (8) |true {E.tc:=mkchain(nextstat); emit(goto -);} (9) |false {E.fc:=mkchain(nextstat); emit(goto -);} * 4.7 布尔表达式 布尔表达式ab or cd and ef * 4.7 布尔表达式 对照 if ab goto LT goto L2 L2: if cd goto L1 goto LF L1: if ef goto LT goto LF 序号 产生式 三地址码 (1) E1→ab (1) if ab goto - (2) goto 3 (2) M1→ε (3) E2→cd (3) if cd goto 5 (4) goto - (4) M2→ε (5) E3→ef (5) if ef goto - (6) goto - (6) E4→E2 and M2 E3 回填(3) (7) E5→E1 or M1 E4 回填(2) * 上次课总结 布尔表达式的计算 直接计算、短路计算 短路计算必要性：避免运行时错误 拉链与回填 * 4.8 控制语句 四类控制语句： 无条件转移：goto、exit、break 条件转移：if then else，while do 循环：for loop 分支：case、switch 控制语句基于的文法: S→ id:S (1) // 带标号的语句 | goto id (2) // goto语句 | if E then S (3) | if E then S else S (4) | while E do S (5) | A | begin L end (6)(7) // 赋值和组合语句 L→ L;S | S (8) // 语句序列 * 4.8 控制语句 标号与无条件转移 无条件转移的两个要素