编译原理 第7章 代码优化技术考察..pptVIP

第七章 代码优化 ● 优化技术简介—(a)常数合并 a = 10 * 5 + 6 - b; _tmp0 = 10 ; _tmp1 = 5 ; _tmp2 = _tmp0 * _tmp1 ; _tmp3 = 6 ; _tmp4 = _tmp2 + _tmp3 ; _tmp5 = _tmp4 – b; a = _tmp5 ; 优化技术简介—(b)常数传播 _tmp4 = 0 ; f0 = _tmp4; _tmp5 = 1 ; f1 = _tmp5; _tmp6 = 2 ; i = _tmp6 ; f0 = 0 ; f1 = 1 ; i = 2 ; 优化技术简介—(c)代数简化 x+0 = x 0+x = x x*1 = x 1*x = x 0/x = 0 x-0 = x 优化技术简介—代数简化 _tmp0 = 5 ; _tmp1 = _tmp0 + a ; _tmp2 = _tmp1 + 10 ; b = _tmp2 ; _tmp0 = 15 ; _tmp1 = a + _tmp0 ; b = _tmp1 ; 优化技术简介—(d)降低运算强度 a) i*2 = 2*i = i+i = i2 b) i/2 = (int)(i*0.5) c) 0-1 = -1 d) f*2 = 2.0 * f = f + f e) f/2.0 = f*0.5 优化技术简介—(e)复写传播 tmp2 = tmp1 ; tmp3 = tmp2 * tmp1; tmp4 = tmp3 ; tmp5 = tmp3 * tmp2 ; c = tmp5 + tmp4 ; tmp3 = tmp1 * tmp1 ; tmp5 = tmp3 * tmp1 ; c = tmp5 + tmp3 ; 基本块的入口可能是下述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 ● 基本块的DAG表示及其应用 有向无环图(DAG----Directed Acyclic Graph) 基本块的DAG是在结点上带有标记的DAG 叶结点：独特的标识符(名字,常数)标记 内部结点：运算符号标记 各个结点：附加标识符标记 基本块：是指程序中一顺序执行的语句序列. 基本块内的语句要么全执行，要么全不执行，而不 能只执行一部分。基本块只有一个入口和出口，只能从入口进入，出口退出，不存在转入分支等操作。 ● 基本块内的优化 1．求出四元式程序之中各个基本块的入口语句。 2．对每一入口语句，构造其所属的基本块。它是由该语句到下一入口语句（不包括下一入口语句），或到一转移语句（包括该转移语句），或到一停语句（包括该停语句）之间的语句序列组成的。 3. 凡未被纳入某一基本块的语句，都是程序中控制流程无法到达的语句，因而也是不会被执行到的语句，我们可以把它们删除。 ● 划分基本块的算法： 7.2 局部优化 基本块的入口是这组语句的第一条语句，出口是这组语句的 最后一条语句。进行局部优化时，需要把程序划分成一系列 的基本块，局部优化在各个基本块内分别进行。 基本块的出口可能是下述3种情况之一： (1)终止程序运行的语句 (2)转移语句 (3)顺序执行时进入下一基本块入口之前的最后语句 基本块内实行的优化： 合 并 已 知 量 删除多余运算 删除无用赋值 解：划分成四个基本块B1，B2，B3，B4 (1) (2) (3) (4) (5) (6) (7) (8) (9) B1 B2 B3 B4 例： 将下列四元式序列划分为基本块流： （：＝，1，，i） （jp，，，3） （＋，i，1，i） （j≤，i，n，5） （jp，，，8） （＋，m，i，t） （：＝，t，，m） （jp，，，2） …… 四元式 DAG结点 n1 A B n1 0 型： A:=B(:=, B, — ,A) A