如何确定何时设置零标志、符号标志、溢出标志和进位标志？

Question

整个旗帜的事情让我很困惑。网络上的定义看起来很简单。对于这一切，我似乎找不到一个真正合适的解释。

根据它们的定义，-进位：表示无符号整数溢出-溢出：表示有符号整数溢出-零：由零产生的运算-符号：由负数产生的运算

那么下面的句子到底是怎么回事以下说明将设置符号标志：（这里的答案是252不是负数。那么为什么设置符号标志？）

mov al,0FEh
sub al,2

>

在8位寄存器中添加7Fh和05h设置溢出标志。（这里的答案是132。它不高于255，为什么会出现溢出？）

在8位寄存器中添加0FFh和05h不会设置溢出标志。（答案是300，那么为什么没有溢出标志？它高于256）

在8位寄存器中添加5到0FBh设置零标志（这里的答案是256，而不是0。我知道8位只能容纳255，但“0”来自哪里？我只是不明白。）

有人能告诉我我做错了什么吗？正确的方法是什么？谢谢。

Answer 1

另一个很好的指南是：了解进位与溢出条件/标志。它有一些很好的4位数字分步示例，可以很容易地将整个事情记在脑子里。它还解释了在将位解释为无符号时要检查的是无符号进位，而在将位解释为有符号时要检查的是有符号溢出。

根据OP的评论：

这是否意味着当8个最低有效位的值为0时，零标志真正打开，而不仅仅是“当操作产生0时”

您需要记住的关键是，这是固定宽度整数算法。在8位寄存器中，0xFF 1确实产生0。

在数学方面，这是模算术，对于8位运算，模为2^8。

所以是的，ZF是根据dst=（dst src）%0x100设置的。

它是这样设计的，因为通常你只想知道寄存器是否为零，在一个开始为负数的寄存器上，是用inc向零计数，还是用一个开始为正的寄存器向零计数。

您仍然可以检查CF==0和ZF==1，以检测无进位零的情况。如果仅当dst和CF均为零时才设置ZF，则通常需要另一条指令来测试结果寄存器。

CF和ZF独立意味着cmp或sub之后的无符号条件代码的工作方式如下：

JA      Jump if above (CF=0 and ZF=0).
JAE     Jump if above or equal (CF=0).
JB      Jump if below (CF=1).
JBE     Jump if below or equal (CF=1 or ZF=1).

JC      Jump if carry (CF=1).

JE      Jump if equal (ZF=1).

我认为，如果ZF只能在没有进位的情况下设置，你就无法区分“高于”和“高于”或“等于”之间的区别。因此，这可能是设计决策不按您最初猜测的方式进行的最具体原因。

下面是一个有符号比较条件：

JLE     Jump  if less or equal (ZF=1 or SF ≠ OF).

完整的条件集在Intel的insn set参考手册（x86标签wiki中的链接）中，在jcc（跳转条件代码）指令列表下。

Answer 2

这里的答案是252，不是负数。那么为什么要设置标志？

因为无符号是252，但是无符号不能有符号，所以符号标志只与作为有符号处理的数字相关。不管你如何处理，处理器总是以有符号标志的方式处理它。所以252超过127，所以它在2的补码中是负数，符号位被设置。

在8位寄存器中添加7Fh和05h会设置溢出标志。（这里的答案是132。它不高于255，为什么会有溢出？）

如您所说，当有符号数字会溢出时设置溢出。有符号的8位变量可以从-128到127。因此从127到132是溢出。

在8位寄存器中添加0FFh和05h不会设置溢出标志。（答案是300，那么为什么没有溢出标志？它高于256）

同样，溢出是有符号溢出。这会导致无符号溢出，因此将设置进位。

在8位寄存器中添加5到0FBh设置零标志（这里的答案是256，而不是0。我知道8位只能容纳255，但“0”来自哪里？我只是不明白。）

如你所说，8位可以上升到255。之后它溢出，最低的8位为0。所以结果为零，设置为零位。