第11章代码优化.pptVIP

输入：一个基本块输出：相应DAG图算法说明：通过逐个扫描四元式来逐渐建立DAG图。函数node(A)的值或者是一个结点的编号n或者无定义。如果是前一种情况，代表存在一个结点n，A是其上的标记或附加标识符。基本块的DAG构造算法第29页，共75页，星期日，2025年，2月5日首先DAG为空。对基本块的每一四元式，依次执行：1．如果NODE（B）无定义，则构造一标记为B的叶结点并定义NODE（B）为这个结点；如果当前四元式是0型，则记NODE(B)的值为n，转4。如果当前四元式是1型，则转2.(1)。如果当前四元式是2型，则：(I)??如果NODE(C)无定义，则构造一标记为C的叶结点并定义NODE(C)为这个结点；(II)?转2.(2)第30页，共75页，星期日，2025年，2月5日2．（合并已知量）（1）如果NODE(B)是标记为常数的叶结点，则转2(3)，否则转3.（1）。（2）如果NODE(B)和NODE(C)都是标记为常数的叶结点，则转2.（4），否则转3.（2）。（3）执行opB（即合并已知量），令得到的新常数为P。如果NODE(B)是处理当前四元式时新构造出来的结点，则删除它。如果NODE(P)无定义，则构造一用P做标记的叶结点n。置NODE(P)=n，转4。（4）执行BopC（即合并已知量），令得到的新常数为P。如果NODE(B)或NODE(C)是处理当前四元式时新构造出来的结点，则删除它。如果NODE(P)无定义，则构造一用P做标记的叶结点n。置NODE(P)=n，转4。基本块的DAG构造算法第31页，共75页，星期日，2025年，2月5日基本块的DAG构造算法3．（找公共子表达式）（1）检查DAG中是否已有一结点，其唯一后继为NODE(B)，且标记为op（即找公共子表达式）。如果没有，则构造该结点n，否则就把已有的结点作为它的结点并设该结点为n，转4。（2）检查中DAG中是否已有一结点，其左后继为NODE(B)，其右后继为NODE(C)，且标记为op（即找公共子表达式）。如果没有，则构造该结点n，否则就把已有的结点作为它的结点并设该结点为n，转4。第32页，共75页，星期日，2025年，2月5日4.（删除无用赋值语句）如果NODE(A)无定义，则把A附加在结点n上并令NODE(A)=n；否则先把A从NODE(A)结点上附加标识符集中删除（注意，如果NODE(A)是叶结点，则其标记A不删除），把A附加到新结点n上并令NODE(A)=n。转处理下一四元式。第33页，共75页，星期日，2025年，2月5日仅含0,1,2型四元式的基本块的DAG构造算法:

首先：假定DAG为空，即没有任何结点。对基本块中的每一四元式依次执行：第34页，共75页，星期日，2025年，2月5日【例】构造下列四元式序列的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演示第35页，共75页，星期日，2025年，2月5日根据DAG图重写四元式后得到如下优化的四元式序列：(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(删除无用代码)

第36页，共75页，星期日，2025年，2月5日【例】试对以下基本块B1应用DAG进行优化。B1:A:=B*CD:=B/CE:=A+DF:=E*2G:=B*CH:=G*GF:=H*GL:=FM:=L并就以下两种情况分别写出优化后的四元式序列：?若某个变量在基本块后不被引用,可删除。第37页，共75页，星期日，2025年，2月5日（1）假设G、L、M在基本块后面被引用；（2）假设只有L在基本块后被引用。解：对于B1其DAG图：(1)若只有G、L、M在基本块后被引用，则优化为：G:=B*CH:=G*GL:=H*GM:=Ln1+*n