第十章 优化 http://sei.nudt.edu.cn/cp 网上教学系统: 070606302: 编译原理 第十章 优化 http://sei.nudt.edu.cn/cp 网上教学系统: 070606302: 编译原理.

Presentation on theme: "第十章 优化 http://sei.nudt.edu.cn/cp 网上教学系统: 070606302: 编译原理 第十章 优化 http://sei.nudt.edu.cn/cp 网上教学系统: 070606302: 编译原理."— Presentation transcript:

1 第十章 优化 http://sei.nudt.edu.cn/cp 网上教学系统: 070606302: 编译原理
第十章 优化 网上教学系统: : 编译原理

2 源程序 表 词法分析器 出 单词符号 格 错 语法分析器 管 处 语法单位 理 理 中间代码生成器 四元式 优化段 四元式 目标代码生成器
国防科技大学计算机系602教研室

3 第十章 优化 优化：对程序进行各种等价变换，使得从变换后的程序出发，能生成更有效的目标代码。 等价：指不改变程序的运行结果。
第十章 优化 优化：对程序进行各种等价变换，使得从变换后的程序出发，能生成更有效的目标代码。 等价：指不改变程序的运行结果。 有效：指目标代码运行时间短，占用的存储空间小。 编译前端 代码优化器 编译后端 控制流分析 数据流分析 代码变换 国防科技大学计算机系602教研室

4 10.1 概述 优化的目的是为了产生更高效的代码。由优化编译程序提供的对代码的各种变换必须遵循一定的原则：
等价原则：经过优化后不应改变程序运行的结果； 有效原则：使优化后所产生的目标代码运行时间较短，占用的存储空间较小； 合算原则：应尽可能以较低的代价取得较好的优化效果。 国防科技大学计算机系602教研室

5 10.1 概述 优化的三个不同级别： 优化的种类： 局部优化 循环优化 全局优化 删除多余运算(或称删除公用子表达式) 代码外提 强度消弱
变换循环控制条件 合并已知量 复写传播 删除无用赋值 国防科技大学计算机系602教研室

