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

改写含控制语句的文法： L →L;S L →S S →A S→C S1 C→ if E then S→ TPS2 TP→ C S1 else S→ Wd S1 Wd→W E do W →while S→if E then S1 S→ if E then S1 else S2 S→ while E do S1 改写后文法的翻译模式： S→C S1 C→ if E then S→ TPS2 TP→ C S1 else {S.CHAIN=merge(C.CHAIN,S1.CHAIN)} {backpatch(E.true,nextq); C.CHAIN=E.false;} {S.CHAIN=merge(TP.CHAIN,S2.CHAIN)} {q=nextq; emit( goto --); backpatch(C.CHAIN,nextq); TP.CHAIN= merge(S1.CHAIN,q);} 改写后文法的翻译模式： S→ Wd S1 Wd→W E do W →while {W.bcode=nextq;} {backpatch(E.true,nextq); Wd.CHAIN=E.false; Wd. bcode=W.bcode} {backpatch(S1.CHAIN, Wd. bcode); emit(goto Wd. bcode ); S.CHAIN=Wd.CHAIN;} 考虑语句while A or BD do if x6 then x=x-1 else y=x+1 依次分析，经过回填得到如下三地址代码： 100： if A goto 104 101： goto 102 102：if B＜D goto 104 103： goto---- 104：if x6 goto 106 105: goto 109 106: t1=x-1 107: x=t1 108: goto 100 109: t2=x+1 110: y=t2 111: goto 100 112: 改写后文法的翻译模式： S→ Wd S1 Wd→W E do W →while {W.bcode=nextq;} {backpatch(E.true,nextq); Wd.CHAIN=E.false; Wd. bcode=W.bcode} {backpatch(S1.CHAIN, Wd. bcode); emit(goto Wd. bcode ); S.CHAIN=Wd.CHAIN;} 5.5.4 循环语句的翻译 循环语句：for i=E1 step E2 until E3 do S1 i=E1 S.next: i?E3 S1.code E3.true: E3.false: i=i+E2 goto S.begin ... S.begin: to E3.false to E3.true 代码结构1： 5.5.4 循环语句的翻译 循环语句：for i=E1 step E2 until E3 do S1 代码结构2： i=E1； S.next: if (i?E3) S1.code OVER: E3.false: goto AGAIN ... AGAIN: goto OVER； i=i+E2； E3.true: 改写文法为： S →F3 do S1 F3 → F2 until E3 F2 → F1 step E2 F1 →for i=E1 改写后文法的翻译模式： {emit(lookup(i.name)=E1.place); F1.place=lookup(i.name); F1.chain=nextq; emit(goto ----); F1.bcode=nextq;} {F2.bcode=F1.bcode; F2.place= F1.place; emit(F1.place= F1.place+E2.place); backpatch(F1.CHAIN, nextq);} S →F3 do S1 F3 → F2 until E3 F2 → F1 step E2 F1 →for i=E1 i=E1； S.next: if (i?E3) S1.code OVER: E3.false: goto AGAIN ... AGAIN: goto OVER； i=i+E2； E3.true: 改写后文法的翻译模式： {F3.bcode=F2.bcode; q=nextq; emit(if F2