11代码优化.pptVIP

第11章 代码优化;宗旨：;例：;11.2 优化分类;;(1)P:=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)P:=P+T7 (11)I:=I+1 (12)if I=20 goto(3);(1)P:=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)P:=P+T7 (11)I:=I+1 (12)if I=20 goto(3) ;;(1)P:=0 (2)I:=1 (4)T2:=addr(A)-4 (7)T5:=addr(B)-4 (3)T1:=4 (5)T3:=T2[T1] (6)T4:=T1 (8)T6:=T5[T1] (9)T7:=T3*T6 (11)P:=P+T7 (11)I:=I+1 (3’)T1:=T1+4 (12)if T1=80 goto(5) ;基本块：是指程序中一顺序执行的语句序列， 其中只有一个入口语句和一个出口语句。 ;： 2．;划分基本块的算法;例：划分基本块 (1) read (C) (2) A:= 0 (3) B:= 1 (4) L1: A:=A + B (5) if B= C goto L2 (6) B:=B+1 (7) goto L1 (8) L2: write (A) (9) halt;划分成四个基本块B1，B2，B3，B4;基本块的DAG表示及其应用;用;仅含0，1，2型四元式的基本块的DAG构造算法: 首先，DAG为空。 对基本块的每一四元式，依次执行： 1．如果NODE（B）无定义，则构造一标记为B的叶结点并定义NODE（B）为这个结点； 如果当前四元式是0型，则记NODE(B)的值为n，转4。 如果当前四元式是1型，则转2(1）。 如果当前四元式是2型，则： (I)?? 如果NODE(1)无定义，则构造一标记为C的叶结点并定义NODE(1) 为这个结点； (II)?? 转2 (2);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。;3． （1）检查DAG中是否已有一结点，其唯一后继为NODE(B)，且标记为op（即找公共子表达式）。如果没有，则构造该结点n，否则就把已有的结点作为它的结点并设该结点为n，转4。 （2）检查中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。转处理下一四元式。 而后，我们可由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 (11) B:=T5*T6;例： (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