6 /* fragment begins here*/ i=m-1; j=n; v=a [n]; while (1) {
void quicksort (m, n); int m, n; { int i, j; int v, x; if (n<=m) return; /* fragment begins here*/ i=m-1; j=n; v=a [n]; while (1) { do i=i+1; while (a [i]<v); do j=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; /*fragment ends here*/ quicksort (m, j); quicksort (i+1, n); 国防科技大学计算机系602教研室

7 中间代码程序段 B1 B2 B3 B4 B5 B6 i:=m-1 j:=n T1:=4*n v:=a[T1]
i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 T6:=4*i x:=a [T6] T7:=4*i T8:=4*j T9:=a [T8] a [T7]=T9 T10:= 4*j a [T10]=x goto B2 B5 T11:=4*i x:=a [T11] T12:=4*i T13:=4*n T14:=a [T13] a [T12]=T14 T15:= 4*n a [T15]=x B6 中间代码程序段 国防科技大学计算机系602教研室

8 中间代码程序段 B1 B2 B3 B4 B5 B6 i:=m-1 j:=n T1:=4*n v:=a[T1]
i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 T6:=4*i x:=a [T6] T7:=4*i T8:=4*j T9:=a [T8] a [T7]=T9 T10:= 4*j a [T10]=x goto B2 B5 T11:=4*i x:=a [T11] T12:=4*i T13:=4*n T14:=a [T13] a [T12]=T14 T15:= 4*n a [T15]=x B6 中间代码程序段 国防科技大学计算机系602教研室

9 删除公用子表达式后 B1 B2 B3 B4 B5 B6 i:=m-1 j:=n T1:=4*n v:=a[T1]
i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 T6:= T2 x:=a [T6] T7:= T6 T8:= T4 T9:=a [T8] a [T7]=T9 T10:= T8 a [T10]=x goto B2 B5 T11:= T2 x:=a [T11] T12:= T11 T13:= T1 T14:=a [T13] a [T12]=T14 T15:= T13 a [T15]=x B6 删除公用子表达式后 国防科技大学计算机系602教研室

10 复写传播 B1 B2 B3 B4 B5 B6 i:=m-1 j:=n T1:=4*n v:=a[T1] if i>=j goto B6
i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 T6:= T2 x:=a [T6] T7:= T6 T8:= T4 T9:=a [T8] a [T7]=T9 T10:= T8 a [T10]=x goto B2 B5 T11:= T2 x:=a [T11] T12:= T11 T13:= T1 T14:=a [T13] a [T12]=T14 T15:= T13 a [T15]=x B6 复写传播 国防科技大学计算机系602教研室

11 复写传播(一)后 B1 B2 B3 B4 B5 B6 i:=m-1 j:=n T1:=4*n v:=a[T1]
i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 T6:= T2 x:=a[T2] T7:= T2 T8:= T4 T9:=a [T4] a [T2]=T9 T10:= T4 a [T4]=x goto B2 B5 T11:= T2 x:=a [T2] T12:= T2 T13:= T1 T14:=a [T1] a [T2]=T14 T15:= T1 a [T1]=x B6 复写传播(一)后 国防科技大学计算机系602教研室

12 复写传播(一)后 B1 B2 B3 B4 B5 B6 i:=m-1 j:=n T1:=4*n v:=a[T1]
i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 T6:= T2 x:=a[T2] T7:= T2 T8:= T4 T9:=a [T4] a [T2]=T9 T10:= T4 a [T4]=x goto B2 B5 T11:= T2 x:=a [T2] T12:= T2 T13:= T1 T14:=a [T1] a [T2]=T14 T15:= T1 a [T1]=x B6 复写传播(一)后 国防科技大学计算机系602教研室

13 复写传播(二)后 B1 B2 B3 B4 B5 B6 i:=m-1 j:=n T1:=4*n v:=a[T1]
i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 T6:= T2 x:=T3 T7:= T2 T8:= T4 T9:=T5 a [T2]=T5 T10:= T4 a [T4]= T3 goto B2 B5 T11:= T2 T12:= T2 T13:= T1 T14:= v a [T2]=v T15:= T1 a [T1]= T3 B6 复写传播(二)后 国防科技大学计算机系602教研室

14 删除无用赋值 B1 B2 B3 B4 B5 B6 i:=m-1 j:=n T1:=4*n v:=a[T1]
i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 T6:= T2 x:=T3 T7:= T2 T8:= T4 T9:=T5 a [T2]=T5 T10:= T4 a [T4]= T3 goto B2 B5 T11:= T2 T12:= T2 T13:= T1 T14:= v a [T2]=v T15:= T1 a [T1]= T3 B6 删除无用赋值 国防科技大学计算机系602教研室

15 删除无用赋值后 B1 B2 B3 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3
i:=m-1 j:=n T1:=4*n v:=a[T1] B1 i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3 B6 删除无用赋值后 国防科技大学计算机系602教研室

16 强度削弱 B1 B2 B3 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3 B6
i:=m-1 j:=n T1:=4*n v:=a[T1] B1 i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3 B6 强度削弱 国防科技大学计算机系602教研室

17 强度削弱后 B1 B2 B3 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3
i:=m-1 j:=n T1:=4*n v:=a[T1] T2:=4*i T4:=4*j B1 i:=i+1 T2:= T2+4 T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:= T4-4 T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3 B6 强度削弱后 国防科技大学计算机系602教研室

18 删除归纳变量 B1 B2 B3 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3
i:=m-1 j:=n T1:=4*n v:=a[T1] T2:=4*i T4:=4*j B1 i:=i+1 T2:= T2+4 T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:= T4-4 T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3 B6 删除归纳变量 国防科技大学计算机系602教研室

19 删除归纳变量后 B1 B2 B3 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3
i:=m-1 j:=n T1:=4*n v:=a[T1] T2:=4*i T4:=4*j B1 T2:= T2+4 T3:=a[T2] if T3<v goto B2 B2 T4:= T4-4 T5:=a[T4] if T5>v goto B3 B3 if T2>=T4 goto B6 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3 B6 删除归纳变量后 国防科技大学计算机系602教研室

20 中间代码程序段 B1 B2 B3 B4 B5 B6 i:=m-1 j:=n T1:=4*n v:=a[T1]
i:=i+1 T2:=4*i T3:=a[T2] if T3<v goto B2 B2 j:=j-1 T4:=4*j T5:=a[T4] if T5>v goto B3 B3 if i>=j goto B6 B4 T6:=4*i x:=a [T6] T7:=4*i T8:=4*j T9:=a [T8] a [T7]=T9 T10:= 4*j a [T10]=x goto B2 B5 T11:=4*i x:=a [T11] T12:=4*i T13:=4*n T14:=a [T13] a [T12]=T14 T15:= 4*n a [T15]=x B6 中间代码程序段 国防科技大学计算机系602教研室

21 删除归纳变量后 B1 B2 B3 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3
i:=m-1 j:=n T1:=4*n v:=a[T1] T2:=4*i T4:=4*j B1 T2:= T2+4 T3:=a[T2] if T3<v goto B2 B2 T4:= T4-4 T5:=a[T4] if T5>v goto B3 B3 if T2>=T4 goto B6 B4 a [T2]=T5 a [T4]= T3 goto B2 B5 a [T2]=v a [T1]=T3 B6 删除归纳变量后 国防科技大学计算机系602教研室

22 10.2 局部优化 基本块：指程序中一顺序执行语句序列，其中只有一个入口和一个出口。入口就是其中第一个语句，出口就是其中最后一个语句。
局部优化 基本块：指程序中一顺序执行语句序列，其中只有一个入口和一个出口。入口就是其中第一个语句，出口就是其中最后一个语句。 如果一条三地址语句为x:=y+z，则称对x定值并引用y和z。 在一个基本块中的一个名字，所谓在程序中的某个给定点是活跃的，是指如果在程序中(包括在本基本块或在其它基本块中)它的值在该点以后被引用。 T1:=a*a T2:=a*b T3:=2*T2 T4:=T1+T2 T5:=b*b T6:=T4+T5 国防科技大学计算机系602教研室

23 10.2 局部优化 局限于基本块范围内的优化称为基本块内的优化，或称局部优化。 在一个基本块内通常可以实行下面的优化: 删除公共子表达式
10.2 局部优化 局限于基本块范围内的优化称为基本块内的优化，或称局部优化。 在一个基本块内通常可以实行下面的优化: 删除公共子表达式 删除无用赋值 合并已知量 临时变量改名 交换语句的位置 代数变换 国防科技大学计算机系602教研室

24 划分四元式程序为基本块的算法: 1.求出四元式程序中各个基本块的入口语句: 1) 程序第一个语句，或
2) 能由条件转移语句或无条件转移语句转移到的语句，或 3) 紧跟在条件转移语句后面的语句。 国防科技大学计算机系602教研室

