计算机组成原理第2章(2.2-姜-19-春-版5).ppt

* 2. 2 定点加法、减法运算 一、补码加法 公式 定点小数 [ｘ＋ｙ]补 ＝ [ｘ]补＋[ｙ]补 (mod 2) 定点整数 [ｘ＋ｙ]补 ＝ [ｘ]补＋[ｙ]补 (mod 2n+1) 回忆定义 证明 * 例８ 已知ｘ＝1001, ｙ＝0101，用补码加法求ｘ＋y。 解： [ｘ]补＝01001, [ｙ]补＝00101 （设n=4） [ｘ]补　　　01001　 ＋[ｙ]补　　　00101　 [ｘ＋ｙ]补　　01110　 真值　ｘ＋ｙ＝＋1110 2. 举例 * 例９ ｘ＝＋1011, ｙ＝－0101，求ｘ＋ｙ。 解： [ｘ]补＝01011,　　[ｙ]补＝11011 （设n=4） [ｘ]补　　　01011 ＋[ｙ]补　 11011　 [ｘ＋ｙ]补 100110　（=00110 （mod 25）） 所以　ｘ＋ｙ＝+0110 * 说明： 由以上两例看出补码加法的特点：①符号位要作为数的一部分一起参加运算；②要在模2n+1 （或模2）的意义下相加，即超过2n+1 （或2）的进位要丢掉。 机器实现：符号位产生的进位自然丢失即可。 * 二、补码减法 公式 [ｘ-ｙ]补= [ｘ]补-[ｙ]补= [ｘ]补＋[-ｙ]补 由[ｙ]补求[－ｙ]补的法则： 小数： [－ｙ]补＝﹁[ｙ]补＋2－n 整数： [－ｙ]补＝﹁[ｙ]补 +1 其中，符号﹁表示对[ｙ]补作包括符号位在内的求反操作，2－n表示最末位的1。 * 例10 已知ｘ1＝－1110,ｘ2＝＋1101, 求：[ｘ1]补，[－ｘ1]补，[ｘ2]补，[－ｘ2]补。 解： [ｘ1]补＝10010 [－ｘ1]补＝﹁[ｘ1]补＋1＝01101＋00001＝01110 [ｘ2]补＝01101 [－ｘ2]补＝﹁[ｘ2]补＋1＝10010＋00001＝10011 2. 举例 * 例11 ｘ＝＋0.1101，ｙ＝＋0.0110，求ｘ－ｙ。 解： [ｘ]补＝0.1101 [ｙ]补＝0.0110,　[－ｙ]补＝1.1010 [ｘ]补　　 　0.1101 ＋[－ｙ]补　 1.1010　 [ｘ－ｙ]补 　　 10.0111 所以　　　　ｘ－ｙ＝＋0.0111 * 三、溢出概念与检测方法 溢出定义 在定点整数机器中，数的表示范围为|ｘ|（2n-1）。在运算过程中若出现大于（2n-1）的现象，则称为“溢出”。在定点机中，正常情况下溢出是不允许的。 检测方法 （1）双符号位法 （2）单符号位法 * ｘ＝＋1011, ｙ＝＋1001，求ｘ＋ｙ。 例12 [ｘ]补＝01011 ，[ｙ]补＝01001 　[ｘ]补　　　01011 ＋ [ｙ]补　　 01001 [ｘ＋ｙ]补　 10100 两个正数相加的结果成为负数,显然为错。 解： * 例13 ｘ＝－0.1101, ｙ＝－0.1011,求ｘ＋ｙ。 [ｘ]补＝1.0011 　[ｙ]补＝1.0101 　　　　　 [ｘ]补　 1.0011 ＋　[ｙ]补　 1.0101 [ｘ＋ｙ]补　 　0.1000 解： 两个负数相加的结果成为正数,同样出错误。 * 上两例均发生错误，原因：运算结果产生了溢出。 上溢：两个正数相加,结果大于机器所能表示的最大正数。 下溢：两个负数相加,结果小于机器所能表示的最小负数。 如何判断？ * “双符号位”检测法 采用双符号位补码，也称为“变形补码” 。 （1）变形补码定义及运算公式 定点小数： [ｘ]补＝4＋ｘ (mod 4) [ｘ]补＋[ｙ]补＝[ｘ＋ｙ]补 (mod 4) 定点整数： [ｘ]补＝2n+2＋ｘ (mod 2n+2) [ｘ]补＋[ｙ]补＝[ｘ＋ｙ]补 (mod 2n+2) * （2）说明： 符号位为两位。 若1x0，则符号位为“00”； 若0x-1，则符号位为“11”。 两个符号位都看作数码一样参加运算；两数进行以4（或2n+2 ）为模的加法，即最高符号位上产生的进位要丢掉。 若两个数相加后，其结果的符号位出现“01”或“10”两种组合时，则表示发生溢出； “01”表示上溢， “10”表示下溢。 最高符号位始终表示结果的正确符号。 * 例14 ｘ＝＋0.1100, ｙ＝＋0.1000，求ｘ＋ｙ。 解： [ｘ]补＝00.1100,　[ｙ]补＝00.1000 [ｘ]补　　 00.1100 ＋ [ｙ]补　　 00.