予想ですけど、インライン最適化とSSA依存解析で、右辺値の構築が削除されるのではないでしょうか

10:12 AM

10:13 AM

「ある計算の答えを出すために必要な事前の計算は何か？」というのがグラフ構造にできるんですけど、それをやる前処理として変数を削除して定数だけにした形式のSSA があって、SILはSSAなのでそうした最適化も入っているはずで

10:14 AM

!= の実行の部分をインライン展開すると、最終的に、比較してる右辺を組み立てる部分グラフが完全に要らないってことが

10:14 AM

解析できるはず・・・

10:16 AM

正確な答えを知るためにはコンパイラの中の最適化を有効化する部分をちょっとずつ減らして（LLVMライブラリが最適化の機能ごとにセットアップできる設計になっているから）どれを入れてくと最終的に同じ状態まで最適化される、というのを調べないといけなそう