我想出了一个看起来有效的方法。虽然有点丑。
第一步是将前 32 位作为 2 个补码 # 进行比较
MSB 符号位保留,因此数字保持正确的关系
-1 —> -1
0 —> 0
9223372036854775807 = 0x7fff ffff ffff ffff -> 0x7ffff ffff = 2147483647
因此,除非它们相等,否则从 MSB 的工作返回结果,然后需要检查 LSB。
我有几个案例来建立一些模式:
-1 = 0xffff ffff ffff ffff
-2 = 0xffff ffff ffff fffe
32 bit is:
-1 -> 0xffff ffff = -1
-2 -> 0xffff fffe = -2
-1 > -2 would be like -1 > -2 : GOOD
And
8589934591 = 0x0000 0001 ffff ffff
8589934590 = 0x0000 0001 ffff fffe
32 bit is:
8589934591 -> ffff ffff = -1
8589934590 -> ffff fffe = -2
8589934591 > 8589934590 would be -1 > -2 : GOOD
MSB 上的符号位并不重要,因为负数与正数之间具有相同的关系。例如,无论符号位如何,LSB 值0xff
> 0xfe
, 总是。
如果低 32 位的 MSB 不同怎么办?
0xff7f ffff 7fff ffff = -36,028,799,166,447,617
0xff7f ffff ffff ffff = -36,028,797,018,963,969
32 bit is:
-..799.. -> 0x7fff ffff = 2147483647
-..797.. -> 0xffff ffff = -1
-..799.. < -..797.. would be 2147483647 < -1 : BAD!
所以我们需要忽略低32位的符号位。由于无论符号如何,LSB 的关系都是相同的,因此只需使用
最低 32 位无符号适用于所有情况。
这意味着我想对 MSB 进行签名,对 LSB 进行未签名 - 所以 chagingI4
to i4
对于LSB。还使大端正式并在 struct.unpack 调用上使用“>”:
-- ...
local comp_int64s = function (as0, au1, bs0, bu1)
if as0 > bs0 then
return 1
elseif as0 < bs0 then
return -1
else
-- msb's equal comparing lsbs - these are unsigned
if au1 > bu1 then
return 1
elseif au1 < bu1 then
return -1
else
return 0
end
end
end
local l, as0, au1, bs0, bu1
as0, l = bit.tobit(struct.unpack(">i4", ARGV[1]))
au1, l = bit.tobit(struct.unpack(">I4", ARGV[1], 5))
bs0, l = bit.tobit(struct.unpack(">i4", blob))
bu1, l = bit.tobit(struct.unpack(">I4", blob, 5))
print("Cmp result", comp_int64s(as0, au1, bs0, bu1))