鉄の型が支配するレジスタ：HHVM JITにおける型推論とグラフ彩色の真実
コードがCPUのレジスタにどう配置されるかを知らずに、Hackのパフォーマンスを語ることは許されない。多くの開発者は「型があるから速い」と安易に結論づけるが、実際には、Hackの厳格な型システムがHHVMのJITコンパイラに対し、「レジスタ割り当て（Register Allocation）の不確実性を排除する」という特権的な情報を与えているからこそ、あの圧倒的な実行効率が生まれるのだ。
今日は、HHVMのJITエンジンにおけるレジスタ割り当ての深淵を紐解く。
—
1. グラフ彩色問題と「型」という制約条件
コンパイラにとってのレジスタ割り当ては、NP完全問題である「グラフ彩色問題」に帰着する。変数をノードとし、同時に生存している（Live Rangeが重なる）変数間にエッジを張り、物理レジスタ数（色数）で塗り分ける。
動的型付け言語では、変数が実行時に何に化けるか不明なため、コンパイラは常に「最悪のケース」を想定せねばならない。64ビットの汎用レジスタで収まるのか、それともメモリ（スタック）に退避させるべきか。この判断が遅れるだけで、パイプラインはストールし、IPC（1クロックあたりの命令実行数）は低下する。
しかし、Hackは違う。HHVMのJITは、Hackの静的型情報を利用して、変数の「サイズ」と「表現」をコンパイル時に確定させる。
なぜ型がレジスタ効率を劇的に変えるのか
- ボックス化（Boxing）の回避: 型が確定していれば、値はポインタを介したオブジェクトではなく、CPUレジスタに直接ロードできるプリミティブとして扱える。
- ライブレンジの厳密な定義: 型が確定していることで、変数の生存期間が明確になり、競合グラフ（Interference Graph）から無駄なエッジを排除できる。これにより、彩色の難易度が下がり、より多くの変数が「物理レジスタ」という特等席を獲得できる。
—
2. JITパイプライン：型からレジスタへの変換
HHVMのJIT（特に`HHIR`: HHVM Intermediate Representation）は、以下のようなフローでレジスタを奪い取る。
1. 型情報の伝播 (Type Propagation):
関数シグネチャと推論エンジンが、各SSA（静的単一代入）ノードに型を付与する。
2. 生きた変数解析 (Live Variable Analysis):
型情報に基づき、どの変数がどの命令で「死ぬ」かを特定する。
3. グラフ彩色の最適化:
型情報を元に、レジスタへの割り当てコストを計算。例えば、`int`であれば汎用レジスタ、`float`であればXMMレジスタというように、最適なクラスへマッピングする。
ここで重要となるのが「Type-Specialized Code Generation」だ。
もし型情報が不十分であれば、JITは「ガード（Type Guard）」を挿入する。ガードはCPUにとってのコストであり、分岐予測を汚し、レジスタの有効活用を阻害する。厳格な型付けは、このガードを最小化し、レジスタを論理演算に専念させるための「チケット」なのだ。
—
3. レジスタを最大限活用するための極限のヒント
シニアエンジニアとして、コードを書く際に意識すべきは「JITがレジスタを割り当てやすい構造」を作ることである。
① スコープは極限まで小さくせよ
変数の生存期間（Live Range）が長いほど、グラフ彩色におけるエッジが増え、レジスタ不足による「スピル（メモリへの退避）」が発生する。
// 悪い例: スコープが広すぎて、変数が長期間レジスタを占有し続ける
function process(): void {
$data = get_large_data();
// … 50行続く処理 …
use($data);
}
// 良い例: スコープを分割し、レジスタの再利用を促す
function process(): void {
$data = get_large_data();
$this->do_something_with($data);
// $dataはここで破棄され、レジスタが解放される
}
② 型を曖昧にするな（`mixed`の排除）
`mixed`型は、HHVMにとって「どんなサイズか分からないもの」の代名詞だ。これはランタイムでポインタのデリファレンスを強要し、レジスタの活用効率を根底から腐らせる。徹底して具象型（Concrete Type）を定義せよ。
③ インライン化の誘発
HHVMのJITは、小さな関数を呼び出し元にインライン化することで、レジスタの受け渡しコストをゼロにする。関数は小さく、しかし型安全に保て。
—
結び：アーキテクチャの真髄
Hackという言語は、単なるPHPの進化系ではない。それは「型情報というメタデータを用いて、ハードウェアに近い領域を制御するための高度なDSL」である。
レジスタ割り当ての最適化とは、突き詰めれば「いかにメモリ（遅い世界）に触れずに計算を完了させるか」という戦いである。型を厳格に定義することは、コンパイラに対して「このデータはレジスタに載せて良い」と確信させるための最強の宣言だ。
君たちが書く一行のコードが、HHVMのJITを通ってCPUレジスタに刻まれる時、そこに「型」という規律があれば、システムは限界を超えた速度で応答する。それが、我々がHackを愛してやまない理由だ。
次は、プロファイラを見ながら、スピルが発生しているホットパスを一つずつ潰すことだ。それがアーキテクトの仕事である。