溢出概念与检测方法-Mipaper.PDFVIP

14/1/10 2.2.3溢出概念与检测方法 2.2.3 溢出概念与检测方法 　　　　　 　　在定点小数机器中,数的表示范围为 |ｘ|1. 在运算过程中如出现大于1的现象,称 为 “溢出”。在定点机中,正常情况下溢出是不允许的。 机器定点小数表示 [例12] ｘ＝＋0.1011, ｙ＝＋0.1001,求 ｘ＋ｙ。 [解 :] 　　　 [ｘ] ＝0.1011 [ｙ] ＝0.1001 补 补 　 [ｘ] 　　　0.1011 补 ＋ [ｙ]补　　　0.1001 [ｘ＋ｙ] 　　1.0100 补 两个正数相加的结果成为负数,这显然是错误的。 [例13] ｘ＝－0.1101, ｙ＝－0.1011,求 ｘ＋ｙ。 [解 :] 　　　 [ｘ] ＝1.0011 [ｙ] ＝1.0101 补 补 　　 [ｘ] 　　　1.0011 补 ＋　 [ｙ]补　　　1.0101 [ｘ＋ｙ] 　　0.1000 补 两个负数相加的结果成为正数,这同样是错误的。 　　之所以发生错误,是因为运算结果产生了溢出。两个正数相加,结果大于机器所能表 示的最大 正数,称为上溢。而两个负数相加,结果小于机器所能表示的最小负数,称为下溢。 　　为了判断 “溢出”是否发生,可采用两种检测的方法。第一种方法是采用双符号位 法,这称为 “变形补码”或 “模4补码”,从而可使模2补码所能表示的数的范围扩大一倍。变形补 码定义为 83/jsjxy/jsjzcyl/教学课件/Chap02/2.2.3.htm 1/3 14/1/10 2.2.3溢出概念与检测方法 [ｘ] ＝ ｘ　　　2＞ ｘ≥0 (2.22) 补 { 4＋ｘ　 0＞ ｘ≥－2 　　或用同余式表示为 [ｘ] ＝4＋ｘ　　　 (mod 4) 补 　　下式也同样成立：　 [ｘ] ＋[ｙ] ＝[ｘ＋ｙ] (mod 4) 补 补 补 　　为了得到两数变形补码之和等于两数之和的变形补码,同样必须： 1. 两个符号位都看作数码一样参加运算 2. 两数进行以4位模的加法,即最高符号位上产生的进位要丢掉。 　　采用变形补码后，如果两个数相加后，其结果的符号位出现 “01”或 “10”两种组 合时,表示 发生溢出。这是因为两个绝对值小于1的数相加,其结果不会大于或等于2,所以最高符号 位永远表 示结果的正确符号。 [例14] ｘ＝＋0.1100, ｙ＝＋0.1000,求 ｘ＋ｙ。 [解 :]