25 2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句) 之间的语句序列组成的。
划分四元式程序为基本块的算法: 2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句) 之间的语句序列组成的。 入口语句n … 入口语句m 国防科技大学计算机系602教研室

26 划分四元式程序为基本块的算法: 2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句)、或到一转移语句(包括该转移语句) 之间的语句序列组成的。 入口语句n … 入口语句m 入口语句n … 转移语句m 国防科技大学计算机系602教研室

27 划分四元式程序为基本块的算法: 2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句)、或到一转移语句(包括该转移语句) 、或一停语句(包括该停语句)之间的语句序列组成的。 入口语句n … 入口语句m 入口语句n … 转移语句m 入口语句n … 停语句m 国防科技大学计算机系602教研室

28 3. 凡未被纳入某一基本块中的语句，可以从 程序中删除。
划分四元式程序为基本块的算法: 2. 对以上求出的每个入口语句，确定其所属 的基本块。它是由该入口语句到下一入口 语句(不包括该入口语句)、或到一转移语 句(包括该转移语句)、或一停语句(包括该 停语句)之间的语句序列组成的。 3. 凡未被纳入某一基本块中的语句，可以从 程序中删除。 国防科技大学计算机系602教研室

29 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8)
1.求出四元式程序中各个基本块的入口语句: 1) 程序第一个语句，或 2) 能由条件转移语句或无条件转移语句转移到的语句，或 3) 紧跟在条件转移语句后面的语句。 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 国防科技大学计算机系602教研室

30 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8)
1.求出四元式程序中各个基本块的入口语句: 1) 程序第一个语句，或 2) 能由条件转移语句或无条件转移语句转移到的语句，或 3) 紧跟在条件转移语句后面的语句。 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 国防科技大学计算机系602教研室

31 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8)
1.求出四元式程序中各个基本块的入口语句: 1) 程序第一个语句，或 2) 能由条件转移语句或无条件转移语句转移到的语句，或 3) 紧跟在条件转移语句后面的语句。 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 国防科技大学计算机系602教研室

32 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8)
1.求出四元式程序中各个基本块的入口语句: 1) 程序第一个语句，或 2) 能由条件转移语句或无条件转移语句转移到的语句，或 3) 紧跟在条件转移语句后面的语句。 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 国防科技大学计算机系602教研室

