自制X86模拟器与在线沙箱中ADD指令Overflow Flag结果不一致原因

核心规则回顾 #

X86架构中，加法指令的**Overflow Flag（OF，溢出标志）**用于指示有符号数运算是否超出当前操作数位数的表示范围，硬件层面的判断逻辑为：

• OF = 符号位的进位输入（carry-in） XOR 符号位的进位输出（carry-out）
• 等价的直观判断：两个同符号的有符号数相加，若结果符号与原操作数符号不同，则OF置1；否则置0。

你的代码分析 #

执行以下16位汇编代码：

mov AX, 0xFFFF
add AX, AX

1. 数值解读：0xFFFF作为16位有符号数表示-1，相加后结果为-2，而16位有符号数的有效范围是-32768 ~ 32767，-2完全在范围内，不存在溢出。
2. 进位逻辑验证：
   • 0xFFFF是16个二进制1，逐位相加时每一位都会产生进位1到下一位。
   • 符号位（第15位）的进位输入为1（来自第14位的进位），符号位计算结果为1，同时产生进位输出1。
   • 进位输入与进位输出相同，异或结果为0，因此OF标志应置0。

结论 #

你的模拟器实现符合X86架构规范，该在线沙箱在这个场景下的OF标志结果存在错误。

内容的提问来源于stack exchange，提问作者Peter Malamud Smith