标签： assembly
令x和y为[0,2 ^ n - 1]范围内的数字，它们各自在n位无符号二进制数中具有有效表示。从x中减去y等效于将-y添加到x，其中-y由2 ^ n - y表示。仅当x <0时才发生溢出。收率
我如何证明x＆lt; y当且仅当最高有效位的执行为0时？
答案 0 :(得分：1)
正如你所说x - y = x + (2^n - y)。进位为0 iff 结果小于2^n。因此：
x - y = x + (2^n - y)
2^n
x + (2^n - y) < 2^n x - y < 0 x < y