Value numbering

値番号付けは、SSA形式を超えたコンパイラ最適化手法で、コンパイル時に同じ値を生成することが確実な命令を識別し、共通部分式の除去を実現します。純粋な演算に対してハッシュベースの等価性判定を行い、ローカルおよびグローバルな値番号付けを通じてコードの重複を排除します。