JITコンパイラは不要な変数宣言を最適化（インライン化）しますか？

Question

私はJITコンパイラにインライン関数呼び出しのすべての最適化をさせることをベストプラクティスと結論づけるいくつかの記事と質問/回答を読んだ。意味をなさない

インライン変数宣言はどうですか？コンパイラはこれらも最適化していますか？

 Dim h = (a + b + c)/2  'Half-Perimeter 

     If maxEdgeLength/(Math.Sqrt(h * (h - a) * (h - b) * (h - c))/h) <= MaximumTriangleAspectRatio Then 
      'Do stuff here. 
     End If 

これよりも優れた性能を持っている：もちろん

 Dim perimeter = a + b + c 'Perimeter 
     Dim h = perimeter/2  'Half-Perimeter 

     Dim area = Math.Sqrt(h * (h - a) * (h - b) * (h - c)) 'Heron's forumula. 
     Dim inradius = area/h 
     Dim aspectRatio = maxEdgeLength/inradius 

     If aspectRatio <= MaximumTriangleAspectRatio Then 
      'Do stuff here. 
     End If 

私は後者を好む、それは読みやすく、デバッグだが、私は余裕がないので、これはされますされ

それが存在すればパフォーマンスの低下。

注：私はすでにこのコードをボトルネックと認識しています。早すぎる最適化についてのレトルトの必要はありません。 :-)

Answer 1

名前を持つ一時変数は問題ではありません。

しかし、その不等式を大幅に最適化することができます。

あなたのコードは次の通りであった：平方根で

If maxEdgeLength/(Math.Sqrt(h * (h - a) * (h - b) * (h - c))/h) <= MaximumTriangleAspectRatio Then 

乗算両側、（平方根が負の数を返すことができないため、不等式が保存される）の分割を排除：

If maxEdgeLength <= (Math.Sqrt(h * (h - a) * (h - b) * (h - c))/h) * MaximumTriangleAspectRatio Then 

今、正方形その高価な平方根を排除するために両側：

If maxEdgeLength * maxEdgeLength <= h * (h - a) * (h - b) * (h - c)/h/h * MaximumTriangleAspectRatio * MaximumTriangleAspectRatio Then 

キャンセル、m最終的にはh。

If maxEdgeLength * maxEdgeLength * h <= (h - a) * (h - b) * (h - c) * MaximumTriangleAspectRatio * MaximumTriangleAspectRatio Then 

これは非常に高速です。この計算を繰り返す場合は、この式の一部の結果をキャッシュしてさらに改善することを検討してください。

数式を説明するためにコメントを使用します。ボトルネック関数でMath.Sqrt呼び出しを取り除くことは、簡単な形式で表現を書く価値があります。ところで

Answer 2

、ちょうど悪魔の提唱者を再生するには、また、私はこれを指摘したかった：全体の機能の

JITのインライン化は、計算の複雑さをMSILのバイト単位の長さを見て、ではありません。ローカル変数を追加すると（そして、JITがそれらを登録することを期待して）、関数全体のインライン化の候補にならないほどMSILのサイズが大きくなる可能性があります。

これは、Math.Sqrtの不要な使用と大きな違いはありませんが、可能性もあります。 Eric Lippertが言ったように、あなたは実際に測定することによってもっと知るでしょう。ただし、そのような測定はプログラムの特定の実行に対してのみ有効であり、JITの動作をしばしば調整する異なるプロセッサまたは将来のバージョンの.NETランタイム（サービスパックを含む）には一般化されません。ですから、最適化のための分析的かつ経験的なアプローチを必要としています。