【実務・中級編】HHVMのJITにおける『ループ不変量コード移動（LICM）』の適用範囲 – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

HHVMの深淵を覗く：LICM（ループ不変量コード移動）を意識した堅牢なHack設計

Hackのコードを書く際、「型チェックが通ればそれでいい」と考えていないか？HHVMのJITコンパイルエンジンは極めて優秀だが、それは魔法ではない。コンパイラが最適化をあきらめるコードを書けば、どんなに強力なCPUも無駄な計算にリソースを食いつぶすことになる。

今回は、JIT最適化の華であるLICM（Loop Invariant Code Motion：ループ不変量コード移動）を題材に、なぜ君のコードが遅いのか、そしてどう書けばHHVMが最大限の性能を引き出せるのか、その「言語の重み」を解説する。

—

1. LICMとは何か：HHVMが「見抜く」境界線

LICMとは、ループの繰り返しごとに値が変わらない計算（ループ不変量）を、ループの外側に自動的に引き出す最適化手法だ。

例えば、単純なループの中で `Config::get(‘key’)` を呼び出すようなコードを書いたとする。JITがこれを「ループ全体を通して戻り値が変わらない」と証明できれば、この関数呼び出しをループの外へ退避させる。これにより、計算コストは `O(N)` から `O(1)` へと劇的に改善される。

しかし、HHVMのJITは「証明できないコード」には手を出さない。 安全性こそがHackの哲学だからだ。グローバル変数の参照や、副作用の可能性がある複雑なメソッド呼び出しがループ内に混在すると、JITはLICMを放棄する。

—

2. 非効率なコード vs 堅牢な設計

まずは、プロダクションでよく見かける「最適化を阻害する悪い例」を見てほしい。

❌ アンチパターン：JITを迷わせるコード

function process_data(vec $items): void {
foreach ($items as $item) {
// 問題点: 毎回Configクラスの静的メソッドを呼び出し、
// $itemsの外部状態に依存しているとみなされるため、
// JITは「不変量」と確信できず、毎回計算を実行する。
$threshold = Config::getThreshold();

if ($item > $threshold) {
$this->performAction($item);
}
}
}

このコードでは、`Config::getThreshold()` がループのたびに実行される可能性がある。もしこのメソッド内で複雑なロジックが走っていれば、それがそのままCPUサイクルの無駄になる。

✅ 推奨パターン：不変量を「明示的に」切り出す

function process_data(vec $items): void {
// 不変量をループ外へ明示的に移動させる（Manual LICM）
// これにより、コンパイラの最適化に頼らずとも確実にO(1)になる。
$threshold = Config::getThreshold();

foreach ($items as $item) {
// ループ内は純粋な比較のみ。CPUキャッシュ効率も最大化される。
if ($item > $threshold) {
$this->performAction($item);
}
}
}

—

3. 実務で応用すべき「堅牢な設計パターン」

高パフォーマンスかつ保守性の高いコードを書くための、チーフアーキテクトからの指針だ。

1. 「純粋性」を意識したメソッド設計

メソッドが副作用を持つか持たないか（`<<__Pure>>` 属性の活用）を意識せよ。HHVMは `<<__Pure>>` が付与されたメソッドであれば、より積極的にLICMを適用できる。

<<__Pure>>
function calculate_offset(int $base): int {
return $base 42; // 副作用のない計算は最適化対象になりやすい
}

2. コンテナの型制約を厳格に

`vec` や `dict` の型が `mixed` になると、HHVMは実行時の型判定をループ内で行わなければならず、LICMの適用範囲が狭まる。`vec` のように型を具体化すれば、JITは「不変」を証明しやすくなり、ループのアンロール（展開）も行われやすくなる。

3. 非同期API連携時の罠

`await` を含むループ内で、不変量となる計算を `await` の後に書くのは愚策だ。

// 悪い例
foreach ($ids as $id) {
$data = await $this->fetch($id);
$meta = $this->getGlobalMeta(); // ループ内で毎回実行される
// …
}

// 良い例
$meta = $this->getGlobalMeta(); // ループ前に一度だけ取得
foreach ($ids as $id) {
$data = await $this->fetch($id);
// …
}

—

最後に：アーキテクトの視点

JIT最適化は「コンパイラが頑張る領域」だが、「コンパイラが頑張りやすい構造を作ること」はエンジニアの義務だ。

LICMを意識したコードを書くことは、単に計算量を減らすだけではない。コードの責務を分離し、ループ内で「何を処理すべきか」を明確にすることに繋がる。それは結果として、読みやすく、デバッグが容易で、誰が見ても意図が伝わる「美しいプロダクションコード」への近道となる。

HHVMの深層を理解せよ。そして、型システムとJITの挙動を味方につけ、プロダクション環境で揺るぎないパフォーマンスを叩き出せ。

君の次のプルリクエストに、この視点が活かされることを期待している。