如果因为溢出导致了结果为负,那么逻辑上真正的结果必然为正
语出 王爽 汇编语言
简单分析一下, cmp 语法如下
cmp 操作数1,操作数2
cmp 命令操作数正负情况 | ||
操作数1/2 | 正数 | 负数 |
正数 | 正 - 正 | 正 - 负 |
负数 | 负 - 正 | 负 - 负 |
能够产生溢出的情况:正-负 和 负-正,符号相同的减法为抵消关系,一定不会溢出。
按字节型数据来看, 数字范围应在-128 ~ 127之间 而二进制数据的减法为 [X-Y]补 = [X]补 + [-Y]补
正 - 负 情况下,相当于两个正数在做加法所以逻辑结果必然为正。有符号字节数所能表示的最大正数为127,对应补码为0111 1111。 考虑下溢出的情况:最小溢出数字 127 - (-1) = 127 + 1 = 0111 1111 + 0000 0001 = 1000 0000 所得到的结果为-128。溢出情况下最大的数字为:127 - (-128) = 0111 1111 + 1000 0000 = 1111 1111 结果为-1。可见该种情况的溢出结果总为负
负 - 正情况下,相当于两个负数在做加法所以逻辑结果必然为负。溢出情况:-128 -1 = 1000 0000 + 1111 1111 = 0111 1111 结果为正127 最大的情况下 -128 - 127 = 1000 0000 + 1000 0001 = 0000 0001 。可见溢出结果总为正
所以说溢出的情况下,结果为负,逻辑结果必然为正;结果为正,逻辑结果必然为负