【精品】【考研计算机专业课】天津大学 编译原理讲义 控制语句的翻译5.4精品ppt课件.ppt

《【精品】【考研计算机专业课】天津大学 编译原理讲义 控制语句的翻译5.4精品ppt课件.ppt》由会员分享，可在线阅读，更多相关《【精品】【考研计算机专业课】天津大学 编译原理讲义 控制语句的翻译5.4精品ppt课件.ppt（23页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、【考研计算机专业课】天津大学 编译原理讲义 控制语句的翻译5.4考虑语句考虑语句:ifEthenS1elseS2(1)非终结符非终结符E具有两项语义值具有两项语义值E.TC和和E.FC，它们分别指出了，它们分别指出了尚需回填真、假出口的四元式串。尚需回填真、假出口的四元式串。E的的真真出口要扫描到出口要扫描到then才能知道，而才能知道，而假假出口要扫出口要扫描到描到else才能明确。为了能及时回填这些出口信息，须改写文才能明确。为了能及时回填这些出口信息，须改写文法。法。SCS|TPSCifEthenTPCSelseSifEthenS(1)|ifEthenS(1)elseS(2)ifEthe

2、nS1elseS2(2)CifEthen，当产生式进行规约时，当产生式进行规约时，E的的真真出口可以回出口可以回填，而填，而假假出口需要继续等待，因此要被传递下去。需要文法出口需要继续等待，因此要被传递下去。需要文法符号符号C记录此信息。记录此信息。对文法符号对文法符号C定义语义值定义语义值C.CHAIN，指向一条翻译完指向一条翻译完C后需要进行转移目标回填的四元式链。后需要进行转移目标回填的四元式链。C.CHAIN=E.FC可以对其它文法符号可以对其它文法符号S、TP同样定义语义值同样定义语义值S.CHAIN、TP.CHAIN。考虑语句考虑语句:whileEdoSE的代码的代码S的代码的代码

3、真真出口出口假假出口出口whileEdoS(1)S代码执行之后应产生一条转向测试代码执行之后应产生一条转向测试E的无条件转移指的无条件转移指令，因此在看到令，因此在看到while时必须记住时必须记住E开始四元式的位置。开始四元式的位置。SWdSWdWEdoWwhileSwhileEdoS(1)E的的真真出口要扫描到出口要扫描到do时才能知道。为了能及时回时才能知道。为了能及时回填这些信息，须改写文法。填这些信息，须改写文法。文法的各个产生式相应的语义动作文法的各个产生式相应的语义动作:(1)SCS(1)S.CHAIN=MERG(C.CHAIN,S(1).CHAIN)(2)STPS(2)S.CH

4、AIN=MERG(TP.CHAIN,S(2).CHAIN)(8)CifEthenBACKPATCH(E.TC,NXQ);C.CHAIN=E.FC(9)TPCS(1)elseq=NXQ；GEN(j,0);BACKPATCH(C.CHAIN,NXQ);TP.CHAIN=MERG(S(1).CHAIN,q)(10)WdWEdoBACKPATCH(E.TC,NXQ);Wd.CHAIN=E.FC;Wd.QUAD=W.QUAD(11)WwhileW.QUAD=NXQ(3)SWdS(1)BACKPATCH(S(1).CHAIN,Wd.QUAD);GEN(j,Wd.QUAD);S.CHAIN=Wd.CHAIN

5、(4)SbeginLendS.CHAIN=L.CHAIN(5)SAS.CHAIN=0/*空链空链*/(6)LLSS(1)L.CHAIN=S(1).CHAIN(7)LSL.CHAIN=S.CHAIN(12)LSL；BACKPATCH(L.CHAIN,NXQ)例例，有语句有语句:while(AB)doif(CD)thenx:=y+z；读入读入while，规约为，规约为W，W.QUAD=100，NXQ=100读入读入(AB)，规约为，规约为E，100(j,A,B,0)，真真，NXQ=101101(j,0)，假假，NXQ=102读入读入do，规约为规约为Wd，对对E.TC回填，回填，100(j,A,B

6、,102)Wd.CHAIN=E.FC=101Wd.QUAD=W.QUAD=100读入读入then，规约为，规约为C，对对E.TC回填，回填，102(j,C,D,104)C.CHAIN=E.FC=103读入读入(CD)，规约为，规约为E，102(j,C,D,0)，NXQ=103103(j,0)，NXQ=104读入读入if，读入读入x:=y+z，规约为，规约为A，104(+,y,z,T1)，NXQ=105105(:=,T1,x)，NXQ=106WDS(1)规约为规约为S，用用WD.QUAD回填回填S(1).CHAIN，103(j,100)生成生成106(j,100)，NXQ=107S.CHAIN=

