大学计算机组成原理第2章运算方法和运算器2.pptVIP

2.2 定点加法、减法运算 2.2.1 补码加法 2.2.2 补码减法 2.2.3 溢出概念与检验方法 2.2.4 基本的二进制加法减法器 2.2.1 补码加法 补码加法的公式是 [x]补+[y]补= [ｘ+ｙ] 补 在模2n+1意义下，任意两数的补码之和等于该两数之和的补码 2.2.1 补码加法(续1） ⑴ｘ﹥0，ｙ﹥0，则ｘ＋ｙ﹥0。 　　相加两数都是正数，故其和也一定是正数。正数的补码和原码是一样的，可得： 　 [x]补+ [y]补=ｘ+ｙ=[ｘ+ｙ]补 　(mod 2n+1) 分四种情况来证明: 2.2.1 补码加法(续2） ⑵ｘ﹥0,ｙ﹤0,则ｘ＋ｙ0或ｘ＋ｙ0。 相加的两数一正一负，相加结果有正、负两种可能。 ∵ 根据补码定义，[x] 补＝ｘ， [y] 补＝2n+1＋ｙ ∴　[x]补＋ [y]补＝ｘ＋2n+1＋ｙ＝2n+1＋(ｘ＋ｙ) 当(x+y) 0时: 故 [x]补＋ [y]补＝ｘ＋ｙ=[ｘ+ｙ]补 　　(mod 2n+1 ) 当x+y0时: 2n+1 +(x+y) 2n+1 ，又因(x+y)0， 故 [x]补＋ [y]补＝ 2n+1 ＋(ｘ＋ｙ) =[ｘ+ｙ]补 (mod 2) 2.2.1 补码加法(续3） ⑶ｘ0,ｙ0,则ｘ＋ｙ0或 ｘ＋ｙ0。　　 这种情况和第2种情况一样，把ｘ和ｙ的位置对调即得证。 2.2.1 补码加法(续4） ⑷ｘ0,ｙ0,则ｘ＋ｙ0。 相加两数都是负数，则其和也一定是负数。 ∵　 [x] 补＝ 2n+1 ＋ｘ,　　　 [y] 补＝ 2n+1 ＋ｙ ∴　 [x] 补＋ [y] 补＝ 2n+1 ＋ｘ＋ 2n+1 ＋ｙ = 2n+1 ＋(2n+1 ＋ｘ＋ｙ) [x] 补＋ [y] 补＝ 2n+1 ＋(ｘ＋ｙ) =[ｘ+ｙ] 补 　　(mod 2) 在模2n+1意义下，任意两数的补码之和等于该两数之和的补码。 这是补码加法的理论基础，其结论也适用于定点小数。 2.2.1 补码加法(续5） 例11:ｘ＝+1001，ｙ＝+0101， 求ｘ＋ｙ。 解： 例12：ｘ＝＋1011，ｙ＝-0101， 求ｘ＋ｙ 解： 由以上两例看到，补码加法的特点: 一是符号位要作为数的一部分一起参加运算 二是要在模2n+1的意义下相加，即超过模的进位要丢掉。 例11之解 [x] 补＝01001, [y] 补＝00101 [x] 补　　　 01001 ＋ [y] 补　　　00101　 [ｘ+ｙ] 补 　　01110　 所以　　　　　　　　　　　　 　　ｘ＋ｙ＝＋1110 返 回 例12之解 [x] 补＝01011, [y] 补＝11011 [x] 补　　　 01011 ＋ [y] 补　　　11011　 [ｘ+ｙ] 补 　 100110　 所以　　　　　　　　　　　　 　　ｘ＋ｙ＝00110 返回 2.2.1 补码减法 补码减法的公式是 [ｘ-ｙ] 补 = [x]补-[y]补 = [x]补+[-y]补 (2.14) 证明：[-Y]补=-[Y]补(mod 2n+1) (2.17) 因为???? [X+Y]补=[X]补+[Y]补? (mod 2n+1) 所以???? [Y]补=[X+Y]补-[X]补又因为?? [X-Y]补=[X+(-Y)]补= [X]补+[-Y]补所以 ??? [-Y]补=[X-Y]补-[X]补则?????? [-Y]补+[Y]补=[X-Y]补+[X+Y]补-[X]补-[X]补 ??????????? = [X+Y+X-Y]补 -[X]补-[X]补?? =0所以 [-Y]补=-[Y]补 (mod 2n+1) 从[y] 补求[-y] 补的法则是： 对[ｙ]补包括符号位在内“按位求反且最末位加1”，即可得到[-ｙ]补。 写成运算表达式，则为： [-ｙ]补＝﹁[ｙ]补＋ (2.18) ﹁表示对[ｙ]补作包括符号位在内的按位求反操作 表示最末位的1 2.2.2 补码减法（续1） 例13：已知ｘ1＝－1110，ｘ2＝＋1101， 求： [x1] 补 ，[-x1] 补 ，[x2]补 ，[-x2] 补。 解： 例14：ｘ＝＋1101，ｙ＝＋0110， 求ｘ－ｙ。 解： 例10之解 [x1]补＝10010 [- x1]补＝﹁[x1]补＋ 20 ＝01101＋0001＝01110 [x2]补＝01101 [- x2]补＝﹁[x2]补＋ 20 ＝10010＋000