进位和溢出(Carry & Overflow)

问题: 设有两个8位BIT的数A=a7a6a5a4a3a2a1a0, B=b7b6b5b4b3b2b1b0.进位标志CF, 溢出标志OF.则:

计算C=A+B时,OF=? CF=? 计算C=A-B时, OF=? CF=?

    网上找了半天,总说什么有符号数,无符号数,看晕了.二进制形式的一个数,你怎么知道它是有符号的还是无符号的?只好写程序试验了.程序是将0到255之间任意两个数相加,将产生溢出或者进位的数找出来.

1. .section .data
2. flow:
3.   .asciz "%3d + %3d = %3d/tOverflow/n"
4. carry:
5.   .asciz "%3d + %3d = %3d/tCarry/n"
6. both_no:
7.   .asciz "%3d + %3d = %3d/tNone occured./n"
8. both:
9.   .asciz "%3d + %3d = %3d/tBoth occured./n"
10. .section .text
11. .globl _start
12. _start:
13.   movl $0, %ecx
14.   movl $0, %edx
15. begin:
16.   movb %cl, %al
17.   movb %dl, %bl
18.   addb %bl, %al
19.   jc has_carry
20.   jo has_flow
21.   jmp loop_inc
22.   pushl %ecx
23.   pushl %edx
25.   movzx %al, %ebx
26.   pushl %ebx
27.   movzx %dl, %ebx
28.   pushl %ebx
29.   movzx %cl, %ebx
30.   pushl %ebx
31.   push $both_no
32.   call printf
33.   addl $16, %esp
34.   popl %edx
35.   popl %ecx
36. loop_inc:
37.   incb %dl
38.   cmpb $0, %dl
39.   jnz loop_end
40.   incb %cl
41.   cmpb $0, %cl
42.   jz end
43.   movb %cl, %dl
44. loop_end:
45.   jmp begin
46. has_carry:
47.   jo has_both
49.   pushl %ecx
50.   pushl %edx
51.   movzx %al, %ebx
52.   pushl %ebx
53.   movzx %dl, %ebx
54.   pushl %ebx
55.   movzx %cl, %ebx
56.   pushl %ebx
57.   push $carry
58.   call printf
59.   addl $16, %esp
60.   popl %edx
61.   popl %ecx
62.   jmp loop_inc
63. has_flow:
64.   pushl %ecx
65.   pushl %edx
66.   movzx %al, %ebx
67.   pushl %ebx
68.   movzx %dl, %ebx
69.   pushl %ebx
70.   movzx %cl, %ebx
71.   pushl %ebx
72.   push $flow
73.   call printf
74.   addl $16, %esp
75.   popl %edx
76.   popl %ecx
77.   jmp loop_inc
78. has_both:
79.   pushl %ecx
80.   pushl %edx
81.   movzx %al, %ebx
82.   pushl %ebx
83.   movzx %dl, %ebx
84.   pushl %ebx
85.   movzx %cl, %ebx
86.   pushl %ebx
87.   push $both
88.   call printf
89.   addl $16, %esp
90.   popl %edx
91.   popl %ecx
92.   jmp loop_inc
93. end:
94.   movl $1, %eax
95.   movl $0, %ebx
96.   int $0x80

通过对结果的分析,得出以下溢出和进位的确定方式:

• 不管你把数据视为无符号还是有符号,计算时自动把最高位视为符号位.当两个符号位相同的数做加法时,如果结果的符号位发生变化,则为溢出.
• 当两个符号位不同的数做减法时,以A-B=C为例,如果A与C的符号位不同则为溢出.
• 其它情况下均不会有溢出.
• 关于进位:
• 当两个数相加的结果的长度增大时会产生进位.
• 如果将数看作无符号的(不管机器如何看待它们),小数减大数一定发生进位,即"借位"也被视为进位,英文叫"CARRY".大数减小数永远不会产生进位.
• 两个N位的数相加的结果大于2^N - 1时发生进位.否则不发生进位.

由此可以看出,进位和溢出可以同时发生,也可以同时都不发生.进位不一定溢出,溢出也不一定进位.