compiler10_代码优化教程.ppt

第十章 代码优化;宗旨：;例：;10.2 优化分类;10.2.1 优化技术简介—(a)常数合并;优化技术简介—(b)常数传播;优化技术简介—(c)代数简化;优化技术简介—代数简化;优化技术简介—(d)降低运算强度;优化技术简介—(e)复写传播;例：main(){int x, y, z;x = (1+20)* -x;y = x*x+(x/y);y = z = (x/y)/(x*x);};;(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 (10)P:=P+T7 (11)I:=I+1 (3’)T1:=T1+4 (12)if T1=80 goto(5) ;基本块：是指程序中一顺序执行的语句序列， 其中只有一个入口语句和一个出口语句。 入口语句： 1. 程序的第一个语句；或者， 2. 条件转移语句或无条件转移语句的转移目标语句；或者 3. 紧跟在条件转移语句后面的语句。 ;划分基本块的算法： 1．求出四元式程序之中各个基本块的入口语句。 2．对每一入口语句，构造其所属的基本块。它是由该语句到下一入口语句（不包括下一入口语句），或到一转移语句（包括该转移语句），或到一停语句（包括该停语句）之间的语句序列组成的。 3. 凡未被纳入某一基本块的语句，都是程序中控制流程无法到达的语句，因而也是不会被执行到的语句，我们可以把它们删除。 ;例：划分基本块 (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)结点上附加标识符