関連ワード:  loop invariant code motion licm    loop invariant examples    loop invariant proof examples    how to write a loop invariant  
結果 : loop invariant code motion licm