编译10优化_zss_.pptVIP

* * 考虑: X=0, Y=2 B2 ?B3 ? B4 ? B2 ? B4 ? B5 A=2, J=2 (1) I:=1 (2) if XY goto B3 B1 B2 (3) A:=I+1 (4) X:=X+1 (5) I:=2 (6) Y:=Y-1 (7) if Y=0 goto B5 (8) J:=A B3 B4 B5 * * (5) I:=2 (2) if XY goto B3 B1 B2 (3) A:=I+1 (4) X:=X+1 (6) Y:=Y-1 (7) if Y=20 goto B5 (8) J:=A B3 B4 B5 (1) I:=1 B2’ 考虑: X=0, Y=2 B2 ?B3 ? B4 ? B2 ? B4 ? B5 A=3, J=3 S(A:=B OP C)外提条件:循环中所有A的引用点只有S中的A的定值才能到达。 * * 查找循环L的不变运算的算法： 1）依次查看L中各基本块的每个四元式，如果它的每个运算对象或为常数，或者定值点在 L外，则将此四元式标记为不变运算; 2）重复第3步直至没有新的四元式被标记为不变运算为止; 3）依次查看尚未被标记为不变运算的四元式，如果它的每个运算对象或为常数，或定值点在L之外，或只有一个到达一定值点且该点上的四元式已被标记为不变运算，则把被查看的