进位/溢出& x86 中的减法

Question

我正在尝试解决溢出问题在 x86 中携带标志。

据我了解，对于有符号 2 的补码的加法，只能通过四种方式之一生成标志（我的示例是 4 位数字）：

1. pos+pos = neg （溢出）
   • 0111 + 0001 = 1000 (7 + 1 = -8)
2. pos+neg = pos（进位）
   • 0011 + 1110 = 0001 (3 + -2 = 1)
3. neg+neg = neg（进位）
   • 1111 + 1111 = 1110 (-1 + -1 = -2)
4. neg+neg = pos（溢出和进位）
   • 1000 + 1001 = 0001 (-8 + -7 = 1)

那么，在 x86 汇编中，从 A 中减去 B 是否会生成与添加 A 和 -B 相同的标志？

Answer 1

这是一个可能有帮助的参考表。此示例展示了 x86 上的 ADD 和 SUB 指令可能产生的 4 个算术标志的每种组合。 'h' 'ud' 和 'd' 代表每个值的十六进制、无符号十进制和有符号十进制表示。例如，SUB 的第一行显示 0xFF - 0xFE = 0x1，但未设置任何标志。

但是，我认为简短的故事是亚历克斯的答案是正确的。

 ADD
       A                   B                   A + B              Flags  
 ---------------     ----------------    ---------------      -----------------
 h  |  ud  |   d   | h  |  ud  |   d   | h  |  ud  |   d   | OF | SF | ZF | CF
 ---+------+-------+----+------+-------+----+------+-------+----+----+----+---
 7F | 127  |  127  | 0  |  0   |   0   | 7F | 127  |  127  | 0  | 0  | 0  | 0
 FF | 255  |  -1   | 7F | 127  |  127  | 7E | 126  |  126  | 0  | 0  | 0  | 1
 0  |  0   |   0   | 0  |  0   |   0   | 0  |  0   |   0   | 0  | 0  | 1  | 0
 FF | 255  |  -1   | 1  |  1   |   1   | 0  |  0   |   0   | 0  | 0  | 1  | 1
 FF | 255  |  -1   | 0  |  0   |   0   | FF | 255  |  -1   | 0  | 1  | 0  | 0
 FF | 255  |  -1   | FF | 255  |  -1   | FE | 254  |  -2   | 0  | 1  | 0  | 1
 FF | 255  |  -1   | 80 | 128  | -128  | 7F | 127  |  127  | 1  | 0  | 0  | 1
 80 | 128  | -128  | 80 | 128  | -128  | 0  |  0   |   0   | 1  | 0  | 1  | 1
 7F | 127  |  127  | 7F | 127  |  127  | FE | 254  |  -2   | 1  | 1  | 0  | 0


 SUB
       A                   B                   A - B              Flags  
 ---------------     ----------------    ---------------      -----------------
 h  |  ud  |   d   | h  |  ud  |   d   | h  |  ud  |   d   || OF | SF | ZF | CF
----+------+-------+----+------+-------+----+------+-------++----+----+----+----
 FF | 255  |  -1   | FE | 254  |  -2   | 1  |  1   |   1   || 0  | 0  | 0  | 0
 7E | 126  |  126  | FF | 255  |  -1   | 7F | 127  |  127  || 0  | 0  | 0  | 1
 FF | 255  |  -1   | FF | 255  |  -1   | 0  |  0   |   0   || 0  | 0  | 1  | 0
 FF | 255  |  -1   | 7F | 127  |  127  | 80 | 128  | -128  || 0  | 1  | 0  | 0
 FE | 254  |  -2   | FF | 255  |  -1   | FF | 255  |  -1   || 0  | 1  | 0  | 1
 FE | 254  |  -2   | 7F | 127  |  127  | 7F | 127  |  127  || 1  | 0  | 0  | 0
 7F | 127  |  127  | FF | 255  |  -1   | 80 | 128  | -128  || 1  | 1  | 0  | 1

Answer 2

加法或减法时，进位和溢出值的所有 4 种组合都是可能的。您可以在此答案中查看更多示例。

这个答案包含一个证明，证明您从 AB 获得的进位是相反的从 A+(-B) 获得的进位。第一个链接的代码利用此属性将 ADC 转换为 SBB。

但是，AB 和 A+(-B) 的有符号溢出标志值必须相同，因为它取决于结果是否具有正确的符号位，并且在这两种情况下，符号位都是相同的。