汇编语言setl指令疑问

Question

setl指令是访问条件码用的。以下括号中为我的理解或疑惑

setl，即set when less，测试一个有符号比较。（指令：setl D效果是D<-SF^OF 也就是
将符号标志位和溢出标志位异或的结果给D寄存器）

当a和b是用二进制补码表示时，对于a 符号标志会被设置为0）。当a-b是一个很大的正数时，出现正溢出，会得到t a-b的，为什么这里得到t 很小的负数，出现负溢出，得到t>0.无论是这两种情况中的哪一种，
符号标志都表示的是真正的差的反（这句有点疑惑了。。不知所云）？

这一段总的表达是说不管你正溢出，负溢出，CF^OF都能代表a小于b时的情况（
符号位为0，表示为正，否则为负；溢出位1表示溢出，0为非溢出。
）。

求解答 什么是正溢出？刚上面的解释部分的部分疑惑。。。

Answer 1

想象一下8位的有符号数
-2^7 - 2^6这就是负溢出。
溢出会设置两个标志位，溢出位，和符号位，溢出位当然是1了（无论正溢出，还是负溢出），符号位不太一样，正数本来符号位是0，负数符号位是1.
但是正溢出的时候，那么符号为1，这个很简单，最高位超过了；而负溢出，符号位反而为0

简单说，正溢出相当于下面两条机器指令
SETO
SETS
负溢出相当于
SETO
SETNS