编译原理：第十章优化.pptVIP

(1) I:=1 (2‘) I:=3 (2) if XY goto B3 B1 B2 (3) I:=2 (4) X:=X+1 (5) Y:=Y-1 (6) if Y=20 goto B5 (7) J:=I B3 B4 B5 考虑: B2 ?B3 ? B4 ? B2 ? B4 ? B5 I=3, J=3 (2‘) I:=3 (2) if XY goto B3 B1 B2 (3) I:=2 (4) X:=X+1 (5) Y:=Y-1 (6) if Y=20 goto B5 (7) J:=I B3 B4 B5 (1) I:=1 B2’ 考虑: B2 ?B3 ? B4 ? B2 ? B4 ? B5 I=2, J=2 代码外提条件: A在循环中其他地方未再定值,才能把循环不变运算A:=B op C外提; 考虑: 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 B