编译原理第十章习题答案.pptVIP

结论： 当把一不变运算外提到循环前置结点时，要求该不变运算所在的结点是循环所有出口结点的必经结点。 如果循环中I的所有引用点只是B3中I的定值所能到达的，I在循环中不再有其它定值点，并且出循环后不会再引用该I的值（即在循环外的循环后继结点入口，I不是活跃的），那么即使B3不是B4的必经结点，还是可以将I=2外提。 * （1） I=1 I=3 （2） if XY goto B4 （3）I=2 （4）X=X+1 （5） Y=Y-1 (6)if x20 goto B2 （7） J=I B2 B3 B4 B5 结论：I=3也不能外提，对不变运算A=B op C 要求循环中其他地方不能再有A的定值。 B1 I=3所在结点B2是循环出口点的必经结点，能否外提？ * I=1 if XY goto B4 A=I+1 X=X+1 I=2 Y=Y-1 if Y0 goto B2 J=A B2 B3 B4 B5B4中的I=2为循环不变运算，并且为循环出口的必经之路，并且没有再被定值是否能够外提？ B1 不能外提，否则改变J的值。 结论：当把循环不变运算A=B op C外提时，要求循环中A的所有引用点都是而且仅仅是这个定值所能到达的。 * 查找循环L中的不变运算的算法： （1）依次查看L中各个基本块的每个代码，如果它的每个运算对象或为常数，或者定值点在L外，则将其标记为“不变运算”； （2）重复（3