Затык с понятием «overflow»

В общем туплю, почему переполнение возникает при сложении двух положительных чисел?
Например складываем два 32 битных числа
mov eax, 7FFFFFFF; 01111111111111111111111111111111b
mov ebx, eax
add eax, ebx
В итоге флаг O=1
Вот и думаю что я не понимаю это понятие переполнение. Знаю оно возникает при несоответствии знака результата при сложении чисел со знаком и без, не совсем ясно зачем переполнение возникает при сложении чисел без знака, ведь итоговый результат соответствует правильному в тех же 32 битах?

 

aptyp

Сами по себе числа не есть со знаком или без знака. То же 7FFFFFFFh может быть, как знаковым, так и беззнаковым.

Знаковую семантику число приобретает в зависимости от того, как Вы его используете: если Вы проверяете OF на переполнение, значит работаете со знаковыми числами, т.к. OF — флаг знакового переполнения.

Флаг беззнакового переполнения — это CF. Т.к. в вышеприведенном примере беззнакового переполнения не происходит, флаг CF не выставляется.

 

add работает как со знаковыми так и без.
OF показывает, что произошло знаковое переполнение.
СF что произошло беззнаковое.
Выбирай сам каким флагом пользоваться.

 

Просвещаться тут - http://www.amd.com/us-en/assets/content_type/white_papers_and_tech_docs/24594.pdf

 

http://en.wikipedia.org/wiki/Overflow_flag

 

Спасибо. Вроде понял. Думал что число, знаковое и без знаковое в процессоре адресуется только 8 битами, 16, и 32. Выходит даже если в 32 бита поместить 32 битное без знаковое число со знаком в 31 бите (считать справа на лево), и если прибавить к нему допустим то же или другое число со знаком в том же 31 бите, получится переполнение из за переноса старшего знакового бита в данном 31 битном числе. Верно?

 

aptyp
Произошло знаковое переполнение, положительное число прибавляют к положительному, результат должен быть положительным, а он стал отрицательным.

 

Это понятно, но зачем происходит переполнение, когда число поместилось и является корректным для тех же 32 бит в которых и происходило без знаковое для 32 бит сложение. Какой смысл? Ну понятно ещё если это было бы знаковое 8,16 битное число помещённое в 32 бит, а в данном случае в такую логику не въезжаю.

 

aptyp, вам же объяснил товарищ.

если смотрите на флаг OF, значит числа считаются знаковыми, следовательно переполнение возникает. От разрядности это не зависит.

 

Маладца. Так и знал. Тока во многих (всех) учебниках много разной мути, а вот такие простые моменты объяснены плохо.

 

aptyp, другими словами, команда add ( и не она одна ) выставляет флаг OF если до операции старший бит первого операнда был == 0, а после операции стал равен 1.

 

Mankubus
И наоборот тоже. OF почти для всех модифицирующих его инструкций равен xor'у битов переноса в старший бит и переноса из старшего бита (либо битов заёма в старший и из старшего), включая, например, однобитовые логические сдвиги.

 

Код (Text):

1. xor     eax,eax
2. dec     eax            ;of=0
3. inc     eax            ;of=0
4.  
5. mov     eax,$8000'0000
6. dec     eax            ;of=1
7. inc     eax            ;of=1

 

aptyp
Флаг OF -- это переполнение для знаковых операций, а флаг CF -- переполнение для беззнаковых. Сами по себе операции сложения-вычитания выполняются абсолютно одинаково для знаковых и беззнаковых, поэтому разных команд для них (для умножения и деления есть, поскольку они работают уже по-разному). Вот в некоторых древних машинах (и их современных потомках), пока не догадались ввести отдельные флажки для переноса и переполнения, встречались отдельные команды для сложения/вычитания знаковых и беззнаковых чисел. Собственно результат у них был один и тот же, но по-разному устанавливался признак результата, по которому можно было выполнять условный переход (для одной команды соответствовал установке флажка CF, а для другой -- OF).

 

Mankubus
l_inc
Если память не изменяет (проверять лениво), флаг переноса равен XOR'у между переносом _в_ старший разряд результата и переносом _из_ старшего разряда результата.

 

https://wasm.in/blogs/perenos-i-perepolnenie-chto-oni-predstavljajut-soboj-na-samom-dele.275/

 

SII
А я что сказал?

 

Пускай 00b..11b - байт.
Гляньте на табличку(пощитал, надеюсь, без ошибок).
Символом "_" отмечены числа, где результат легко подправить через ADC|SBB, ссылаясь на значение flags.cf.
C появлением последнего вопросов тоже никаких нету.
Непонятна фраза

Возвращаясь к таблице: напишите пожалуйста, кто знает, значения flags.of для каждого случая.

Код (Text):

1. bin               +dec              -/+dec
2. --------------    --------------    --------------
3. 00  00  00  00    +0  +0  +0  +0    +0  +0  +0  +0
4. 00  01  10  11    +0  +1  +2  +3    +0  +1  -2  -1
5. 00  01  10  11    +0  +1  +2  +3    +0  +1  -2  -1
6.  
7. 01  01  01  01    +1  +1  +1  +1    +1  +1  +1  +1
8. 00  01  10  11    +0  +1  +2  +3    +0  +1  -2  -1
9. 01  10  11 _00    +1  +2  +3 _+0    +1 _-2  -1  +0
10.  
11. 10  10  10  10    +2  +2  +2  +2    -2  -2  -2  -2
12. 00  01  10  11    +0  +1  +2  +3    +0  +1  -2  -1
13. 10  11 _00 _01    +2  +3 _+0 _+1    -2  -1 _+0 _+1
14.  
15. 11  11  11  11    +3  +3  +3  +3    -1  -1  -1  -1
16. 00  01  10  11    +0  +1  +2  +3    +0  +1  -2  -1
17. 11 _00 _01 _10    +3 _+0 _+1 _+2    -1  +0 _+1  -2

 

Код (Text):

1.  01b
2. +01b
3.  10b

of наверное будет, и закон его появлений какой-то тоже