第11章 语义分析和中间代码生成.pptVIP

语义子程序 M → if B then { backpatch(B.T , ip); M.CHAIN := B.F} N → M S1 else { q := ip; emit (goto 0); backpatch(M.CHAIN , ip); N.CHAIN := merg(S1.CHAIN , q)} S → N S2 { S.CHAIN := merg(N.CHAIN , S2.CHAIN)} 例子：if ab then a:=a+b else a:=a-b if ab if BB.T=100100: if ab goto 0B.F=101101: goto 0 if B then Mbackpatch(100,102) M.CHAIN={101} M a:=a+b M S1102: t1=a+bS1.CHAIN={0} 103: a=t1 M S1 else Nq = 104104: goto 0 backpatch(M.CHAIN,105) N.CHAIN=merg(S1.CHAIN,q)={104} N a:=a-b N S2105: t2=a-bS2.CHAIN={0} 106: a=t2 SS.CHAIN=merg(N.CHAIN,S2.CHAIN)={104} 105 102 5. while语句的翻译 文法S → while B do S1 B的第一条三地址语句地址需记录。 用S1的第一条三地址语句的地址“回填”B.T链。 B S1 ? B为假 B为真S → while B do S1 改写文法： W → while D → W B do S → D S1 B S1 ? B为假 B为真翻译方案 W → while { W.CODE := ip } D → W B do { backpatch (B.T , ip); D.CHAIN := B.F; D.CODE := W.CODE} S → D S1 { backpatch(S1.CHAIN , D.CODE); emit (goto D.CODE); S.CHAIN := D.CHAIN} 6. for语句的翻译 文法 S → for i:=E1 step E2 until E3 do S1 其语义如图所示： S → for i:=E1 step E2 until E3 do S1 改造文法为： F1 → for i:=E1 F2 → F1 step E2 F3 → F2 until E3 S → F3 do S1 翻译方案 (1) F1 → for i:=E1 { P=entry(i.NAME); emit ( P, =, E1.PLACE ); F1.PLACE := P; F1.CHAIN: = ip; emit ( goto 0 ); F1.AGAIN := ip} (2) F2 → F1 step E2 { F2.AGAIN := F1.AGAIN; F2.PLACE := F1.PLACE; emit (F2.PLACE = F2.PLACE + E2.PLACE ,) backpatch ( F1.CHAIN , ip )} (3) F3 → F2 until E3 { F3.AGAIN := F2.AGAIN; F3.CHAIN := ip; emit ( if F2.PLACE E3.PLACE goto 0 ) ;} (4) S → F3 do S1 { emit ( goto F3.AGAIN ); backpatch ( S1.CHAIN , F3.AGAIN ); S.CHAIN := F3.CHAIN;} 习题 1. 对文法G(E)： E→E+T│T T→T*F│F F→(E) │i 给出表达式 (5*4+8)*3 的语法树，并注明各结点的语义值VAL。 2. 写出表达式 -(a+b)*(c+d)-(a+b+c) 的翻译过程。 3. 写出赋值语句 A:=B*(-C+D) 的翻译过程。 4. 对下列翻译方案 S → PS { print 1 } S → PQ { print 2 } P → a { print 3 } Q → bR { print 4 } Q → dQ { print 5 } R → c { print 6 } 当输入串为 aaadbc 时，翻译结果是什么？ 5. 写出语句 if CD then while AB do x:=y+2*z 的翻译过程。 6. 写出语句 while AC do if A=1 then C:=C+1 else while AD do A:=A+2 的翻