HHVMの深淵を覗く：HHIRが語る「実行速度の真実」
Hackという言語は、単なる「PHPの型付きラッパー」ではない。HHVMという巨大な機械生命体の血肉となり、JIT（Just-In-Time）コンパイルという錬金術を経て、シリコンの上で躍動する。
多くのエンジニアが「なぜHHVMは速いのか」を問うが、その答えはIR（Intermediate Representation：中間表現）にある。今回は、コードがマシン語へと昇華される直前の「HHIR」という不可視の層を解剖し、我々が書くコードがどう翻訳されているのか、その理を説こう。
—
1. HHIR：HHVMが「真に理解する」言語
Hackのソースコードは一度、バイトコード（HHBC）へと変換される。しかし、マシン語への直接変換はあまりに効率が悪い。そこで登場するのが HHIR だ。
HHIRはSSA（Static Single Assignment：静的単一代入）形式を採用している。変数に一度しか値を代入できないこの形式は、データフロー解析を劇的に効率化させる。
なぜこれが重要なのか？
JITコンパイラは、HHIR上で以下のような最適化を「自動」で行う。
- 定数畳み込み (Constant Folding): 計算可能な値をコンパイル時に確定させる。
- デッドコード削除 (Dead Code Elimination): 到達不可能なロジックを迷わず切り捨てる。
- 型推論の具体化: 静的型システムが保証する「型」をヒントに、動的なチェック（Type Guard）を省略する。
結論: 型を厳格に書くことは、単なるデバッグの補助ではない。HHIR上で「これは絶対に安全だ」と証明することで、JITコンパイラが余計な型チェックの命令をマシン語から削ぎ落とせるようにするための「設計図」なんだ。
—
2. パフォーマンスの境界線：型安定性の重要性
以下のコードを見比べてほしい。
// 良い例: 型が明確でHHIRの最適化が利きやすい
function calculate(vec
$sum = 0;
foreach ($items as $item) {
$sum += $item; // HHIR上で整数演算として直結される
}
return $sum;
}
// 悪い例: 混合型による「型ガード」の誘発
function calculate_bad(vec
$sum = 0;
foreach ($items as $item) {
// HHIRはここで「$itemがintか？」という動的チェック命令を挿入せざるを得ない
if ($item is int) {
$sum += $item;
}
}
return $sum;
}
「悪い例」では、HHIRレベルで `CheckType` 命令がループ内に埋め込まれる。これが積み重なると、CPUのパイプラインを乱し、分岐予測をミスし、パフォーマンスを殺す。「型をぼかすことは、CPUに無駄な疑心暗鬼を強いることと同義」だと心得ておけ。
—
3. 実務で勝つ：HHIRに優しい設計パターン
保守性が高く、かつJITが「最適化しやすい」コードを書くための指針を伝授する。
デザインパターン：ドメインモデルの具象化
`array` や `mixed` を多用せず、`shape` や `readonly class` を徹底しろ。
// 保守性が高く、JITに最適化のヒントを与える構造
readonly class UserProfile {
public function __construct(
public int $id,
public string $username,
) {}
}
// MapやShapeは、HHIR上でオブジェクト構造としてインライン化されやすい
function process_user(UserProfile $user): void {
// $user->id は固定オフセットとしてメモリ上の特定位置から取得される
// これは配列アクセスよりも遥かに高速だ
echo $user->username;
}
ポイント:
1. `readonly` の活用: 不変性（Immutability）を明示することで、HHIRはデータの書き換えがないことを確信し、メモリの読み込みをキャッシュできる。
2. `vec` / `dict` の型指定: `vec
—
4. チーフアーキテクトからの助言
最後に、パフォーマンスチューニングの勘違いを正しておく。
「HHVMが速いから何を書いてもいい」というのは、JITを過信した初心者の甘えだ。JITは魔法ではない。あくまで「書かれたコードの中で最も効率的なパス」を探し出すアルゴリズムに過ぎない。
- 複雑な条件分岐はメソッドに逃がす: 関数が短ければ短いほど、HHIRのインライン展開（Inlining）が働きやすくなる。
- プロファイリングを怠るな: `perf` や HHVMが提供する統計データを見れば、どのIRが重い（＝マシン語で命令数が多い）かは一目瞭然だ。
Hackは、君たちが書くコードの「意図」を最も深く解釈しようとする言語だ。型を書き、構造を明確にし、HHIRが迷わずマシン語を生成できるように設計せよ。それが、真にスケーラブルなシステムを構築する唯一の道だ。
さて、コードレビューに戻ろう。君の書いたコードが、いかに美しいHHIRに変換されるかを楽しみにしている。