假设您有一个机器指令udive,它通过取(32位被除数 << 32)/ 32位除数来执行特殊情况下的64乘以32无符号除法,我们可以使用以下方法进行完整的64乘以32除法:
// assume: a / b guaranteed not to overflow
a = 64bit dividend, a.h & a.l are hi & lo 32bits respectively
b = 32bit divisor
q1 = udive(a.h, b) // (a.h << 32) / b
r1 = -(q1 * b) // remainder of the above, shortcut since a.h & 0xffffffff == 0
q2 = a.l / b // a.l / b using regular unsigned division
r2 = a.l - (q2 * b) // remainder of the above
q = q1 + q2
r = r1 + r2
// r < r2, r overflowed and is >32bits, implies r > b since b is 32bits
// r >= b, quotient too small by 1, adjust
if (r < r2) or (r >= b)
q = q + 1
return q
然而,签名的情况给我带来了麻烦。假设有一个等效的sdive指令,用于执行udive的有符号版本,我无法确定如何处理余数等内容。