HHVMの深淵：HHIRが紐解く「実行」の真実
HHVMのJITコンパイラは、単なるバイトコード・トランスレータではない。それは、動的言語の柔軟性と、C++に近い静的型システムの規律を、生存戦略として融合させた究極の実行エンジンだ。
多くのエンジニアは、HackコードがHHBC（HipHop Bytecode）にコンパイルされることは知っている。だが、その先にあるHHIR (HHVM Intermediate Representation)、すなわち「マシン語に至る直前の静寂」を直視した者は少ない。
今日は、我々コアコミッターが日々対峙している、最適化の最前線について語ろう。
—
1. 変換の階層：HHBCからHHIRへの昇華
HackのコードがHHVMにロードされるとき、まずは`Unit`単位でHHBCへと変換される。しかし、HHBCはスタックマシンベースの命令セットであり、レジスタ割り当てやループ最適化には不向きだ。
そこで登場するのが、HHIRである。HHBCのスタック操作は、HHIR変換プロセスにおいて、SSA (Static Single Assignment) 形式のグラフへと再構成される。
なぜSSAなのか
SSA形式を採用することで、変数の寿命が明確化され、データフロー解析が格段に容易になる。HHIRの各ノードは、純粋な計算処理と副作用（Side-effect）を厳密に区別する。
// HHIR変換のイメージ（概念的な疑似IR）
// SSA形式により、各代入が一度だけ行われることが保証される
$t1 = LoadLoc
$t2 = CheckType
$t3 = AddInt($t2, 1); // 演算
StoreLoc
この段階で、型チェッカーが静的に保証した型情報はHHIRの「ガード」として埋め込まれる。もし型が矛盾すれば、HHIRは即座に`GuardFailure`を生成し、デオプティマイズ（インタープリタへのフォールバック）を誘発する。ここが、Hackのパフォーマンスを支える「防御的最適化」の正体だ。
—
2. 最適化パス：コンパイラの魂が宿る場所
HHIRが生成された直後、そこには冗長な命令や、推論可能な定数が散らばっている。HHVMの最適化パスは、これらを削ぎ落とし、ハードウェアのパイプラインを最大限に活用する形へ変形させる。
- DCE (Dead Code Elimination): 到達不能なパス、あるいは副作用のない計算結果を徹底的に削除する。
- LICM (Loop Invariant Code Motion): ループ不変式をループ外へ追い出す。これは単なるコード移動ではなく、メモリ依存関係を精密に解析して行う必要がある。
- Register Allocation: HHIRの無限の仮想レジスタを、CPUの物理レジスタ（x64の`rax`, `rbx`等）へ写像する。ここでは、Spill/Fillコストを最小化するためにグラフ彩色アルゴリズムが動いている。
メモリ最適化の極致
特に注目すべきは、Escape Analysis（脱出解析）だ。オブジェクトが現在のスコープから「脱出」しないと判断された場合、ヒープ上の割り当てをスタック割り当て、あるいはCPUレジスタ内の分解へと昇華させる。これはGCの圧力を劇的に下げる鍵となる。
—
3. マシン語への翻訳：JITの「最終判決」
HHIRから最終的なマシン語（x64）への変換は、`asm_x64`ジェネレータが行う。ここで最も重要なのは、コードキャッシュの局所性だ。
我々は、頻繁に呼び出される関数を「ホットコード」と呼び、キャッシュ内で物理的に隣接させることで、CPUの命令フェッチバッファのミスを最小化している。さらに、Side-Exit（サイドエグジット）の仕組みが重要だ。
; マシン語レベルでのサイドエグジットの概念
cmp eax, [rbx] ; 型ガードの確認
jne handle_mismatch ; 型が違えば即座にDeoptimize
add eax, 1 ; 高速パス
…
handle_mismatch:
call interpret_slow ; インタープリタへ戻る
この「型が一致している限りは爆速で走り、少しでも想定外（未定義の挙動や動的な型変更）があれば安全なインタープリタへ逃げる」という設計こそが、HackがPHPの互換性を保ちつつ、数倍の速度を叩き出す最大の秘密である。
—
4. チーフアーキテクトからの助言
HHVMの内部を覗くということは、メモリの断片化やCPUキャッシュの揺らぎと対話することに他ならない。あなたが書いたHackのコードは、最終的に数千行のHHIRノードに分解され、物理メモリ上の電気信号として解釈される。
- 型を厳格にせよ： `mixed`型はHHIRにおいて「ガードの欠如」を意味し、最適化の機会を奪う。`Shape`や`Tuple`、`Generics`を多用し、コンパイラに「推論の余地」を与えないこと。
- Hot Pathを意識せよ： ループ内での不必要なメモリ割り当ては、どんなに優秀なエスケープ解析も防げない場合がある。
Hackは、動的言語の皮を被った、高度に洗練された静的言語だ。この事実を理解した時、あなたのコードはコンパイラと「共鳴」し始める。
HHIRのグラフを見よ。そこにあなたのコードの真の姿がある。
—
Stay curious, stay close to the metal.