程序集比较标志理解

我正在努力理解汇编程序中的以下代码片段：

if ( EAX >= 5 )
  EBX = 1;
else
  EBX = 2;"

在汇编程序中，可以写如下（根据我的书），模拟jge操作说明 https://www.felixcloutier.com/x86/jcc您通常会使用“更简单”的分支，一次只查看一个标志：

1     cmp eax, 5       ;(assuming eax is signed)
2     js signon        ;goto signon if SF = 1
3     jo elseblock     ;goto elseblock if OF = 1 and SF = 0
4     jmp thenblock    ;goto thenblock if SF = 0 and OF = 0
5 signon:
6     jo thenblock     ;goto thenblock if SF = 1 and OF = 1
7 elseblock:
8     mov ebx, 2
9     jmp next
10 thenblock:
11    mov ebx, 1
12    next:

我可以理解，结果标志可以是：(if ( EAX >= 5 ))：

SF = 0 & OF = 0 但我无法理解这些标志是如何的： SF = 1 & OF = 1？这是什么计算得出的？

为了澄清我的意思：

如果 eax 位于负下限内，则减去 5 可能会溢出为正数。如果 eax 位于正上界内，则减去 5 后不会溢出为负数吗？

用 3 位数字来思考这些要容易得多，它们都是可扩展的。嗯，如果这是有符号的（您没有在高级代码中指定/发布），那么四位更好，因为您使用了 5。遍历 5 附近的数字（这显示了 alu 的输出）

cmp reg,5
0111 - 0101 = 0111 + 1010 + 1 = 10010
0110 - 0101 = 0110 + 1010 + 1 = 10001
0101 - 0101 = 0101 + 1010 + 1 = 10000
0100 - 0101 = 0100 + 1010 + 1 = 01111
0011 - 0101 = 0011 + 1010 + 1 = 01110

现在您必须了解硬件的工作原理。某些处理器系列在执行减法时会反转来自 alu 的进位标志，而其他处理器系列则不会。不管怎样，你肯定可以在 5 - 5 点看到状态变化。无论如何，你在这里不需要进位标志，代码不使用它。

如果您正在做有符号数学，那么也尝试一些负数。

0000 - 0101 = 0000 + 1010 + 1 = 01011  
1111 - 0101 = 1111 + 1010 + 1 = 11010
1110 = 0101 = 1110 + 1010 + 1 = 11001

这让我们对这个问题有了一些了解。

有符号溢出定义为进位不等于加法器 msbit 上的进位。这可能会变得混乱，所以我们只需要知道边界在哪里。

0111 - 0101 = 7 - 5 = 2
0110 - 0101 = 6 - 5 = 1
0101 - 0101 = 5 - 5 = 0
0100 - 0101 = 4 - 5 = -1
0011 - 0101 = 3 - 5 = -2

等等。使用这个 4 位模型，在有符号解释中，我们限制为 +7 (0b0111) 到 -8 (0b1000)。所以在 -3 - 5 之后我们就会遇到麻烦：

1110 - 0101 = 1110 + 1010 + 1 = 11001 , -2 - 5 = -7
1101 - 0101 = 1101 + 1010 + 1 = 11000 , -3 - 5 = -8
1100 - 0101 = 1100 + 1010 + 1 = 10111 , -4 - 5 = 7 (-9 if we had more bits)
1011 - 0101 = 1011 + 1010 + 1 = 10110 , -5 - 5 = 6 (-10 if we had more bits)
1010 - 0101 = 1010 + 1010 + 1 = 10101 , -6 - 5 = 5 (-11 if we had more bits)
1001 - 0101 = 1001 + 1010 + 1 = 10100 , -7 - 5 = 4 (-12 if we had more bits)
1000 - 0101 = 1000 + 1010 + 1 = 10011 , -8 - 5 = 3 (-13 if we had more bits)

后五位是有符号溢出，有符号结果无法用可用位数表示。 （请记住，我们现在使用的是四位系统，最高位是进位位，当您查看结果时，可以直观地删除它）。

有符号标志只是结果的 msbit，这也改变了有趣的边界。设置有符号标志（结果的 msbit）的情况是低于 5 的正 (eax) 值和不会导致有符号溢出的负数（+4 到 -3）。所有这些都属于

因此，如果您通过 js 登录，则符号位关闭，即数字大于或等于 5（想要结果为 1）或结果负到足以导致有符号溢出（想要结果为 2）。所以 jo elseblock 通过选取 2 个案例的结果（有符号溢出，非常负面）来对这两个案例进行排序。 jmp thenblock 取 5 以上的正数。

在我看来，您在这里正在做签名数学（使用签名溢出标志有点明显）。由于您使用 5 来比较和签名数学，因此您的系统中需要 4 位或更多位来实现此代码，因此 8、32、64、123456 位，这并不重要，它的工作方式与 4 位系统相同（对于这个比较）。我发现最小化进行分析的位数更容易。像这样的硬编码比较使它变得更加容易，正如上面手动计算的结果就在上面、在和下面。然后遍历有符号数的全零（零）到全一（减一），并非常负地进入有符号溢出范围。对于无符号数，它更容易一些，但过程相同。