33 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8)
1.求出四元式程序中各个基本块的入口语句: 1) 程序第一个语句，或 2) 能由条件转移语句或无条件转移语句转移到的语句，或 3) 紧跟在条件转移语句后面的语句。 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 国防科技大学计算机系602教研室

34 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8)
2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句)、或到一转移语句(包括该转移语句)、或一停语句(包括该停语句)之间的语句序列组成的。 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 国防科技大学计算机系602教研室

35 优化措施 合并已知量 T1:=2 … T2:=4*T1 变换成 T2:=8 临时变量改名 T:=b+c
S:=b+c 国防科技大学计算机系602教研室

36 优化措施 交换语句的位置 T1:=b+c T2:=x+y 代数变换 x:=x+0 或 x:=x*1 x:=y**2 变换成 x:=y*y
国防科技大学计算机系602教研室

37 流图 每个流图以基本块为结点。如果一个结点的基本块的入口语句是程序的第一条语句，则称此结点为首结点。如果在某个执行顺序中，基本块B2紧接在基本块B1之后执行，则从B1到B2有一条有向边。即，如果 有一个条件或无条件转移语句从B1的最后一条语句转移到B2的第一条语句；或者 在程序的序列中，B2紧接在B1的后面，并且B1的最后一条语句不是一个无条件转移语句。我们就说B1是B2的前驱，B2是B1的后继。 国防科技大学计算机系602教研室

38 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y
(8) write Y (9) halt (5) X:=Y (6) Y:=R (7) goto (3) (3) R:=X mod Y (4) if R=0 goto (8) (1) read X (2) read Y B1 B2 B3 B4 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 国防科技大学计算机系602教研室

39 10.2.2 基本块的DAG表示及其应用 有向图 有向边: ninj 前驱：ni是nj的前驱 后继： nj是ni的后继
通路: n1n2 , n2n3 ,... ,nk-1nk 环路： n1=nk DAG：无环路有向图(Directed Acyclic Graph) n1 n2 n3 n4 国防科技大学计算机系602教研室

40 7.1.2 图表示法 图表示法 无循环有向图(Directed Acyclic Graph，简称DAG) DAG 抽象语法树
图表示法 图表示法 DAG 抽象语法树 无循环有向图(Directed Acyclic Graph，简称DAG) 对表达式中的每个子表达式，DAG中都有一个结点 一个内部结点代表一个操作符，它的孩子代表操作数 在一个DAG中代表公共子表达式的结点具有多个父结点 国防科技大学计算机系602教研室

41 a:=b*(-c)+b*(-c)的图表示法
assign a + * b uminus c 抽象语法树 assign a + * b uminus c DAG 国防科技大学计算机系602教研室

42 assign a + * b uminus c 抽象语法树
抽象语法树对应的代码： T1:=-c T2:=b*T1 T3:=-c T4:=b*T3 T5:=T2+T4 a:=T5 国防科技大学计算机系602教研室

43 DAG对应的代码： T1:=-c T2:=b*T1 T5:=T2+T2 a:=T5 抽象语法树对应的代码： assign a + * b
uminus c DAG DAG对应的代码： T1:=-c T2:=b*T1 T5:=T2+T2 a:=T5 国防科技大学计算机系602教研室

44 描述计算过程的DAG是一种带有下述标记或附加信息的DAG:
图的叶结点以一标识符或常数作为标记，表示该结点代表该变量或常数的值; 图的内部结点以一运算符作为标记，表示该结点代表应用该运算符对其后继结点所代表的值进行运算的结果; n5 T2 , T4 图中各个结点上可能附加一个或多个标识符(称附加标识符)表示这些变量具有该结点所代表的值。 + n1 n3 n4 R r 3.14 国防科技大学计算机系602教研室

45 10.2.2 基本块的DAG表示及应用 一个基本块，可用一个DAG来表示与各四元式相对应的DAG结点形式: 四元式 DAG 图
(0) 0型: A:=B (:=，B，-，A) n1 A B 国防科技大学计算机系602教研室

46 四元式 DAG 图 n1 A B n2 op (1) 1型: A:=op B (op，B，-，A) n2 A B n1 op n3 C
(2) 2型: A:=B op C (op，B，C，A) 国防科技大学计算机系602教研室

