HHVMのJIT生成コードにおけるレジスタ割り当て戦略：Hackの厳格な型情報がもたらす機械語レベルの極限最適化
HHVM（HipHop Virtual Machine）のアーキテクチャ、そしてそこで稼働するHack言語の静的型システムを真に理解している者は多くない。PHPの動的な泥沼から脱却し、厳格な型安全を手に入れたHackが、なぜこれほどまでに圧倒的なスループットとメモリ効率を叩き出せるのか。その答えの大部分は、JIT（Just-In-Time）コンパイラが生成する機械語の質、そして「型情報がレジスタアロケータに与える不可逆的な優位性」に隠されている。
本稿では、HHVMのTC（Translation Cache）内部におけるレジスタ割り当て（Register Allocation）のメカニズムを解剖し、Hackの型情報がいかにしてCPUレジスタのスピル（Spill）を極限まで削減し、メモリアクセスのボトルネックを粉砕しているのかを、低レイヤの視点から徹底的に解説する。
—
1. 動的言語の悪夢：PHP型番兵とレジスタの浪費
動的言語のJITコンパイルにおける最大の足かせは「変数の型が実行時まで確定しない」という点に尽きる。
例えば、通常のPHP（あるいは動的モードのHHVM）において、単純な加算演算を行うコードを考えてみす。
function add($a, $b) {
return $a + $b;
}
このコードがJITによってネイティブコードに変換されるとき、CPUの物理レジスタには単なる数値（`int64_t`や`double`）だけでなく、「それが何の型であるか」を示すタグ（Type Tag / Describer）を常に伴わせる必要がある。
HHVMの内部表現（Typed Value struct、通称 `Cell`）を思い出してほしい。64ビットの値と32ビットの型情報（＋パディング）を合わせると、1つの変数が96ビット、あるいは64ビットのポインタ＋タグの構造体として扱われる。
[ 64-bit Payload (Value / Pointer) ][ 32-bit Type Tag ]
これをCPUの汎用レジスタに割り当てようとすると、以下の悲劇が起きる。
1. レジスタの圧迫: 値と型タグを保持するために、実質的に2つのレジスタ、あるいは複雑なビットシフト演算を伴うハンドリングが必要になる。
2. 型ガード（Type Guard）の氾濫: 演算の直前ごとに「本当にこれは整数か？浮動小数点か？オブジェクトか？」を判定する分岐命令（Guard）が挿入される。
3. スピル（Spill）の多発: 物理レジスタ（x86-64であればR10, R11, RAX等）が枯渇するため、JITアロケータはやむを得ずスタック領域（メモリ）へ変数の値を退避（スピル）させ、ロード/ストアの嵐を引き起こす。メモリバスは常に飽和し、CPUのパイプラインはストールする。
—
2. Hackの静的型システムがもたらすパラダイムシフト
ここでHack言語が登場する。Hackは厳格なモード（`<
<
namespace Hack\Optimization;
function compute_vector_dot(vec HHVMのJITコンパイラ（特に`hopt` optimizerフェーズ）は、`$v1[$i]` や `$sum` が絶対に `double` 型（あるいはネイティブの64bit整数）であることを静的保証から証明できる。 これにより、生成されるx86-64アセンブリにおいて、以下の最適化が自動的に適用される。 — HHVMのJITバックエンドは、グラフ彩色法（Graph Coloring）やリニアスキンプ（Linear Scan）をベースにした独自のレジスタアロケータを持っている。ここでHackの型情報がどのようにレジスタ効率を劇的に向上させるのか、そのアルゴリズム的背景を紐解く。 レジスタアロケータの任務は、仮想レジスタ（Variables）のライブレンジ（値が生存し、参照されるコードの範囲）を解析し、有限個の物理レジスタに割り当てることだ。 動的言語の場合、変数の型が変わる可能性があるため、SSA（Static Single Assignment）形式に変換しても、型の変更ポイントごとに新しいバージョンが生成され、ライブレンジが細切れになり、レジスタプレッシャーが跳ね上がる。 しかし、Hackの厳格な型付きコードでは： 1. データ型のサイズが静的に固定される： — 概念的な話だけではシニアエンジニアの知的好奇心は満たされない。擬似的に、HHVMが生成するx86-64ネイティブコードのイメージを比較してみよう。 $a + $b の評価 (タグチェックとボックスアンボックスの嵐) .L_jit_loop_start: 見てのとおり、分岐命令（`jz`）やスロージプシーへのフォールバックが完全に消え去り、CPUのパイプラインが一切乱されることなく、スーパーカスケーディングに演算が実行される。これが、Hackの型情報がレジスタアロケータを補助し、CPUのハードウェア能力を極限まで引き出している正体である。 — このアーキテクチャの真理を知る我々エンジニアは、Hackでコードを書く際に以下の設計原則を遵守すべきである。 1. `mixed` や動的型への逃避を断つ: Hack言語とHHVMの結合は、単なる「型チェックによるバグの防止」にとどまらない。それは、「ソフトウェア層の型定義が、ハードウェア層のレジスタ割り当てアルゴリズムに直接介入し、物理的な実行効率を限界突破させる」という、コンパイラ工学の究極の美しさの具現化なのだ。 このメカニズムを脳内に焼き付け、一滴の無駄もない高速なHackコードを紡ぎ出してほしい。
$sum = 0.0;
$count = C\count($v1);
for ($i = 0; $i < $count; ++$i) {
$sum += $v1[$i] $v2[$i];
}
return $sum;
}
このHackコードがHHVMの型チェッカー（hh_client）を通過し、HHBC（HHVM Bytecode）を経てJIT（Region JIT / TRACED JIT）に渡された瞬間、ランタイムは劇的な最適化の特権を得る。
型情報の確定による「タグの消去（Type Tag Stripping）」
3. HHVMのレジスタアロケータとスピル最適化の内部構造
ライブレンジ（Live Range）とレジスタ圧力（Register Pressure）の軽減
例えば、`int` は常に64ビット汎用レジスタ、`float` は常に64ビットXMMレジスタにマッピングできることが確定する。これにより、レジスタクラス（Register Class）のミスマッチによるムダなムーブ命令が消滅する。
2. ボックス化（Boxing）の回避：
PHPではプリミティブ型であってもヒープ上のオブジェクト（Box）として扱ざるを得ないケースがあるが、Hackのプリミティブはアンボックス（Unboxed）状態でCPUレジスタやスタックフレームのローカルスロットに直接配置される。
3. スピルコストの劇的な低下：
レジスタが足りずにスピル（スタックへの退避）が発生した場合でも、動的言語のような「タグ＋値」の96ビット退避ではなく、純粋な64ビット幅のメモリロード/ストア（`movq`）で済む。さらに、JITのループ最適化フェーズ（Loop-Invariant Code Motionなど）において、ループ内で不変な値は一度レジスタに割り当てられれば、ループ終了まで一切スピルしない高密度なコードが生成される。4. 低レイヤ検証：生成される機械語の比較
動的型付きコード（PHP風）のJIT出力イメージ
movq (%r14,%rbx,8), %rax # Cellの取得
testb $0x01, 8(%r14,%rbx,8) # 型タグのチェック (Intか？)
jz .L_slow_path_add # 型が違えばインタプリタの遅いパスへジャンプ
movq (%rdi), %rcx # さらに値を取り出す
… この後も延々と型ガードとスピル退避が続くHack静的型付きコードのJIT出力イメージ (`compute_vector_dot` のループ部分)
vmulsd (%r12,%rax,8), %xmm0, %xmm1 # $v1[$i] $v2[$i] を直接SIMD乗算
vaddsd %xmm1, %xmm2, %xmm2 # $sum に加算 ($sum は XMM2 レジスタに完全常駐)
incq %rax # $i++ (汎用レジスタ RAX で完結)
cmpq %rbx, %rax # ループ終端チェック
jl .L_jit_loop_start5. チーフアーキテクトからの提言：Hackコードを書く際の心構え
コードベースのどこかに `mixed` や不必要なジェネリクス（制約の緩いもの）が混入すると、HHVMのJITはガードコードを挿入せざるを得なくなり、その部分のレジスタ割り当て効率が局所的に崩壊する。
2. プリミティブの型推論を意識した構造化:
コレクション（`vec
3. プロファイルドリブンな最適化の恩恵を受ける:
HHVMはProfile-Guided Optimization (PGO) を行っている。厳格な型定義は、PGOのプロファイル収集フェーズにおいてJITが「このコードパスは100%この型である」という確信度を高め、よりアグレッシブなレジスタ割り当て（Global Register Allocation）の決断を後押しする。