在 x86 汇编语言中，将一个寄存器清零是极其常见的操作。表面上看，有多种方式可以实现这一目标：使用 XOR 寄存器自身、使用 SUB 寄存器自身，或者使用 MOV 指令加载立即数零。然而，在实际编译器生成的代码和手动优化的汇编代码中，XOR 寄存器自指令几乎成为清零操作的事实标准。这一现象的背后隐藏着处理器微架构设计、指令编码效率以及编译器发展历史的多重技术因素。
标志位行为的本质差异
理解 XOR 与 SUB 在清零场景下的区别，首先需要理解这两条指令对标志位的影响。XOR（异或）指令执行逻辑异或运算，当操作数为同一寄存器时，两个相同的值进行异或运算必然得到零，同时处理器会根据结果设置零标志位（ZF）、符号标志位（SF）和奇偶标志位（PF），并将进位标志位（CF）和溢出标志位（OF）强制清零。这种标志位行为是可预测的、确定性的，对于需要根据清零结果进行条件分支的代码来说尤为便利。
相比之下，SUB（减法）指令在相同寄存器相减时虽然同样会产生零结果，但其标志位行为存在微妙差异。减法操作会受借位（borrow）影响，在理论上会产生进位标志位的设置而非清除。虽然在「寄存器减去自身」这一特定场景下，结果是明确的零，但不同处理器代际对 SUB reg, reg 的标志位处理存在细微差别。更重要的是，SUB 指令的语义本质是「计算差值」而非「产生特定结果」，这意味着在处理器流水线的解码阶段，SUB 指令无法像 XOR 指令那样被快速识别为「零化操作」。
指令编码长度的实际影响
从指令编码长度的角度分析，XOR reg, reg 指令在大多数情况下具有编码优势。标准的 XOR r32, r32 形式只需要两个字节：操作码字节（0x31）加上 ModR/M 字节。对于常见的 32 位寄存器如 EAX、ECX、EDX、EBX、ESI、EDI、EBP、ESP，每个寄存器都有对应的固定 ModR/M 编码，使得 XOR EAX, EAX 完整编码为 31 C0，SUB EAX, EAX 则为 29 C0，两者在纯编码层面长度相当。
然而，真正的差异体现在编译器后端生成代码时的整体考量。MOV r32, imm32 指令需要五个字节的编码：操作码 0xB8 加上四字节立即数。在代码密度敏感的场合，如循环内部、函数 prologue/epilogue 或者对缓存命中率要求较高的场景，两字节的 XOR 指令相比五字节的 MOV 指令具有显著的节空间优势。即使在 64 位模式下，XOR RAX, RAX 仅需三个字节（包含 REX 前缀），而 MOV RAX, 0 则需要十个字节（REX 前缀、操作码、七字节立即数），差距更加明显。
处理器微架构的优化识别
现代 x86 处理器对 XOR reg, reg 这一特定模式进行了专门的硬件级优化。在早期的 80386 处理器中，XOR reg, reg 和 SUB reg, reg 在执行效率上差异不大，但随着处理器微架构的演进，主流的 Intel 和 AMD 处理器都将「XOR 寄存器自身」识别为一种特殊的零化 idiom。
这种优化的核心在于消除对寄存器原值的伪依赖（false dependency）。当处理器执行 XOR EAX, EAX 时，主流处理器的执行单元会直接产生零结果，而无需等待 EAX 之前的值从寄存器文件读取完成。这意味着 XOR 指令的吞吐量不受前序指令对同一寄存器写入延迟的影响，形成了所谓的「独立零产生单元」。而 SUB reg, reg 在某些处理器微架构上可能无法获得同等的依赖消除优化，因为处理器在解码阶段将其更多视为「算术运算」而非「寄存器清零」。
Raymond Chen 在微软开发者博客的 80386 系列文章中明确指出：「80386 并不真正在乎这两种方式的选择，但后续版本的处理器会将 XOR 寄存器自身这一 idiom 特殊处理，以避免对寄存器前值的依赖。因此，你会在编译器生成的代码中看到 XOR 版本。」这一来自微软官方技术博客的阐述，为理解编译器选择提供了权威的历史背景。
编译器优化的历史惯例
编译器后端在选择清零寄存器的方式时，遵循的是长期积累下来的优化惯例。现代主流编译器如 GCC、Clang 和 MSVC 在生成 x86/64 代码时，普遍采用 XOR 寄存器自指令进行寄存器清零。这一选择既是出于上述技术因素的考量，也是代码一致性和可预测性的要求。
从编译器发展的历史脉络来看，这一优化惯例可以追溯到 32 位 x86 编译器后端成熟的那个年代。编译器编写者很早就发现，XOR reg, reg 是一种在所有 x86 处理器上都能安全使用、不存在微架构特定行为的清零方式。随着时间推移，这一做法逐渐成为 x86 平台汇编代码的书写惯例，即使在某些特定微架构上 SUB reg, reg 可能具有相当的性能，编译器仍然选择更通用、更安全的 XOR 形式。
对于需要精确控制标志位的场景，开发者应当明确意识到 XOR 指令会修改 ZF、SF、PF 等标志位。如果在清零后需要保留前序指令设置的标志状态，应该显式使用 PUSHF/POPF 或者考虑使用 MOV reg, 0 这种不影响标志位的替代方案，尽管后者在编码长度上有所牺牲。
综上所述，XOR reg, reg 成为 x86 平台寄存器清零的首选方式，并非偶然的选择，而是标志位行为可预测性、指令编码效率、现代处理器微架构优化支持以及编译器历史惯例共同作用的结果。理解这一 idiom 的技术根源，有助于开发者在编写底层代码或分析编译器输出时做出更明智的决策。
参考资料
- Raymond Chen, "The Intel 80386, part 5: Logical operations", Microsoft DevBlogs (https://devblogs.microsoft.com/oldnewthing/20190124-00/?p=100795)
- Stack Overflow 讨论: "What is the best way to set a register to zero in x86 assembly: xor, mov or and?"