计算机复试编译原理哈工大课件ch81

1122VoidInt{intI,j;intv,x;if(n<=m)Do{I=I+1;}while}}3VoidInt{intI,j;intv,x;if(n<=m)Do{I=I+1;}while}}3gotoItofgotoItofo4gotob2IfI>=jgotoIft5<vgotoIft3<vgoto式5式5gotob2gotob26gotob2gotob2677在B5中t6=t2，而x=a[t6]中引用了而x=a[t6]改写为x=a[t2]这种变换称为8在B5中t6=t2，而x=a[t6]中引用了而x=a[t6]改写为x=a[t2]这种变换称为8gotoB29tft5<vgotoift3<vgotogotoB29tft5<vgotoift3<vgoto时变量t6,t7,t8,t9,时变量t6,t7,t8,t9,ift5<vgotoift3<vgotoift5<vgotoift3<vgotoi=iift5<vgotoiftfoift3<vgotoi=iift5<vgotoiftfoift3<vgotoB2[t]gotoift3<vgotoifift2>=t4gotoift5<vgotogotoB2[t]gotoift3<vgotoifift2>=t4gotoift5<vgotogoto其中只有一个入口和一个出口，入口就其中只有一个入口和一个出口，入口就条件转移语句转到的语句③条件转移语句转到的语句③①read中间②read③r=xmod④ifr=0goto⑤⑥⑦goto⑧write⑨①read中间②read③r=xmod④ifr=0goto⑤⑥⑦goto⑧write⑨入口语句、③、⑤、基本块①、③、④；⑤、⑥、基本块内除可用：删除公共子表达复写传删除无用赋还可用下面的变换入口语句、③、⑤、基本块①、③、④；⑤、⑥、基本块内除可用：删除公共子表达复写传删除无用赋还可用下面的变换二、图2。B2紧跟在B1后面（且B1最后语不是无条件转移语句此时称B2为B1的后继，B1为B2的前B2二、图2。B2紧跟在B1后面（且B1最后语不是无条件转移语句此时称B2为B1的后继，B1为B2的前B2B序上例流图为①read②⑤⑥⑦goto⑧write⑨程上例流图为①read②⑤⑥⑦goto⑧write⑨程基本块的DAG表示及其应一。定A*基本块的DAG表示及其应一。定A*①基G②③④⑤⑥⑦⑧⑩①基G②③④⑤⑥⑦⑧⑩B*DAGA*T2-+rRB*DAGA*T2-+rR二。约A=opA=Bop三。构造DAG算作二。约A=opA=Bop三。构造DAG算作3、A记B，且让NODE(B)=nBAn3、A记B，且让NODE(B)=nBAn4、A=op记B，且让NODE(B)=nA=-Bpnn-P，n=NODE(P)4、A=op记B，且让NODE(B)=nA=-Bpnn-P，n=NODE(P)NODE(B)AnBiNODE(B)AnBi③RrBOPC(合并已知量)，令产生的新常数为②③RrBOPC(合并已知量)，令产生的新常数为②③公共达+Rr删除无用值③公共达+Rr删除无用值B①*2=R+④⑤⑥⑦⑧A,B*T2+-rRB①*2=R+④⑤⑥⑦⑧A,B*T2+-rRB*A*T2-+rRB*A*T2-+rR的中间代码由①①②③④⑤⑥⑦⑧⑩②③④⑤⑥⑦⑨知量②⑥G’已删的中间代码由①①②③④⑤⑥⑦⑧⑩②③④⑤⑥⑦⑨知量②⑥G’已删假0、T1、T2、T3、T4、T5T6在后面的基本块中都不使用假0、T1、T2、T3、T4、T5T6在后面的基本块中都不使用IntForI=1to10doIntForI=1to10do（2）ifI>10goto(14)GOTOB2图（2）ifI>10goto(14)GOTOB2图)（2）ifI>10goto(14)GOTOB2提)（2）ifI>10goto(14)GOTOB2提)（2）ifI>10goto弱)（2）ifI>10goto弱而*i+是循环不变量而*i+是循环不变量(6)T4=addr(A)-（2）ifI>10goto(14)GOTOB2(5)=T2+T1弱(6)T4=addr(A)-（2）ifI>10goto(14)GOTOB2(5)=T2+T1弱(6)T4=addr(A)-删（2）ifT3>Rgoto量(14)GOTOB2(6)T4=addr(A)-删（2）ifT3>Rgoto量(14)GOTOB28.4并尽可能用更小更短的指令8.4并尽可能用更小更短的指令8.4.1R0,a2.8.4.1R0,a2.8.4.20if(debug)}8.4.20if(debug)}debug=1gotogotogotodebug=1gotogotogoto0≠goto0≠goto无条件转移到无条件转移的指令、无