HHVMの深淵：JITコンパイラを味方につける「ループ不変量コード移動（LICM）」の極意
Hackという言語の優位性は、単なる型安全性の高さにあるのではない。真の強みは、HHVMという巨大な計算機が、静的型情報を武器にどれほどアグレッシブな最適化を仕掛けてくるかという点にある。
今日は、パフォーマンスに敏感な諸君に向けて、JITコンパイラの「頭の中」を覗き込み、なぜ君たちのコードが時に爆速になり、時に停滞するのかを論理的に解き明かす。テーマはLICM（Loop Invariant Code Motion：ループ不変量コード移動）だ。
—
1. JITは「ループの外」をどう見ているか
LICMとは、ループ内で「何度計算しても結果が変わらない式」を検出し、それをループ実行前のプリヘッダー（Pre-header）に退避させる最適化手法だ。
HHVMのJITエンジン（特にTransitional JIT）は、SSA（Static Single Assignment）形式の中間表現を用いて、変数の依存関係を厳密に追跡する。もし君がループ内で定数計算や、ループ変数の影響を受けないメソッド呼び出しを行っていれば、JITはそれを自動的にループの外へ「追い出す」。
しかし、ここには落とし穴がある。「副作用（Side Effect）」の不透明性だ。
2. JITを挫折させる「黒魔術」を避ける
JITが最適化を断念する最大の理由は、「この関数がループの外に出しても安全か？」をコンパイラが証明できない場合だ。特に、不必要なグローバル状態へのアクセスや、複雑なオブジェクトのイミュータビリティが保証されていないコードは、JITの最適化障壁となる。
アンチパターン：JITを殺すループ
// 悪い例：呼び出すたびに副作用を疑わせる設計
foreach ($items as $item) {
// getMultiplier() が内部で静的変数や外部状態を書き換える可能性があると、
// JITはこれをループの外へ移動（LICM）できない。
$factor = $this->getMultiplier();
$result[] = $item->process($factor);
}
このコードは、コンパイラにとって「毎回 `getMultiplier()` を実行しなければならない理由」が排除できないため、最適化が効かない。
—
3. 実務で勝つ：最適化を誘発する「美しいプロダクションコード」
JITに「これはループの外に出しても不変（Immutable）である」と確信させるには、型システムによる宣言的な制約が不可欠だ。Hackの `<<__Pure>>` 属性や、イミュータブルな設計を活かすべきだ。
改善されたコード：JITが喜ぶ「不変量の隔離」
<<__Pure>>
function getMultiplier(): float {
// 純粋関数として宣言することで、JITは「この計算は一度でいい」と判断できる
return 0.05;
}
public function processItems(vec
// 1. ループ不変量をループ外へ明示的に移動（手動LICM）
// JITによる自動最適化を待つだけでなく、設計段階で分離するのがプロの作法だ
$factor = self::getMultiplier();
$results = vec[];
foreach ($items as $item) {
// 2. ループ内は本質的な処理のみに集中させる
// これにより、命令キャッシュの効率が最大化される
$results[] = $item->process($factor);
}
return $results;
}
なぜこれが最強なのか
1. 純粋性の明示: `<<__Pure>>` を付与することで、HHVMの型チェッカーとJITエンジンは、この関数が外部状態に依存せず、メモリを書き換えないことを確信できる。
2. 命令の局所化: ループ内の命令数が減ることで、CPUのパイプラインはより効率的に命令をフェッチし、分岐予測の精度が向上する。
3. レジスタ割り当ての最適化: `$factor` がループ内で変化しないことが確実な場合、JITはこれをCPUレジスタに固定配置（Register Allocation）できる可能性が高まる。メモリへのアクセスは極限まで排除される。
—
4. チーフアーキテクトからの助言：計るな、理解せよ
諸君が書くコードが、HHVM上で単なるバイトコードの羅列として実行されるか、最適化されたマシンコードとしてネイティブで走るか。その境界線は「コンパイラにどれだけ明確な意図を伝えられるか」にある。
- 定数はループの外へ: 型チェッカーが型を確定できるように、定数や計算式はループの前に展開せよ。
- 副作用を追放せよ: ループ内で呼ぶ関数は、可能な限り副作用を持たせない。それができないなら、プロパティとしてキャッシュして、ループ前で参照せよ。
- 型を信じろ: Hackの静的型システムは、JITにとっての「地図」だ。型が曖昧な `mixed` を多用すればするほど、JITはガードコード（型チェック用の分岐）を埋め込まざるを得ず、パフォーマンスは劣化する。
システム設計とは、単に動くものを作ることではない。「仮想マシンの挙動を制御し、計算資源を最大限に引き出すこと」だ。今日のこの知見を、君たちのプロダクションコードに反映させてみてほしい。結果は、プロファイラのグラフが雄弁に語ってくれるはずだ。