47 n2 A B n1 =[] n3 C n2 (s) B n1 rop n3 C
四元式 DAG 图 n2 A B n1 =[] n3 C (3) 2型: A:=B[C] (=[]，B[C]，-，A) n2 (s) B n1 rop n3 C (4) 2型: if B rop C goto (s) (jrop，B，C，(s)) 国防科技大学计算机系602教研室

48 四元式 DAG 图 n2 B n1 []= n4 C n3 D (5) 3型: D[C]:=B ([]=，B，-，D[C])
(6) 0型: goto (s) (j，-，-，(s)) (s) n1 国防科技大学计算机系602教研室

49 假设DAG各结点信息将用某种适当的数 据结构存放(如链表)。另设置一个标识符 与结点的对应函数:
国防科技大学计算机系602教研室

50 对基本块中每一四元式，依次执行以下步骤: 1. 准备操作数的结点 2. 合并已知量 3. 删除公共子表达式 4. 删除无用赋值
0，1，2型四元式的基本块的DAG构造算法 对基本块中每一四元式，依次执行以下步骤: 1. 准备操作数的结点 2. 合并已知量 3. 删除公共子表达式 4. 删除无用赋值 国防科技大学计算机系602教研室

51 如果NODE(B)无定义，则构造一标记为B的叶结点并定义NODE(B)为这个结点;
1.准备操作数的结点 如果NODE(B)无定义，则构造一标记为B的叶结点并定义NODE(B)为这个结点; 如果当前四元式是0型，则记NODE(B)的值为n，转4。 如果当前四元式是1型，则转2(1) 如果当前四元式是2型，则(i)如果NODE(C)无定义，则构造一标记为C的叶结点并定义NODE(C)为这个结点；(ii)转2(2)。 国防科技大学计算机系602教研室

52 2.合并已知量 (1) 如果NODE(B)是标记为常数的叶结点，则转2(3)； 否则，转3(1)。
(2) 如果NODE(B)和NODE(C)都是标记为常数的叶结点，则转2(4)；否则，转3(2)。 (3) 执行op B (即合并已知量)。令得到的新常数为P。如果NODE(B)是处理当前四元式时新构造出来的结点，则删除它。如果NODE(P)无定义，则构造一用P作标记的叶结点n。置NODE(P)=n，转4。 (4)执行B op C (即合并已知量)。令得到的新常数为P。如果NODE(B)或NODE(C)是处理当前四元式时新构造出来的结点，则删除它。如果NODE(P)无定义，则构造一用P作标记的叶结点n。置NODE(P)=n，转4。 国防科技大学计算机系602教研室

53 3. 寻找公共子表达式 (1) 检查DAG中是否已有一结点，其唯一后继为 NODE(B)且标记为op(即公共子表达式)。如 果没有，则构造该结点n，否则，把已有的 结点作为它的结点并设该结点为n。转4。 (2) 检查DAG中是否已有一结点，其左后继为NODE(B)，右后继为NODE(C)，且标记为op(即公共子表达式)。如果没有，则构造该结点n，否则，把已有的结点作为它的结点并设该结点为n。转4。 国防科技大学计算机系602教研室

54 4. 删除无用赋值 如果NODE(A)无定义，则把A附加在结点n上并令NODE(A)=n;否则，先把A从NODE(A)结点上的附加标识符集中删除(注意，如果NODE(A)是叶结点，则其A标记部不删除)。把A附加到新结点n上并置NODE(A)=n。转处理下一四元式。 国防科技大学计算机系602教研室

55 例10.4 试构造以下基本块G的DAG (1) T0:=3.14 (2) T1:=2*T0 (3) T2:=R+r (4) A:=T1*T2
(5) B:=A (6) T3:=2*T0 (7) T4:=R+r (8) T5:=T3*T4 (9) T6:=R-r (10) B:=T5*T6 国防科技大学计算机系602教研室

56 (1) T0:=3.14 (2) T1:=2*T0 (3) T2:=R+r (4) A:=T1*T2 (5) B:=A
n8 B (3) T2:=R+r * (4) A:=T1*T2 n6 A , B , T5 (5) B:=A * (6) T3:=2*T0 n5 T2 , T4 n7 T6 T6 (7) T4:=R+r + - (8) T5:=T3*T4 n1 n2 T0 T1 , T3 n3 n4 (9) T6:=R-r 3.14 6.28 R r (10) B:=T5*T6 国防科技大学计算机系602教研室

