问题描述
假设我们有以下二进制数及其表示法：
| bin | unsigned | signed |
|:---:|----------|----------|
| 110 | 6 | -2 |
| 111 | 7 | -1 |
111 + 110 = 1101
现在我可以将结果1101解释为有符号或无符号，即：
| bin | unsigned | signed |
|:----:|----------|----------|
| 1101 | 13 | -3 |
哪个与小数运算匹配：
6+7 = 13
-1-2 = -3
signed addition和unsigned addition之间没有差别。那么，为什么CPU会有不同的电路/指令来进行这种操作呢？
推荐答案
因为2的补码加/减与无符号加/减是相同的二进制运算。但对于比较(以及除法和加法乘法)来说，将MSB解释为符号位或不将其解释为符号位很重要。
有些CPU只有一条cmp指令来设置所有标志，然后让分支指令检查特定的标志条件(谓词)。其他没有标志/条件代码的CPU(如MIPS和RISC-V)在其比较进入寄存器指令中需要谓词。
x86/ARM上的SIMD比较指令也是比较到寄存器中的指令，不设置多个不同的标志，因此它们也将谓词作为比较指令的一部分(如cmpps接受带有谓词的紧跟字节，或者对于整数有pcmpgtd/pcmpeqd。)