第十一单元代码优化.pptVIP

第十一章 代码优化 11.1 代码优化简介 11.2 局部优化 11.3 控制流和循环优化 11.4 数据流的分析和全局优化 11.1 优化技术简介 编译的优化工作阶段: 例子: P:=0 FOR I:=1 TO 20 DO P:=P+A[I]*B[I]; 中间代码: 1. 删除多余运算(删除公共子表达式) 2. 代码外提 3.强度削弱 4.变换循环控制条件 5.合并已知量与复写传播 6. 删除无用赋值 11.2 局部优化 基本块:指程序中一顺序执行的语句序列,其中只有一个入口语句和一个出口语句。执行时只能从其入口语句进入，从其出口语句退出。 1、基本块划分： 入口语句： 1）程序的第一个语句；或者， 2）条件转移语句或无条件转移语句的转移目标语句；或者， 3）紧跟在条件转移语句后面的语句。 基本块划分算法： 1）求出四元式程序中各个基本块的入口语句。 2）对每一入口语句，构造其所属的基本块。它是由该入口语句（不包括下一入口语句），或到一转移语句（包括该转移语句），或到一停语句（包括该停语句）之间的语句序列组成的。 3）凡未被纳入某一基本块的语句，则可以删除。 练习：对图11.23的四元式序列进行划分基本块的工作. 2、基本块的变换 基本块的主要保结构变换是： 1）删除公共子表达式 2）删除无用代码 3）重新命名临时变量 4）交换语句次序 t1:=b+c t2:=x+y 当且仅当x和y都不是t1，b和c都不是t2， t1和 t2不是同一个量或等价量时，可以交换两个语句的次序。 2)基本块的DAG图: (1)图的叶结点,以一标识符(变量名)或常数作为标记,放在其下侧，表示该结点代表该变量或常数的值; (2)图的内部结点,以一运算符作为标记,表示该结点代表应用该运算符对其后继结点所代表的值进行运算的结果; (3)图中各个结点上可能附加一个或多个标记符放在其右侧,表示这些变量具有该结点所代表的值。 3)四元式的DAG一般表示 A:=B (:=,B,-,A) A:=op B (op,B,-,A) A:=B op C (op,B,C,A) A:=B[C] (=[],B[C], -,A) 4)仅含0,1,2型四元式的基本块的DAG构造算法: 首先,DAG为空. 对基本块的每一四元式,依次执行: (1) 如果NODE(B)无定义,则构造一标记为B的叶结点并定义NODE(B)为这个结点; 如果当前四元式是0型,则记NODE(B)的值为n,转(4)。 如果当前四元式是1型,则转(2) ①。 如果当前四元式是2型,则: (Ⅰ)如果NODE(C ) 无定义,则构造一标记为C的叶结点并定义NODE(C )为这个结点,(Ⅱ)转(2) ②。 (2) ①如果NODE(B) 是标记为常数的叶结点,则转(2) ③,否则转(3) ①。 ②如果NODE(B)和NODE(C )都是标记为常数的叶结点,则转(2) ④,否则转(3) ② 。 ③执行op B(即合并已知量),令得到的新常数为P。如果NODE(B) 是处理当前四元式时新构造出来的结点,则删除它。如果NODE(P)无定义,则构造一用P做标记的叶结点n。置NODE(P)=n,转(4)。 ④执行B op C(即合并已知量),令得到的新常数为P。如果NODE(B)或NODE(C )是处理当前四元式时新构造出来的结点,则删除它。如果NODE(P)无定义,则构造一用P做标记的叶结点n。置NODE(P)=n,转(4)。 (3) ①检查DAG中是否已有一桔点,其唯一后继为NODE(B),且标记为op(即找公共子表达式)。如果没有,则构造该结点n,否则就把已有的结点作为它的结点并设该结点为n。转(4)。 ②检查DAG中是否已有一桔点,其左后继为NODE(B),右后继为NODE(C ),且标记为op(即找公共子表达式)。如果没有,则构造该结点n,否则就把已有的结点作为它的结点并设该结点为n。转(4)。 (4)如果NODE(A)无定义,则把A附加在结点n上并令NODE(A)=n;否则先把A从NODE(A)结点上的附加标识符集中删除(注意,如果NODE(A)是叶结点,则其标记A不删除),把A附加到新结点n上并令NODE(A)=n。转处理下一四元式。 5）示例：试构造以下基本块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 4、DAG的应用 1）分析各步骤的优化作用 步骤2：合并已知量；步骤3：检查公共子表达式； 步骤4：删除无用赋值 2）将上例按构造其结点顺序重