定点加法减法运算.pptVIP

2.2 定点加法减法运算 2.2.1 补码加法 负数用补码表示后，可以和正数一样来处理。这样,运算器里只需要一个加法器就可以了,不必为了负数的加法运算,再配一个减法器。 　　补码加法的公式是 [ｘ]补＋[ｙ]补＝[ｘ＋ｙ]补 (mod 2) (2.17) 　　 现分四种情况来证明。假设采用定点小数表示,因此证明的先决条件是 ︱ｘ︱﹤1, ︱ｙ︱﹤1, ︱ｘ＋ｙ︱﹤1。 (1)ｘ﹥0,ｙ﹥0,则ｘ＋ｙ﹥0。 　　相加两数都是正数,故其和也一定是正数。正数的补码和原码是一样的,可得： 　　　　[ｘ]补＋[ｙ]补＝ｘ＋ｙ＝[ｘ＋ｙ]补　　　(mod 2) (2)ｘ﹥0,ｙ﹤0,则ｘ＋ｙ0或ｘ＋ｙ0。 　　相加的两数一个为正,一个为负,因此相加结果有正、负两种可能。根据补码定义， 　　　∵　　　　　[ｘ]补＝ｘ,　　　[ｙ]补＝2＋ｙ 　　　∴　　　[ｘ]补＋[ｙ]补＝ｘ＋2＋ｙ＝2＋(ｘ＋ｙ) 当ｘ＋ｙ0时,2 ＋ (ｘ＋ｙ) 2,进位2必丢失,又因(ｘ＋ｙ)0， 　　故　　[ｘ]补＋[ｙ]补＝ｘ＋ｙ＝[ｘ＋ｙ]补　　　(mod 2) 当ｘ＋ｙ0时,2 ＋ (ｘ＋ｙ) 2,又因(ｘ＋ｙ)0， 　　故　　[ｘ]补＋[ｙ]补＝2＋(ｘ＋ｙ)＝[ｘ＋ｙ]补　　(mod 2) (3)ｘ0,ｙ0,则ｘ＋ｙ0或 ｘ＋ｙ0。 　　这种情况和第2种情况一样,把ｘ和ｙ的位置对调即得证。 (4)ｘ0,ｙ0,则ｘ＋ｙ0。 　　相加两数都是负数,则其和也一定是负数。 　　　∵　　　[ｘ]补＝2＋ｘ,　　　[ｙ]补＝2＋ｙ 　　　∴　　　[ｘ]补＋[ｙ]补＝2＋ｘ＋2＋ｙ＝2＋(2＋ｘ＋ｙ) 上式右边分为”2”和(2＋ｘ＋ｙ)两部分.既然(ｘ＋ｙ)是负数,而其绝对值又小于1,那 么(2＋ｘ＋ｙ)就一定是小于2而大于1的数,进位”2”必丢失.又因(ｘ＋ｙ)0, 所以 [ｘ]补＋[ｙ]补＝2＋(ｘ＋ｙ)＝[ｘ＋ｙ]补　　　(mod 2) 　 至此我们证明了,在模2意义下,任意两数的补码之和等于该两数之和的补码.这是补码加法的理论基础,其结论也适用于定点整数 　 [例8] ｘ＝0.1001, ｙ＝0.0101,求ｘ＋ｙ。 [解:] [ｘ]补＝0.1001, [ｙ]补＝0.0101 [ｘ]补　　　0.1001 ＋[ｙ]补　　　0.0101　 [ｘ＋ｙ]补　　0.1110　 所以　　ｘ＋ｙ＝＋0.1110 [例9] ｘ＝＋0.1011, ｙ＝－0.0101,求ｘ＋ｙ [解:] [ｘ]补＝0.1011,　　[ｙ]补＝1.1011 [ｘ]补　　　0.1011 ＋[ｙ]补　　　1.1011　 [ｘ＋ｙ]补　 10.0110　 所以　　ｘ＋ｙ＝0.0110 　　由以上两例看到,补码加法的特点:一是符号位要作为数的一部分一起参加运算,二是要在模2的意义下相加,即超过2的进位要丢掉。 2.2.2 补码减法 负数的减法运算也要设法化为加法来做,其所以使用这种方法而不使用直接减法,是因为它可以和常规的加法运算使用同一加法器电路,从而简化了计算机的设计。 数用补码表示时,减法运算的公式为 [ｘ－ｙ]补＝[ｘ]补－[ｙ]补＝[ｘ]补＋[－ｙ]补 (2.18) 　　 只要证明[－ｙ]补＝－[ｙ]补,上式即得证。现证明如下： 　　　∵　　　　　[ｘ＋ｙ]补＝[ｘ]补＋[ｙ]补　　　(mod 2) 　　　∴　　　　　[ｙ]补　＝[ｘ＋ｙ]补－[ｘ]补　 　(2.19a) 　又　∵　　　[ｘ－ｙ]补＝[ｘ＋(－ｙ)]补＝[ｘ]补＋[－ｙ]补 　　　∴　　　[－ｙ]补 ＝[ｘ－ｙ]补－[ｘ]补　　 (2.19b) 将式(2.19a)与(2.19b)相加,得 　　[－ｙ]补＋[ｙ]补＝[ｘ＋ｙ]补＋[ｘ－ｙ]补－[ｘ]补－[ｘ]补 　　　　　　　　 ＝[ｘ＋ｙ＋ｘ－ｙ]补－[ｘ]补－[ｘ]补 　　　　　　　　 ＝[ｘ＋ｘ]补－[ｘ]补－[ｘ]补＝0 　故 [－ｙ]补＝－[ｙ]补 (mod 2) (2.20) 从[ｙ]补求[－ｙ]补的法则是： 对[ｙ]补包括符号位“求反且最末位加1”,即可得到[