溢出判断

补码加法运算溢出判断三种方法：
［方法一］
Xf、Yf分别两个数的符号位,Zf为运算结果符号位。
当Xf =Yf =0（两数同为正）,而Zf=1(结果为负)时,负溢出；
当出现Xf =Yf =1（两数同为负）,而Zf=0（结果为正），正溢出.
［方法二］
Cs表示符号位的进位，Cp表示最高数值位进位，⊕表示异或。
若 Cs⊕Cp =0 ，无溢出；
若 Cs⊕Cp =1 ，有溢出。
［方法三］
用变形补码进行双符号位运算（正数符为00,负数符号以11）
若运算结果的符号位为"01",则正溢；
若结果双符号为10,则负溢出；
若结果的双符号位为00或11，无溢出。

所谓双符号位判决法是指：

计算机运算溢出检测机制，采用双符号位，00表示正号，11表示负号。如果进位将会导致符号位不一致，从而检测出溢出。结果的符号位为01时，称为上溢；为10时，称为下溢。 　
　例如设X = + 1000001，Y = + 1000011，采用双符号为表示X=00 1000001，Y=00 1000011，[X + Y]补=01 0000100，实际上，运算结果产生了正溢出。 　　
      设x=0.1101，y=－0.0111，符号位为双符号位 ，用补码求x+y，x－y 　　[x]补+[y]补=00 1101+11 1001=00 0110 　　[x－y]补=[x]补+[－y]补=00 1101+00 0111=01 0100 结果错误，正溢出 　　
在确定了运算的字长和数据的表示方法后，数据的范围也就确定了。一旦运算结果超出所能表示的数据范围，就会发生溢出。发生溢出时，运算结果肯定是错误的。当两个同符号的数相加（或者是相异符号数相减）时，运算结果有可能产生溢出。常用的溢出检测机制主要有进位判决法和双符号位判决法。双符号位判决法若采用两位表示符号，即00表示正号、11表示负号，则溢出时两个符号位就不一致了，从而可以判定发生了溢出。