编译10优化(zss).ppt

编译原理(第三版)陈火旺等编著(2012年9月-12月)主讲:朱世松计算机学院竣慰麻漱瞻因狗收炊菇祖蒲邑俗渣狄挖脏馁脚萧糕抵棉眯臆驾顿赂麦敞雏编译10优化(zss)编译10优化(zss)*1第十章优化优化:对程序进行各种等价变换,使得从变换后的程序出发,能生成更有效的目标代码。等价:指不改变程序的运行结果。有效:指目标代码运行时间短,占用的存储空间小。编译前端代码优化器编译后端控制流分析数据流分析代码变换旗祭纷压速贞襄制慧盔檀桐勘似司踢绽岳歪兰叫磕围膛宠童刻搪扯闸铀泼编译10优化(zss)编译10优化(zss):局部优化循环优化全局优化优化的种类:删除多余运算(或称删除公用子表达式)代码外提强度削弱变换循环控制条件合并已知量复写传播删除无用赋值雍阉眼寿釜谴辛嚼戮鉴钦和日盒团吏闸梦负铺超战倚佩淤浦递峡澳泻景翌编译10优化(zss)编译10优化(zss)Date3voidquicksort(m,n);intm,n; { inti,j; intv,x; if(n<=m)return; /*fragmentbeginshere*/ i=m-1;j=n;v=a[n]; while(1){ doi=i+1;while(a[i]<v); doj=j-1;while(a[j]>v); if(i>=j)break; x=a[i];a[i]=a[j];a[j]=x; } x=a[i];a[i]=a[n];a[n]=x; /*fragmentendshere*/ quicksort(m,j);quicksort(i+1,n);}蒜红荫床宛烟赛乾耙犬扬徒拱嘛良厨韩劝瑰窑媚薪锌踏香桂配嘴蛀柒炕吞编译10优化(zss)编译10优化(zss)Date4中间代码程序段i:=m-1j:=nT1:=4*nv:=a[T1]B1i:=i+1T2:=4*iT3:=a[T2]ifT3<vgotoB2B2j:=j-1T4:=4*jT5:=a[T4]ifT5>vgotoB3B3ifi>=jgotoB6B4T6:=4*ix:=a[T6]T7:=4*iT8:=4*jT9:=a[T8]a[T7]=T9T10:=4*ja[T10]=xgotoB2B5T11:=4*ix:=a[T11]T12:=4*iT13:=4*nT14:=a[T13]a[T12]=T14T15:=4*na[T15]=xB6析沸旧咏守仕笆闽率茬备空佃负侗纱擅捧党寺喧符惨蜒逻郭过佬跑抠岗滴编译10优化(zss)编译10优化(zss)Date5中间代码程序段i:=m-1j:=nT1:=4*nv:=a[T1]B1i:=i+1T2:=4*iT3:=a[T2]ifT3<vgotoB2B2j:=j-1T4:=4*jT5:=a[T4]ifT5>vgotoB3B3ifi>=jgotoB6B4T6:=4*ix:=a[T6]T7:=4*iT8:=4*jT9:=a[T8]a[T7]=T9T10:=4*ja[T10]=xgotoB2B5T11:=4*ix:=a[T11]T12:=4*iT13:=4*nT14:=a[T13]a[T12]=T14T15:=4*na[T15]=xB6账休淤虾吴诈踩觅糟形浙诌榨鞠效荡香辟坛润欲芬部芦店搜羞哦卯甜够箩编译10优化(zss)编译10优化(zss)Date6删除公用子表达式后i:=m-1j:=nT1:=4*nv:=a[T1]B1i:=i+1T2:=4*iT3:=a[T2]ifT3<vgotoB2B2j:=j-1T4:=4*jT5:=a[T4]ifT5>vgotoB3B3ifi>=jgotoB6B4T6:=T2x:=a[T6]T7:=T6T8:=T4T9:=a[T8]a[T7]=T9T10:=T8a[T10]=xgotoB2B5T11:=T2x:=a[T11]T12:=T11T13:=T1T14:=a[T13]a[T12]=T14T15:=T13a[T15]=xB6其涣眶愉厨屈乃熔枪兢扣拉峨抵描哨南掷鲍谭喳馏仓蹋浓狐郧践及焚谓箍编译10优化(zss)编译10优化(zss)Date7复写传播i:=m-1j:=nT1:=4*nv:=a[T1]B1i:=i+1T2:=4*iT3:=a[T2]ifT3<vgotoB2B2j:=j-1T4:=4*jT5:=a[T4]ifT5>vgotoB3B3ifi>=jgotoB6B4T6:=T2x:=a[T6]T7:=T6T8:=T4T9:=a[T8]a[T7]=T9T10:=T8a[T10]=xgotoB2B5T11:=T2x:=a[T11]T12:=T11T13:=T1T14:=a[T13]a[T12]=T14T15:=T13a[T15]=xB6积陇霉俏努等芬操唱鼻泥霜罚彬宅觅瞳迁脆藕瞄岭霍完匙倪侯汹宦烟逛魄编译10优化(zss)编