結果 : loop invariant code motion example