编译程序构造与实践教程第七章 (2).pptVIP

概括起来，当已计算ud链及必经结点信息时，循环不变表达式外提的步骤如下： 步骤1 寻找循环中的一切不变计算四元式。 步骤2 对所找到的每个不变计算四元式Q: op x y z检查是否可外提的三个条件。 步骤3 按照找出循环不变计算四元式的顺序把其中满足上述三个条件的不变计算四元式外提到循环的前置结点基本块中。不言而喻，如果Q中的运算分量x与y在循环内定值，则只有在x与y的定值四元式外提到前置结点基本块之后，才能把Q外提到前置结点基本块。 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=(