编译原理——编译程序构造实践教程课件作者张幸儿戴新宇702编译程序构造与实践教程第七章节.pptVIP

概括1. 概况 代码优化的概念、分类、代码优化程序结构 2. 基本块的优化 基本块、基本块优化的种类、基本块优化的实现 DAG的构造与应用3. 与循环有关的优化1) 优化的种类2) 循环优化的实现 循环结构的识别、数据流分析(3类数据流方程) 3) 窥孔优化 概念、优化种类要求：能熟练地为程序段写出四元式序列， 并指明何处可进行何种优化， 了解三类数据流方程的含义， 及其在代码优化时的作用。 2. 归纳变量计算强度削减和归纳变量删除 循环的归纳变量：随着循环的每次重复执行，增加或减少某个固定值的常量。 思路：引进基本归纳变量与归纳变量族的概念。 1) 循环的基本归纳变量：循环中只有唯一的形如 i:=i±c 的定值（c是常量）的变量。 2) 变量j属于i族：循环中对变量j 的定值都呈下形： j:=C1*i±C2 ( 表示为 ( i, C1, ±C2) ) 其中i是基本归纳变量，C1和C2都是常量。 若i=i+n, 则 j=C1*i+C1*n±C2, 即， j=(C1*i±C2) +C1*n 不论是归纳变量计算强度削减，还是归纳变量删除，进行这两类优化的前提是已有到达-定值信息，并且找出了循环中的归纳变量。对于归纳变量删除优化，除了循环不变计算信息外，还需要活跃变量信息。 7.5 全局优化的实现思想 1. 公共子表达式消除 消除全局公共子表达式的实现思想如下。 对于流图一切基本块中形如op x y z的四元式Q。如果在Q所在基本块的入口点处x op y可用，且在该基本块中，Q之前没有对x和y的定值,则顺着流图的有向边从该基本块开始,反向搜索，不穿过任何计算 x op y的基本块,找出到达Q所在基本块的x op y的计算,即四元式R: op x y t，因此R是到达Q的最后一个计算x op y。这时建立新变量u，把四元式R代之以下列两个四元式： op x y u := u t 这时x op y的值在u中，因此四元式:= u z代替四元式Q。 概括一句话，基于可用表达式的概念。 2. 复写四元式的删除 通过复写四元式定值的变量大多数是局部于基本块的临时变量，因此可以考虑实现复写传播而删除复写四元式。 对于用复写四元式d: := x y定值的变量y, 找出其一切引用点，用x去代替y，那末可以删除此复写四元式d。 这时对y的每个引用u需满足下列两个条件，即， 1)此定值d是到达u的唯一的对y的定值( 即, u处的ud链仅包含d)； 2)从d到u的每条路径上，包括穿过u若干次的(但不第2次穿过d的) 路径上，没有对x的赋值。 7.6 窥孔优化 窥孔优化：在机器语言目标代码级上进行的局部优化，它仅考虑目标代码中很短的指令序列，只要有可能，就把它优化为更短或更快的指令序列。 窥孔优化有如下几类典型的优化： ·冗余指令删除； ·控制流优化； ·代数化简； ·特殊指令的使用。 7.6.1 冗余指令删除 1. 多余的存取指令之删除 2. 死代码删除 例 a=b+c; d=a-e 例 #define debug 0 MOV b， R0 ... ADD c， R0 if (debug==1) MOV R0， a 打印调试信息的语句 MOV a， R0 ... SUB e， R0 MOV R0， d 7.6.2 控制流优化 控制流的窥孔优化: 在目标代码中减少不必要的控制转移，甚至删除不必要的控制转移指令，以提高程序的运行效率 。