图11.14的B3中i∶=2是循环不变运算。如果我们把i∶=2提到循环 的前置结点B′2中,如图11.15所示:
图11.15 程序流图