编译原理6中间代码优化.pptVIP

首先定义四个基本集合: IN[B] : 代表到达基本块 B 入口点时的各变量的所有定值点集; OUT[B]:代表到达基本块 B 出口点时的各变量的所有定值点集; GEN[B]:表示 B 中所定值的且到达 B 之后的定值点集; KILL[B]: 表示属于 B 外的定值点,而这些定值点所定值的变量在 B中又被重新定值 这几个集合满足如下方程: OUT[B]=(IN[B] - KILL(B)) ∪ GEN[B] IN[B] = OUT[p1] ∪ OUT[p2] ∪...... ∪ OUT[pk] p1 , p2...... pk 为B的前趋结点. 该方程即为到达------定值方程,求解该方程,得到IN[B] . * * * 局部优化 循环优化 优化目的: 提高运行速度, 减少存储空间. 第七章 中间代码优化 内容 : 第一节 优化概述 右面为循环的中间代码: 对该段中间代码,可以进行 如下优化: 1 删除多余运算 见(3),(6)两四元式的 4*I, (6) 可以改写为: T4:=T1, 从而减少了一次乘法. 参见下页四元式表 (1) PROD:=0 (2) I:=1 (3) T1:=4*I (4) T2:=addr(A)-4 (5) T3:=T2[T1] (6) T4:=4*I (7) T5:=addr(B)-4 (8) T6:=T5[T4] (9) T7:=T3*T6 (10) PROD:=PROD+T7 (11) I:= I+1 (12) if I=20 goto(3) (1) PROD:=0 (2) I:=1 (3) T1:=4*I (4) T2:=addr(A)-4 (5) T3:=T2[T1] (6) T4:=T1 (7) T5:=addr(B)-4 (8) T6:=T5[T4] (9) T7:=T3*T6 (10) PROD:=PROD+T7 (11) I:= I+1 (12) if I=20 goto(3) 2代码外提 (4)与(7)每次循环其值都 不变,称为循环不变量.可以放 到循环前,减少循环中的运算. 参见下页四元式表 (1) PROD:=0 (2) I:=1 (4) T2:=addr(A)-4 (7) T5:=addr(B)-4 (3) T1:=4*I (5) T3:=T2[T1] (6) T4:=T1 (8) T6:=T5[T4] (9) T7:=T3*T6 (10) PROD:=PROD+T7 (11) I:= I+1 (12) if I=20 goto(3) 3强度削弱 由于每次循环 I 都增加 1, 因此, T1递增 4 , 可把 (3) 改为 T1:=T1+4 ,放在(11)之后,并在 循环前对 I 赋初值 T1:=4*I. (12)改为 goto (5). 参见下页四元式表 (1) PROD:=0 (2) I:=1 (4) T2:=addr(A)-4 (7) T5:=addr(B)-4 (3) T1:=4*I (5) T3:=T2[T1] (6) T4:=T1 (8) T6:=T5[T4] (9) T7:=T3*T6 (10) PROD:=PROD+T7 (11) I:= I+1 (3’) T1:=T1+4 (12) if I=20 goto(5) 4变换控制条件 由于 I 只用作循环控制, 而 T1=4*I ,因此, 可用 T1 替 换 I , I=20 等价于 T1=80, 把(12)改为 if T1=80 goto(5) 这样, 可以删掉无用的 I . 参见下页四元式表 (1) PROD:=0 (2) I:=1 (4) T2:=addr(A)-4 (7) T5:=addr(B)-4 (3) T1:=4*I (5) T3:=T2[T1] (6) T4:=T1 (8) T6:=T5[T4] (9) T7:=T3*T6 (10) PROD:=PROD+T7 (3’) T1:=T1+4 (12) if T1=80 goto(5) 5合并已知量 由于(3)中的 I 在 (2)赋值后 仍然为 1,因此可改为: T1:=4 6 复写 (6)中 T1 复制到 T4,而(6)到 (8)之间没有改变T1 和 T4, 因此 (8) 可以改为: T6:=T5[T1] ,从而 使(6)式无用. 参见下页四元式表 (1) PROD:=0 (2) I:=1 (4) T2:=addr(A)-4 (7)