Question

如何检查补码加减运算中的溢出问题?

Answer 1

通常有三种表述方式（说法）： (1) 两个符号相同的补码数相加，如果和慧信的符号与加数的唤隐符号相反，或两个符号相反的补码数相减，差的符号与减数的符号相同，都属于运算结果溢出。这种判别方法比较复杂，要区别加还是减两种不同运算情况，还要检查结果的符号与其中一个操作数的符号的同异，故很少使用； (2) 两个补码数相加减时，若最高数值位向符号位送的进位值与符号位送向更高位的进位值不相同，也是运算结果溢出。 (3) 在采用双符号位（如定点小数的模4补码）运算时，若两个符号位的得值不同（01或10）则是溢出。01表明两个正数相加，结果大于机器所能表示的最大正数，称为"上溢"；10表明两个负数相加，结果小于机器所能表示的最小负数，称为"下溢"；双符号位的高位符号位，不管结果溢出否，均是运算结果正确的符号位，这个结论在乘法运算过程中是很有实际意义的。请注意，在采用双符号位的方案中，在寄存器和内存储器存储数据时，只需存一位符号，双符号位仅用在加法器线路部分。 再次强调，这三种和碧厅不同说法是对同一个事实的略有区别的表述，实现时用到的线路可以有所区别，但问题的实质是完全一样的。