编译原理第七章 主讲教师雷向东.pptVIP

(1)S→if E then M1 S1 N else M2 S2 {backpatch(E.truelist, M1.quade); backpatch(E.falseliat,M2.quade); S.next:=merge(S1.nextlist, N.nextlist, S2.nextlist)} (2)N→ε {N.nextlist:=makelist(nextquade); emit(‘j, _, _, 0’)} (3)M→ε {M.quade:=nextquade} (4)S→if E then M S1; {backpatch(E.truelist, M.quade); S.nextlist:=merge(E.falselist, S1.nextlist)} (5) S→while M1 E do M2 S1 {backpatch(S1.nextlist, M1.quade); backpatch(E.truelist, M2.quade); S.nextlist:=E.falselist emit(‘j, _, _,M1.quade)} 现在，我们来构造一个翻译模式，使之能在自底向上的分析过程中生成布尔表达式的四元式代码。在文法中插入了标记非终结符M，以便在适当的时候执行一个语义动作，记下下一个将要产生的四元式标码。使用的文法如下： (1) E→E1 or M E2 (2) E→E1 and M E2 (3) E→not E1 (4) E→(E1) (5) E→id1 relop id2 (6) E→true (7) E→false (8) M→ε M E2 or E1 E.falselist E1.truelist E2.truelist E or E语句的语义动作 E.truelist E2.falselist E.falseist M E2 and E1 E.truelist E1.falselist E2.falselist E and M 语句的语义动作 E.falselist E2.truelist E.truelist 布尔表达式的翻译模式如下 (1) E→E1 or M E2 {backpatch(E1.falselist, M.quade); E.truelist:=merge(E1.truelist, E2.truelist); E.falselist:=E2.falselist} (2) E→E1 and M E2 {backpatch(E1.truelist, M.quade); E.truelist:=E2.truelist;