计算机组成原理：定点数运算及溢出检测

1.定点数加法运算

[X]_补 + [Y]_补 = [X + Y]_补 mod 2ⁿ⁺¹

算法理解
例 1 已知X = +10010， Y = -10101 ，求X + Y

解： [X]_补=010010 ,[Y]_补=101011
   [X+Y]_补=010010+101011
      =111101
所以：X+Y= -00011

2.定点数减法运算

[X-Y]_补=[X]_补-[Y]_补=[X]_补+[-Y]_补

算法理解
例2 已知[Y]_补=10011 ，求[-Y]_补

解: [Y]_补 =10010
   $\because$ Y=-1101  -Y=1101
   $\therefore$ [-Y]_补=01101

对比 [Y]_补 =10011
可知：通过又向左扫描[Y]_补，在遇到数字1及之前，直接输出遇到的数字，遇到1之后，取反输出，即可得到[-Y]_补，反之亦然！

例3 已知 X= +10101，Y= +10010，求X-Y
解： [X]_补=010101,[Y]_补=010010,[-Y]_补=101110
   [X-Y]_补= [X]_补+[-Y]_补= 010101+101110
      =l 000011
$\therefore$ X-Y= +00011

3.溢出的概念及判断方法

1）溢出的概念

  运算结果超出了某种数据类型的表示范围。

  例4 已知 X= +10010，Y= +10101，求X+Y
  解: [X]_补=010010  [Y]_补=010101
    [X+Y]_补= [X]_补+[Y]_补= 010010+010101
        =100111
    $\therefore$ X+Y= -11001
    两个正数之和为负数！
  例5 已知X= -10010,Y= -10101,求X+Y

  解：$$\begin{gathered} [X{]}_{补}=101110[Y{]}_{补}=101011 \\ [X+Y{]}_{补}=[X{]}_{补}+[Y{]}_{补}=101110+101011 \\ =1010001 \\ \therefore X+Y=+010001 \\ 两个负数之和为正数 \end{gathered}$$

2）溢出的检测方法

  溢出只可能发生在同符号数相加时，包括[X]_补与[Y]_补；[X]_补与
  [-Y]_补同号；

方法一：对操作数和运算结果的符号位进行检测

当结果的符号位与操作数的符号不相同时就表明发生了溢出（设X₀,Y₀为参加运算数的符号位，S₀为结果的符号位）
$$V=X_0{Y}_0\overline{S}+\overline{X_0}\overline{Y_0}S$$

当 V=1 时，运算结果溢出，根据该逻辑表达式，容易画出相应电路。

方法二：对最高数据位进位和符号进位进行检测

设运算时最高数据位产生的进位为C₀，
溢出检测电路为:$V=C_0⨁C_1$

$0.X_1+0.Y_1$: 此时 C₀=0，若C₁=1则改变了结果符号位，发生了溢出。
$1.X_1+1.Y_1$:此时 C₀=1，若C₁=0则改变了结果符号位，发生溢出。

方法三：用变形补码

$[X{]}_{补}=X_{f1}{X}_{f2}{X}_1{X}_2{X}_3...X_{n}mod{2}^{n+2}$
溢出的判断：$V=X_{f1}⨁X_{f2}$

例6 $$\begin{gathered} 已知X=10010，Y=-10101，求X+Y \\ 解：[X{]}_{补}=1101110[Y{]}_{补}=1101011 \\ [X+Y{]}_{补}=[X{]}_{补}+[Y{]}_{补}=1101110+1101011 \\ =1101001 \\ V=1⨁0=1故发生溢出！ \end{gathered}$$
上述三种方法可基于逻辑表达式画出相应电路，在后面的运算部分，还将具体讲解。

溢出判断的软件方法

int tadd_ok(int x,int y){ 
   int sum = x + y;
   int net_over = x < 0 && sum >=0;
   int pos_over = x > 0 && sum <0;
   return !neg_over && pos_over;}

注:体会软/硬件功能的等效差异性！体会软/硬件协同系统观！

4.无符号数运算的溢出判断

无符号数加法的溢出可用ALU的进位表示
无符号数减法的溢出也可用带加/减功能的ALU的进位取反后表示

参考文献：https://www.icourse163.org/course/HUST-1003159001侵权删