编译10优化(zss)

《编译10优化(zss)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、编译原理(第三版)陈火旺等编著（2012年9月-12月）主讲：朱世松计算机学院第十章优化优化：对程序进行各种等价变换，使得从变换后的程序出发，能生成更有效的目标代码。等价：指不改变程序的运行结果。有效：指目标代码运行时间短，占用的存储空间小。编译前端代码优化器编译后端控制流分析数据流分析代码变换10/7/2021210.1概述优化的三个不同级别：局部优化循环优化全局优化优化的种类：删除多余运算(或称删除公用子表达式)代码外提强度削弱变换循环控制条件合并已知量复写传播删除无用赋值10/7/20213voidquicksort(m,n);i

2、ntm,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);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/7/20214中间代码程序段i:=m-1j:=n

3、T1:=4*nv:=a[T1]B1i:=i+1T2:=4*iT3:=a[T2]ifT3vgotoB3B3ifi>=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]=xB610/7/20215中间代码程序段i:=m-1j:=

4、nT1:=4*nv:=a[T1]B1i:=i+1T2:=4*iT3:=a[T2]ifT3vgotoB3B3ifi>=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]=xB610/7/20216删除公用子表达式后i:=m-1

5、j:=nT1:=4*nv:=a[T1]B1i:=i+1T2:=4*iT3:=a[T2]ifT3vgotoB3B3ifi>=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]=xB610/7/20217复写传播i:=m-1j:=nT1:=

6、4*nv:=a[T1]B1i:=i+1T2:=4*iT3:=a[T2]ifT3vgotoB3B3ifi>=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]=xB610/7/20218复写传播(一)后i:=m-1j:=nT1:=4*nv

7、:=a[T1]B1i:=i+1T2:=4*iT3:=a[T2]ifT3vgotoB3B3ifi>=jgotoB6B4T6:=T2x:=a[T2]T7:=T2T8:=T4T9:=a[T4]a[T2]=T9T10:=T4a[T4]=xgotoB2B5T11:=T2x:=a[T2]T12:=T2T13:=T1T14:=a[T1]a[T2]=T14T15:=T1a[T1]=xB610/7/20219复写传播(一)后i:=m-1j:=nT1:=4*nv:=a[T1]B1i:

8、=i+1T2:=4*iT3:=a[T2]ifT3vgotoB3B3ifi>=jgotoB6B4T6:=T2x:=a[T2]T7:=T