补码一位除法的原理

在分析补码除法时，需要额外考虑符号位参与计算。在这里为了表示方便，用[x]表示x的补码，x*表示x绝对值。

在比较被除数x和除数y的大小关系时，由于参与运算的均为补码，不能直接用[x]-[y]来比较大小。

例如[5-9] mod 10 = 6，但实际上5比9要小。所以直接考虑绝对值的计算。

x,y同号时，计算x*-y*可以用[x]-[y]表示，结果符号与y符号相同则表示够减，与y符号不同则不够减。

比如：计算3/2，3-2=1 ，（-3）-（-2）=（-1）。

x,y异号时，计算x*-y*可以用[x]+[y]表示，结果符号与y符号相异则表示够减，与y符号相同则不够减。

比如：计算(-5)/3，(-5)+3=-2，够减，3/(-5)，3+（-5）=（-2），不够减。

另外分析补码除法时，末尾恒置1也是有原因的。

因为补码有一个规律，补码的最后一个数字到往左数第一个1（包含这个1）与原码相同，其他与原码相反。这样便于确定其他位上商0还是1。