レジスタをゼロクリアする慣用句：なぜ「XOR」が好まれ、「SUB」ではないのか
本記事は、コンパイラエクスプローラーの運営者であるマット・ゴドボルト氏が、x86アーキテクチャにおいてレジスタをゼロに設定する際に、なぜ「`xor eax, eax`」という命令が広く使われるのか、そしてなぜより論理的に同等な「`sub eax, eax`」ではなくこれを選ぶのかを考察した技術的な解説である。x86アーキテクチャには専用のゼロレジスタが存在しないため、レジスタをゼロクリアするには初期化が必要となる。最もコンパクトな方法として「`xor eax, eax`」が選ばれるが、筆者は「`sub eax, eax`」もバイト数、実行サイクル数ともに同等であり、さらにフラグレジスタの挙動（特にAFフラグのクリア）が優れている点を指摘し、その選択の根拠に疑問を呈している。この「XOR」の優位性は、初期のコンパイラがこの慣用句を使用し、それが「賢い」実装だと見なされたことで、コミュニティの心理的な「雪だるま式」の採用が進んだ結果だと推測されている。さらに、Intelがこの慣用句の優位性を認識し、デコード段階で特別な「`xor r, r`」および「`sub r, r`」の検出機構を追加し、内部的にゼロレジスタとして扱うことで、実行をバイパスする最適化を行った。しかし、Stack Overflowなどのコミュニティでは、他のCPUメーカーが「`sub`」のみを特殊対応する可能性を懸念し、結果的に「`xor`」がこの「意味のない戦い」の勝者となってしまった経緯が語られている。結論として、わずかな優位性や初期の採用が、技術的な選択を決定づける大きな要因となることを示唆している。
背景
本記事は、x86アーキテクチャの低レベルなアセンブリ言語の慣用句に関する考察である。レジスタをゼロクリアする際、複数の命令（`xor`や`sub`など）が使用可能だが、歴史的な経緯やコンパイラの最適化の過程で、特定の命令が業界標準として定着した背景を解説している。
重要用語解説
- x86アーキテクチャ: マイクロプロセッサの命令セットアーキテクチャの一つ。レジスタ操作やメモリアクセスなど、CPUが実行する基本的な命令群を定義している。
- レジスタ: CPU内部に存在する、一時的なデータ（オペランド）を保持するための高速な記憶領域。計算処理の主要な舞台となる。
- 慣用句（イディオム）: 特定のプログラミング言語やアーキテクチャにおいて、頻繁に使われる定型的なコードパターンや表現のこと。ここではレジスタをゼロクリアする命令パターンを指す。
今後の影響
この知見は、組み込みシステムや高性能計算を行うエンジニアにとって重要である。特定の命令の選択が、単なる機能的な差ではなく、コンパイラ最適化やCPUのデコードパイプラインの挙動に影響を与えることを示しており、低レベルなコード設計の理解を深めるきっかけとなる。今後のCPU設計においても、このような「慣用句」の定着が重要な要素となる可能性がある。