在分析补码除法时,需要额外考虑符号位参与计算。在这里为了表示方便,用[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。