编译10优化_zss_讲解.pptVIP

* * 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 1.求出四元式程序中各个基本块的入口语句: 1) 程序第一个语句，或 2) 能由条件转移语句或无条件转移语句转移到的语句，或 3) 紧跟在条件转移语句后面的语句。 * * 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 1.求出四元式程序中各个基本块的入口语句: 1) 程序第一个语句，或 2) 能由条件转移语句或无条件转移语句转移到的语句，或 3) 紧跟在条件转移语句后面的语句。 * * 例：划分基本块 (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt 2. 对以上求出的每个入口语句，确定其所属的基本块。它是由该入口语句到下一入口语句(不包括该入口语句)、或到一转移语句(包括该转移语句)、或一停语句(包括该停语句)之间的语句序列组成的。 * * 优化措施(变换) 合并已知量 T1:=2 … T2:=4*T1 变换成 T2:=8 临时变量改名 T:=b+c 其中T是一个临时变量名。 把这个语句改成： S:=b+c * * 交换语句的位置 T1:=b+c T2:=x+y 代数变换 x:=x+0 或 x:=x*1 无意义，可删除。 x:=y**2 变换成： x:=y*y * * 流图 每个流图以基本块为结点。如果一个结点的基本块的入口语句是程序的第一条语句，则称此结点为首结点。如果在某个执行顺序中，基本块B2紧接在基本块B1之后执行，则从B1到B2有一条有向边。即，如果 有一个条件或无条件转移语句从B1的最后一条语句转移到B2的第一条语句；或者 在程序的序列中，B2紧接在B1的后面，并且B1的最后一条语句不是一个无条件转移语句。我们就说B1是B2的前驱，B2是B1的后继。 * * (1) read X (2) read Y (3) R:=X mod Y (4) if R=0 goto (8) (5) X:=Y (6) Y:=R (7) goto (3) (8) write Y (9) halt (8) write Y (9) halt (5) X:=Y (6) Y:=R (7) goto (3) (3) R:=X mod Y (4) if R=0 goto (8) (1) read X (2) read Y B1 B2 B3 B4 * * 10.2.2 基本块的DAG表示及其应用 有向图 有向边: ni?nj 前驱：ni是nj的前驱 后继： nj是ni的后继 通路: n1?n2 , n2?n3 ,... ,nk-1?nk 环路： n1=nk DAG：无环路有向图(Directed Acyclic Graph) n1 n2 n3 n4 n1 n2 n3 n4 * * 无环路有向图(Directed Acyclic Graph，简称DAG) 对表达式中的每个子表达式，DAG中都有一个结点 一个内部结点代表一个操作符，它的孩子代表操作数 在一个DAG中代表公共子表达式的结点具有多个父结点 * * 描述计算过程的DAG是一种带有下述标记或附加信息的DAG: n1 3.14 n3 n4 R r n5 + T2 , T4 图的叶结点以一标识符或常数作为标记，表示该结点代表该变量或常数的值; 图的内部结点以一运算符作为标记，表示该结点代表应用该运算符对其后继结点所代表的值进行运算的结果; 图中各个结点上可能附加一个或多个标识符(称附加标识符)表示这些变量具有该结点所代表的值。 * * 一个基本块，可用一个DAG来表示与各四元式相对应的DAG结点形式: 四元式 DAG 图 (0) 0型: A:=B (:=，B，-，A) n1 A B * * 四元式 DAG 图 (1) 1型: A:=op B (op，B，-，A) n1 A B n2 op (2) 2型: A:=B op C (op，B，C，A) n2