.Netネイティブコンパイルループが逆の順序であるのはなぜですか？

Question

私は.Netネイティブコンパイラによって実行される最適化技術に取り組んでいます。 私は、サンプルループ作成しました：

 for (int i = 0; i < 100; i++) 
     { 
      Function(); 
     } 

をそして私はネイティブでそれをまとめました。それから、IDAにある.dllのファイルをマシンコードで解体しました。その結果、私が持っている：

（私はいくつかの不要な行を削除したので、そのアドレスラインがinconsistantです心配しないでください）

私は、add esi, 0FFFFFFFFhは本当にsubtract one from esi and alter Zero Flag if neededを意味することを理解しますまだゼロに達していなければ、最初にジャンプすることができます。

私は理解していないことは、なぜコンパイラはループを反省したのですか？

私は

LOOP: 
add esi, 0FFFFFFFFh 
jnz LOOP 

はただ速い例えばより

LOOP: 
inc esi 
cmp esi, 064h 
jl LOOP 

である。しかし、それはそのため実際にあると、本当に大きな速度差であるという結論に来ましたの？

Answer 1

inc might be slower than add because of the partial flag update。さらにaddはゼロフラグに影響しますので、別のcmp命令を使用する必要はありません。ちょうど直接ジャンプします。

これは、loop optimization

反転の一つの有名なタイプである：ループ反転は値がインデックス変数に割り当てられる順序を逆転させます。これは、依存関係をなくして他の最適化を可能にする微妙な最適化です。また、特定のアーキテクチャでは、単一方向のみにカウントされるアセンブリ言語レベル（例えば、減分ジャンプ、ゼロでなければならない（DJNZ））でループ構造を利用する。

• Is it faster to count down than it is to count up?
• GCC Loop optimization

あなたは他のコンパイラhereために結果を見ることができます。

Answer 2

あなたの結論が正しい：Addは条件分岐で使用ゼロフラグを設定するように反転サイクルは、（レジスタ値が0に達したときのサイクル意志が終了する）0を標的とします。

このようにすれば、Cmp専用のものは必要ありません。サイズの最適化2）コンパイラプログラマーの決定と他のanswerの結論も高速です。

これは、ループターゲティング0を書くための非常に一般的なアセンブラトリックです。私はあなたがアセンブラを理解していることに驚いていますが、それについて知らない（尋ねる）ことはありません。