第12章代码优化和目标代码生成分析.ppt

基本归纳变量：i := i ? c （c为常数） 同族归纳变量：j := c1*i ? c2 （c1、c2为常数） 基本归纳变量i每循环一次增加或减少c，与i同族的归纳变量j相应增加或减少c1*c。因此，计算j的乘法可由加法来代替： j := j + c1*c （c1*c为常数） 2. 强度削弱 用同族归纳变量作为判断条件，如基本归纳别无它用，则可将其删除。 例如：j = 10 * i + 5，判断条件为 i 10 ，则 将 i 10 改为 j 105，同时删除i相关的语句。 3. 删除归纳变量 全局优化实例 (1)i:=1 (2)if i10 goto (16) (3)t1:=2*j (4)t2:=10*i (5)t3:=t2+t1 (6)t4:=a0-11 (7)t5:=2*j (8)t6:=10*i (9)t7:=t6+t5 (10)t8:=a0-11 (11)t9:=t8[t7] (12)t10:=t9+1 (13)t4[t3]:=t10 (14)i:=i+1 (15)goto (2) (16) …... B1 B2 B3 B4 1. 代码外提 (3) (6) (7) (10) (1)i:=1 (2)if i10 goto (16) (3)t1:=2*j (4)t2:=10*i (5)t3:=t2+t1 (6)t4:=a0-11 (7)t5:=2*j (8)t6:=10*i (9)t7:=t6+t5 (10)t8:=a0-11 (11)t9:=t8[t7] (12)t10:=t9+1 (13)t4[t3]:=t10 (14)i:=i+1 (15)goto (2) (16) …... B1 B2 B3 B4 2. 强度削弱 (4) (5) (8) (9) (1)i:=1 (4)t2:=10*i (5)t3:=t2+t1 (8)t6:=10*i (9)t7:=t6+t5 (11)t9:=t8[t7] (12)t10:=t9+1 (13)t4[t3]:=t10 (14)i:=i+1 (15)goto (2) (16) …... (2)if i10 goto (16) (3)t1:=2*j (6)t4:=a0-11 (7)t5:=2*j (10)t8:=a0-11 B1 B2’ B2 B3 B4 3.删除归纳变量 (2) (14) (1)i:=1 (4’)t2:=t2+10 (5’)t3:=t3+10 (8’)t6:=t6+10 (9’)t7:=t7+10 (11)t9:=t8[t7] (12)t10:=t9+1 (13)t4[t3]:=t10 (14)i:=i+1 (15)goto (2) (16) …... (2)if i10 goto (16) (3)t1:=2*j (6)t4:=a0-11 (7)t5:=2*j (10)t8:=a0-11 (4)t2:=10*i (5)t3:=t2+t1 (8)t6:=10*i (9)t7:=t6+t5 B1 B2’ B2 B3 B4 4.其它优化 (1)i:=1 (4’)t2:=t2+10 (5’)t3:=t3+10 (8’)t6:=t6+10 (9’)t7:=t7+10 (11)t9:=t8[t7] (12)t10:=t9+1 (13)t4[t3]:=t10 (15)goto (2’’) (16) …... (2’’)if t3s goto (16) (3)t1:=2*j (6)t4:=a0-11 (7)t5:=2*j (10)t8:=a0-11 (4)t2:=10*i (8)t6:=10*i (5)t3:=t2+t1 (9)t7:=t6+t5 (2’)s:=100+t1 B1 B2’ B2 B3 B4 5. 其它优化后 (1)i:=1 (5’)t3:=t3+10 (9’)t7:=t7+10 (11)t9:=t8[t7] (12)t10:=t9+1 (13)t4[t3]:=t10 (15)goto (2’’) (16) …... (2’’)if t3s goto (16) (3)t1:=2*j (6)t4:=a0-11 (7)t5:=2*j (10)t8:=a0-11 (4)t2:=10*i (8)t6:=10*