程序设计语言与编译ppt课件_9.3 全局优化.pptxVIP

第九章代码优化;局部优化就是基本块之间的优化，常用的方法包括

1. 删除死代码

ifxgotoL1

ifzxgotoL1

如果x的值固定为“真”或“假”，则其中一个分支永远不会执行，这些分支的代码称为“死代码”，可以删除。

;2. 代码外提

对x=opy或x=yopz，如果y、z均为循环不变量，则该运算为循环不变运算，优化时将该运算提到循环入口结点之前所增设的结点中去。

;3. 强度削弱

设计数器循环的基本归纳变量为i，每次循环i=i?c（c为常数），

与i同族的归纳变量为j=c1*i?c2（c1、c2为常数），

基本归纳变量i每循环一次增加或减少c，与i同族的归纳变量j相应增加或减少c1*c。因此，计算j的乘法可由加法来代替：

j=j+c1*c（c1*c为常数）

;4. 删除归纳变量

用同族归纳变量代替基本归纳变量作为循环判断的条件，

例如：循环判断的条件为i10，

若有j=10*i+5，则可将循环判断的条件改为j105，

如基本归纳i别无它用，则可将其删除。

;[B1]

……

x=1

ifz1gotoL10

;[B1]

……

x=1

;[B1]

……

x=1

t10=x+y

y=t10

;优化前：;[B5]

t13=a*b

t14=t13+c

i=t14

t15=a*x

t16=t15+c

j=t16

t17=x-1;[B5’]

t13=a*b

t14=t13+c

i=t14

;[B5’]

t13=a*b

t14=t13+c

i=t14

t15=a*x

t16=t15+c

j=t16

;[B5’]

t13=a*b

t14=t13+c

i=t14

t15=a*x

t16=t15+c

j=t16

;优化前：;……

i=1

t0=i+2

j=t0

x=j

t1=a*b

t2=a*b

t3=t2*c

t4=t1+t3

t5=a*b

t6=t5*c

;……

i=1

j=3

t1=a*b

t3=t1*c

t4=t1+t3

t7=t3*3

t8=t4+t7

y=t8

x=1

t10=x+y