X86 IDIV 余数符号取决于 8/-3 和 -8/3 的除数符号？

Question

谁能为我解释为什么在这些情况下余数的符号不同？这是模拟器的错误还是真正的 CPU 也会这样做？

8 / -3 : quotient(AL) = -2 remainder(AH) =  2
-8 / 3 : quotient(AL) = -2 remainder(AH) = -2

Answer 1

它应该是这样工作的，尽管通过阅读文档很难找到：

非整数结果被截断（截断）到 0。

结合“除法”X = dq + r（被除数是除数乘以商加上余数），我们发现因此余数r = X - d truncate(X / d)

这表明余数取决于被除数的符号，而不取决于除数的符号。