第10章优化解说.pptVIP

§10.2 局部优化 2、构造基本块的DAG的算法 2)中间代码的三种形式: （0）A:=B （1）A:=op B （2）A:=B op C 或 A:=B[C] n1 B ,A n1 B A n2 op n2 C A n3 op n1 B * §10.2 局部优化 2、构造基本块的GAD的算法 (3)构造算法： ①开始，DAG为空 ②对基本块中每一条中间代码式，依次执行以下步骤: 步骤： 1、如果NODE(B)无定义，则构造一标记为B的叶结点并定义NODE(B)为这个结点： 如果当前代码是0型，则记NODE(B)的值为n，转4。 如果当前代码是1型，则转2(1)。 如果当前代码是2型，则(ⅰ)如果NODE(C)无定义，则构造一标记为C的叶结点并定义NODE(C)为这个结点，(ⅱ)转2(2)。 * §10.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)=