tsub_ok函数x-y溢出判断：y为TMin时为何判定出错？

核心问题：补码中TMin的特殊性 #

对于w位有符号整数，TMin是-2^(w-1)，它的相反数2^(w-1)超出了补码能表示的最大正数（2^(w-1)-1）。因此当y=TMin时，计算-y会发生溢出，最终结果还是TMin（补码取反加1操作后会回到自身）。这导致tsub_ok依赖的tadd_ok(x, -y)实际上是在计算x + TMin，而非数学上的x + (-y)，判断逻辑完全失效。

两种错误场景 #

• x为非负数时：
  • 数学层面：x - y = x - TMin = x + 2^(w-1)，这个值大于等于2^(w-1)，超出补码正数的最大值，实际计算会溢出，tsub_ok应返回0。
  • 函数实际表现：调用tadd_ok(x, TMin)时，x非负、TMin为负，相加结果为x + TMin = x - 2^(w-1)，结果是负数。tadd_ok的正负溢出条件都不满足，返回1，导致tsub_ok错误返回1，误判为无溢出。
• x为负数时：
  • 数学层面：x - y = x - TMin = x + 2^(w-1)，x是负数且x >= -2^(w-1)，结果范围是0 <= x+2^(w-1) <= 2^(w-1)-1，在补码范围内，不会溢出，tsub_ok应返回1。
  • 函数实际表现：调用tadd_ok(x, TMin)时，x和TMin都是负数，相加结果截断后等价于正数x + 2^(w-1)。此时tadd_ok触发负溢出条件（两个负数相加得到正数），返回0，导致tsub_ok错误返回0，误判为溢出。

总结 #

当y=TMin时，无论x是正还是负，tsub_ok的返回结果都与实际是否溢出的情况相反，这就是作者指出的错误场景。你测试时误以为结果正确，是因为把函数的返回值和错误的判断逻辑对应上了，而没有对照数学上的实际溢出情况。

内容的提问来源于stack exchange，提问作者ChicoTabi