为何AMD处理器采用sub指令而非xor验证栈金丝雀？

• 功能完全等价
  xor rdx, QWORD PTR fs:0x28和sub rdx, QWORD PTR fs:0x28本质都是校验栈金丝雀的副本（存在rdx寄存器）和原始值（存在fs:0x28位置）是否一致：

  • 若两者相等，xor操作的结果为0，ZF标志位置位；sub操作的结果同样为0，ZF标志位也会置位。后续的条件跳转（比如je）逻辑完全相同，都能准确检测金丝雀是否被篡改。

• 差异根源在编译器，和处理器无关
  这种指令差异不是AMD与Intel处理器的区别导致的，主要由以下因素决定：

  • 编译器版本与实现：不同版本的GCC、Clang等编译器，内部的代码生成逻辑可能存在差异；
  • 编译选项：优化级别（如-O0、-O2）、目标架构参数（如-march=系列选项）会影响编译器的指令选择策略；
  • 代码生成模板：编译器针对栈金丝雀校验场景，内部预设的代码生成模板可能选择了不同的指令实现。

• 效率上两者无显著差异
  在x86-64架构下，xor和sub都是单周期执行的指令，指令延迟、吞吐量基本一致，不存在xor更高效的说法。编译器选择其中一种，更多是基于整体代码的指令调度优化，而非单条指令的性能差异。

内容的提问来源于stack exchange，提问作者digitale