7、WD.CHAIN=101A规约为规约为S，S.CHAIN=0CS(1)规约为规约为S，S.CHAIN=MERG(C.CHAIN,S(1).CHAIN)=103S归约为归约为L，L.CHAIN=S.CAHIN=101读入读入；，规约为，规约为LS，回填回填L.CHAIN，101(j,107)翻译结果为翻译结果为:100(j,A,B,102)101(j,107)102(j,C,D,104)103(j,100)104(+,y,z,T)105(:=,T,x)106(j,100)1075.4.3FOR语句的翻译语句的翻译文法文法:Sfori:=E(1)stepE(2)untilE(3)doS(1)按按A

8、LGOL语言的语义可理解为语言的语义可理解为:i=E(1)；gotoOVER；AGAIN:i=i+E(2)；OVER:if(iE(3)S(1)；gotoAGAINi=E(1)的代码的代码i=i+E(2)的代码的代码iE(3)的代码的代码S(1)的代码的代码AGAIN:OVER:(iE(3).TC(iE(3).FC(1)改写文法改写文法:Sfori:=E(1)stepE(2)untilE(3)doS(1)F1fori:=E(1)F2F1stepE(2)F3F2untilE(3)SF3doS(1)(2)引入语义值方便记录各种信息引入语义值方便记录各种信息i=E(1)的代码的代码i=i+E(2)的代

9、码的代码iE(3)的代码的代码S(1)的代码的代码AGAIN:OVER:(iE(3).TC(iE(3).FCF1.CHAINF1.QUADF2.QUADF3.QUADF3.CHAINS(1).CHAINS.CHAINF1.PLACEF2.PLACE(1)F1fori:=E(1)GEN(:=,E(1).PLACE,ENTRY(i);F1.PLACE=ENTRY(i);/*保留控制变量在符号表中的位置保留控制变量在符号表中的位置*/F1.CHAIN=NXQ;GEN(j,0);/*gotoOVER*/F1.QUAD=NXQ;/*保留保留AGAIN的地址的地址*/(2)F2F1stepE(2)F2.Q

10、UAD=F1.QUAD;/*保留保留AGAIN的地址的地址*/F2.PLACE=F1.PLACE;/*保留控制变量在符号表中的位置保留控制变量在符号表中的位置*/GEN(+,F1.PLACE，E(2).PLACE,F1.PLACE);BACKPATCH(F1.CHAIN,NXQ);/*完成上面的完成上面的gotoOVER*/(3)F3F2untilE(3)F3.QUAD=F2.QUAD;q=NXQ;GEN(j,F2.PLACE，E(3).PLACE,q+2);/*若若iE(3)转去执行循环体的第一个四元式转去执行循环体的第一个四元式*/F3.CHAIN=NXQ;GEN(j,0);/*转离循环转

11、离循环*/(4)SF3doSGEN(j,F3.QUAD);/*gotoAGAIN*/BACKPATCH(S(1).CHAIN,F3.QUAD);S.CHAIN=F3.CHAIN;/*转离循环的转移目标留待处理外层转离循环的转移目标留待处理外层S时再回填时再回填*/例例，fori:=1step1untilndoM:=M+i读入读入step1，归约为，归约为F2，F2.QUAD=F1.QUAD=102F2.PLACE=F1.PLACE=i102(+,i,“1”,i)NXQ=103回填回填F1.CHAIN，(101(j,103);读入读入fori:=1，归约为归约为F1，100(:=,“1”,i)N

12、XQ=101101(j,0)NXQ=102F1.PLACE=iF1.QUAD=102F1.CHAIN=101读入读入untiln，归约为，归约为F3，F3.QUAD=F2.QUAD=102103(j,I,N,105)NXQ=104104(j,0)NXQ=105F3.CHAIN=104读入读入M:=M+i，规约为，规约为S，形成，形成M:=M+i的代码的代码105(+,M,i,T1)NXQ=106106(:=,T1,M)NXQ=107读入读入dodoS(1)归约为归约为S，107(j,102)NXQ=108回填回填S(1).CHAIN，此时，此时S(1).CHAIN=0，不需要，不需要S.CHAIN=F3.CHAIN=104翻译结果翻译结果:100(:=,“1”,i)101(j,103)102(+,i,“1”,i)103(j,i,n,105)104(j,)105(+,M,i,T)106(:=,T,M)107(j,102)S.CHAIN=104需要等到整个语句翻译完后回填。需要等到整个语句翻译完后回填。