计算机组成原理中补码一位除方法解读

补码除法，主要需要解决三个问题：１.确定上商；２.新余数形成方式；３.确定商符

其实，上商与新余数的形成是统一的，要确，上商０还是１，就是要比较被除数和除数绝对值的大小。当被除数的绝对值大于除数的绝对值，那么，在被除数和除数同号的情况下，商为正。这样，商的补码与原码应该是相同的，所以在够减的情况下，商上１，而在被除数和除数异号的情况下，商为负。这样，商的补码与原码，在从低位往高位看，找到第一个１时，在１和１的右边部分，与原码相同，在１的左边，与原码相反，但此时，商并没有确定，所以不好确定此刻的上商在１的左边还是右边，因此，约定商的最末位采用恒置１的方式上商，这样，商的最末尾为１，那么现在上的每一位商都在１的左边，也就是商的补码与原码是相反的。所以，在够减的情况下，补码上０，不够减上１。所以，上商规则是被除数与除数同号，够减上１，不够减上０，在被除数与除数异号的情况下，够减上０，不够减上１.下面我们来归纳被除数与除数够减与不够减的情况：

够减＜＝＞｜被除数｜＞｜除数｜（ａ表示被除数，ｂ表示除数）

下面分ａ，ｂ分别为正，为负四种情况讨论：

（１）ａ＞０，ｂ＞０，则｜ａ｜＞｜ｂ｜＜＝＞ａ＞ｂ＜＝＞ａ－ｂ＞０

结论：ａ－ｂ与ｂ同号，够减。

（２）ａ＜０，ｂ＜０，则｜ａ｜＞｜ｂ｜＜＝＞－ａ＞－ｂ＜＝＞ａ－ｂ＜０

结论：ａ－ｂ与ｂ同号，够减。

即在ａ，ｂ同号的情况下，当ａ－ｂ与ｂ同号，够减，当ａ－ｂ与ｂ异号时，不够减。

（３）ａ＜０，ｂ＞０，则｜ａ｜＞｜ｂ｜＜＝＞－ａ＞ｂ＜＝＞ａ＋ｂ＜０

结论：ａ＋ｂ与ｂ异号，够减。

（４）ａ＞０，ｂ＜０，则｜ａ｜＞｜ｂ｜＜＝＞ａ＞－ｂ＜＝＞ａ＋ｂ＞０

结论：ａ＋ｂ与ｂ异号，够减。

即在ａ，ｂ异号的情况下，当ａ＋ｂ与ｂ异号，够减，当ａ＋ｂ与ｂ同号时，不够减。

再结合上面上商规则，则有下面结论：

当ａ，ｂ同号时，当ａ－ｂ与ｂ同号，上商１

当ａ，ｂ同号时，当ａ－ｂ与ｂ异号，上商０

当ａ，ｂ异号时，当ａ＋ｂ与ｂ异号，上商０

当ａ，ｂ异号时，当ａ＋ｂ与ｂ同号，上商１。

下面分上述四种情况来讨论新余数的形成方法：

（１）ａ，ｂ同号，ａ－ｂ与ｂ同号，上商１

因为这种情况够减，所以新余数为上一次余数左移一位，再减去ｂ，即２Ri－ｂ（Rｉ为上次余数）

（２）ａ，ｂ同号，ａ－ｂ与ｂ异号，上商０

因为这种情况不够减，所以要恢复余数，而原来余数是由Ｒｉ－ｂ得到的，所以恢复时，应该是Ｒｉ＋ｂ，再左移一位，即２＊（Ｒｉ＋ｂ），再因为恢复余数后，余数与除数同号，所以，通过减法比较大小，即２＊（Ｒｉ＋ｂ）－ｂ＝２＊Ｒｉ＋ｂ

（３）ａ，ｂ异号，ａ＋ｂ与ｂ异号，上商０

因为这种情况够减，所以新余数为上一次余数左移一位，而ａ，ｂ异号，所以新余数与除数相加比较绝对值大小，即２Ri＋ｂ

（４）ａ，ｂ异号，ａ＋ｂ与ｂ同号，上商１。

因为这种情况不够减，所以要恢复余数，而原来余数是由Ｒｉ＋ｂ得到的，所以恢复时，应该是Ｒｉ－ｂ，再左移一位，即２＊（Ｒｉ－ｂ），再因为恢复余数后，余数与除数异号，所以，通过加法比较大小，即２＊（Ｒｉ－ｂ）＋ｂ＝２＊Ｒｉ－ｂ。

最后，将上商情况与新余数形成方法总结，结论如下：

商上１，则新余数为２＊Ｒｉ－ｂ

商上０，则新余数为２＊Ｒｉ＋ｂ