57 优化后的四元式 (1) T0:=3.14 (2) T1:=6.28 (3) T3:=6.28 (4) T2:=R+r (5) T4:=T2
(6) A:=6.28*T2 (7) T5:=A (8) T6:=R-r (9) B:=A*T6 n1 3.14 T0 n2 6.28 T1 n3 n4 R r n5 + T2 n6 * A , B , T3 , T4 , T5 n7 T6 - n8 B 国防科技大学计算机系602教研室

58 优化后的四元式——若只有A和B是出基本块之后活跃的
(1) T2:=R+r (2) A:=6.28*T2 (3) T6:=R-r (4) B:=A*T6 (1) S1:=R+r (2) A:=6.28*S1 (3) S2:=R-r (4) B:=A*S2 n1 3.14 T0 n2 6.28 T1 n3 n4 R r n5 + T2 n6 * A , B , T3 , T4 , T5 n7 T6 - n8 B 国防科技大学计算机系602教研室

59 从DAG中还能得到其他的优化信息： 在基本块外被定值并在基本块内被引用的所有标识符，就是作为叶子结点上标记的那些标识符。
国防科技大学计算机系602教研室

60 10.3 循环优化 对循环中的代码，可以实行： 代码外提 强度消弱 删除归纳变量(变换循环控制条件) 循环展开 循环合并
国防科技大学计算机系602教研室

61 10.3.1 代码外提 循环不变运算: 对四元式A:=B op C,若B和C是常数，或者到达它们的B和C的定值点都在循环外。
所谓变量A在某点d的定值到达另一点u（或称变量A的定值点d到达另一点u），是指流图中从d有一通路到达u且该通路上没有A的其它定值。 d : A:=B op C … u : D:=A op E 把循环不变运算提到循环体外。 国防科技大学计算机系602教研室

62 入口结点 循环L 前置结点 入口结点 循环L 国防科技大学计算机系602教研室

63 代码外提条件 for I:=1 to 10 do A[I, 2*J] := A[I, 2*J] + 1 国防科技大学计算机系602教研室

64 B3 B2 B1 B3 B2 B1 B2’ (1) I:=1 (2) if I>10 goto (15) (3) T1=2*J
(4) T2=10*I (5) T3= T2+ T1 (6) T4=addr(A)-11 (7) T5=2*J (8) T6=10*I (9) T7= T6+ T5 (10) T8=addr(A)-11 (11) T9= T8[T7] (12) T4[T3]= T9+1 (13) I:=I+1 (14) goto B2 B3 B2 B1 (15) (1) I:=1 (2) if I>10 goto (15) (4) T2=10*I (5) T3= T2+T1 (8) T6=10*I (9) T7= T6+ T5 (11) T9= T8[T7] (12) T4[T3]= T9+1 (13) I:=I+1 (14) goto B2 B3 B2 B1 (15) (3) T1=2*J (6) T4=addr(A)-11 (7) T5=2*J (10) T8=addr(A)-11 B2’ 国防科技大学计算机系602教研室

65 B1 B2 B3 B4 B5 X=30, Y=25 B1  B2  B4  B2  B4  …  B2  B4  B5
(1) I:=1 (2) if X<Y goto B3 B1 B2 (3) I:=2 (4) X:=X+1 (5) Y:=Y-1 (6) if Y<=20 goto B5 (7) J:=I B3 B4 B5 X=30, Y=25 B1  B2  B4  B2  B4  …  B2  B4  B5 J=1, I=1 国防科技大学计算机系602教研室

66 代码外提条件:不变运算所在的结点是L所有出口结点的必经结点.
(3) I:=2 (2) if X<Y goto B3 B1 B2 (4) X:=X+1 (5) Y:=Y-1 (6) if Y<=20 goto B5 (7) J:=I B3 B4 B5 (1) I:=1 B2’ X=30, Y=25 B1  B2  B4  B2  B4  …  B2  B4  B5 J=2, I=2 代码外提条件:不变运算所在的结点是L所有出口结点的必经结点. 国防科技大学计算机系602教研室

67 B1 B2 B3 B4 B5 考虑: B2 B3  B4  B2  B4  B5 I=3, J=3 (1) I:=1
(2) if X<Y goto B3 B1 B2 (3) I:=2 (4) X:=X+1 (5) Y:=Y-1 (6) if Y<=20 goto B5 (7) J:=I B3 B4 B5 考虑: B2 B3  B4  B2  B4  B5 I=3, J=3 国防科技大学计算机系602教研室

68 代码外提条件: A在循环中其他地方未再定值,才能把循环不变运算A:=B op C外提;
(2‘) I:=3 (2) if X<Y goto B3 B1 B2 (3) I:=2 (4) X:=X+1 (5) Y:=Y-1 (6) if Y<=20 goto B5 (7) J:=I B3 B4 B5 (1) I:=1 B2’ 考虑: B2 B3  B4  B2  B4  B5 I=2, J=2 代码外提条件: A在循环中其他地方未再定值,才能把循环不变运算A:=B op C外提; 国防科技大学计算机系602教研室

69 B1 B2 B3 B4 B5 考虑: X=0, Y=2 B2 B3  B4  B2  B4  B5 A=2, J=2
(1) I:=1 (2) if X<Y goto B3 B1 B2 (3) A:=I+1 (4) X:=X+1 (5) I:=2 (6) Y:=Y-1 (7) if Y<=0 goto B5 (8) J:=A B3 B4 B5 考虑: X=0, Y=2 B2 B3  B4  B2  B4  B5 A=2, J=2 国防科技大学计算机系602教研室

70 S(A:=B OP C)外提条件:循环中所有A的引用点只有S中的A的定值才能到达。
(5) I:=2 (2) if X<Y goto B3 B1 B2 (3) A:=I+1 (4) X:=X+1 (6) Y:=Y-1 (7) if Y<=20 goto B5 (8) J:=A B3 B4 B5 (1) I:=1 B2’ 考虑: X=0, Y=2 B2 B3  B4  B2  B4  B5 A=3, J=3 S(A:=B OP C)外提条件:循环中所有A的引用点只有S中的A的定值才能到达。 国防科技大学计算机系602教研室

71 查找循环L的不变运算的算法： 依次查看L中各基本块的每个四元式，如果它 的每个运算对象或为常数，或者定值点在 L外， 则将次四元式标记为"不变运算"; 重复第3步直至没有新的四元式被标记为"不变 运算"为止; 依次查看尚未被标记为"不变运算"的四元式， 如果它的每个运算对象或为常数，或定值点在 L之外，或只有一个到达-定值点且该点上的四 元式已被标记为"不变运算"，则把被查看的四 元式标记为"不变运算"。 国防科技大学计算机系602教研室

72 2. 对每个不变运算s:A:=B op C 或 A:=op B 或 A:=B检查是否满足条件(1)或(2) (1)
代码外提算法: 1. 求出L的所有不变运算 2. 对每个不变运算s:A:=B op C 或 A:=op B 或 A:=B检查是否满足条件(1)或(2) (1) (i) s所在的结点是L所有出口结点的必经结点; (ii) A在L中其他地方未再定值; (iii) L中所有A的引用点只有s中的A的定值才能到达。 国防科技大学计算机系602教研室

73 (2) A在离开L后不再是活跃的，并且条件(1)的(ii)和(iii)成立。所谓A在离开L后不是活跃的是指，A在L的任何出口结点的后记结点入口处不是活跃的。
3.按步骤1所找出的不变运算的次序，依次 把符合条件2的条件(1)或(2)的不变运算s 外提到L的前置结点中。但是，如果s的运 算对象(B或C)是在L中定值的，那么，只 有当这些定值四元式都已外提到前置结点 中时，才能把s也外提到前置结点中。 国防科技大学计算机系602教研室

74 强度消弱 把程序中执行时间较长的运算转换为执行时间较短的运算。 国防科技大学计算机系602教研室

75 B3 B2 B1 B2’ B3 B2 B1 B2’ (1) I:=1 (2) if I>10 goto (15)
(4) T2=10*I (5) T3= T2+ T1 (8) T6=10*I (9) T7= T6+ T5 (11) T9= T8[T7] (12) T4[T3]= T9+1 (13) I:=I+1 (14) goto B2 B3 B2 B1 (15) (3) T1=2*J (6) T4=addr(A)-11 (7) T5=2*J (10) T8=addr(A)-11 B2’ (1) I:=1 (2) if I>10 goto (15) (5) T3= T2+ T1 (9) T7= T6+ T5 (11) T9= T8[T7] (12) T4[T3]= T9+1 (13) I:=I+1 (4‘) T2= T2 +10 (8’) T6= T6 +10 (14) goto B2 B3 B2 B1 (15) (3) T1=2*J (6) T4=addr(A)-11 (7) T5=2*J (10) T8=addr(A)-11 (4) T2=10*I (8) T6=10*I B2’ 国防科技大学计算机系602教研室

76 B1 B1 B2’ B2’ B2 B2 B3 B3 (1) I:=1 (1) I:=1 (3) T1=2*J (3) T1=2*J
(2) if I>10 goto (15) (11) T9= T8[T7] (12) T4[T3]= T9+1 (13) I:=I+1 (4‘) T2= T2 +10 (8’) T6= T6 +10 (5‘) T3= T3+ 10 (9‘) T7= T7+ 10 (14) goto B2 B3 B2 B1 (15) (3) T1=2*J (6) T4=addr(A)-11 (7) T5=2*J (10) T8=addr(A)-11 (4) T2=10*I (8) T6=10*I (5) T3= T2+ T1 (9) T7= T6+ T5 B2’ (1) I:=1 (2) if I>10 goto (15) (5) T3= T2+ T1 (9) T7= T6+ T5 (11) T9= T8[T7] (12) T4[T3]= T9+1 (13) I:=I+1 (4‘) T2= T2 +10 (8’) T6= T6 +10 (14) goto B2 B3 B2 B1 (15) (3) T1=2*J (6) T4=addr(A)-11 (7) T5=2*J (10) T8=addr(A)-11 (4) T2=10*I (8) T6=10*I B2’ 国防科技大学计算机系602教研室

77 强度消弱 强度消弱主要是对与归纳变量有线性关系的 变量赋值进行； 经过强度消弱后，循环中可能出现一些新的无用赋值；
对于消弱下标变量地址计算的强度非常有效。 国防科技大学计算机系602教研室

78 10.3.3 删除归纳变量 如果循环中对变量I只有唯一的形如I:=IC的赋值，且其中C为循环不变量，则称I为循环中的基本归纳变量。
删除归纳变量 如果循环中对变量I只有唯一的形如I:=IC的赋值，且其中C为循环不变量，则称I为循环中的基本归纳变量。 如果I是循环中一基本归纳变量，J在循环中的定值总是可化归为I的同一线性函数，也即J=C1*I  C2，其中C1和C2都是循环不变量，则称J是归纳变量，并称它与I与族。一个基本归纳变量也是一归纳变量。 国防科技大学计算机系602教研室

79 B3 B2 B1 B2’ B3 B2 B1 B2’ (1) I:=1 (2) if I>10 goto (15)
(11) T9= T8[T7] (12) T4[T3]= T9+1 (13) I:=I+1 (4‘) T2= T2 +10 (8’) T6= T6 +10 (5‘) T3= T3+ 10 (9‘) T7= T7+ 10 (14) goto B2 B3 B2 B1 (15) (3) T1=2*J (6) T4=addr(A)-11 (7) T5=2*J (10) T8=addr(A)-11 (4) T2=10*I (8) T6=10*I (5) T3= T2+ T1 (9) T7= T6+ T5 B2’ (1) I:=1 (2) if T3>R goto (15) (11) T9= T8[T7] (12) T4[T3]= T9+1 (5‘) T3= T3+ 10 (9‘) T7= T7+ 10 (14) goto B2 B3 B2 B1 (15) (3) T1=2*J (6) T4=addr(A)-11 (7) T5=2*J (10) T8=addr(A)-11 (4) T2=10*I (8) T6=10*I (5) T3= T2+ T1 (9) T7= T6+ T5 (21) R=100+T1 B2’ 国防科技大学计算机系602教研室

80 删除归纳变量是在强度削弱以后进行的。强度削弱和删除归纳变量的统一算法框架，其步骤如下：
1. 利用循环不变运算信息，找出循环中所有基本归纳变量。 2. 找出所有其它归纳变量A，并找出A与已知基本归纳变量X的同族线性函数关系 FA(X)。 3. 对2中找出的每一归纳变量A，进行强度削弱。 4. 删除对归纳变量的无用赋值。 国防科技大学计算机系602教研室

81 5. 删除基本归纳变量。如果基本归纳变量B在循环出口之后不是活跃的，并且在循环中，除在其自身的递归赋值中被引用外，只在形如
if B rop Y goto L 中被引用，则可选取一与B同族的归纳变量M来替换B进行条件控制。最后删除循环中对B的递归赋值的代码。 国防科技大学计算机系602教研室

82 作业 P306-1，2，3，4，5 国防科技大学计算机系602教研室