Инкремент, не работает флаг переполнения

@Demy85 · Регистрация: 28.05.2012

Студворк — интернет-сервис помощи студентам

Доброго времени суток.
Буду краток. Есть код:

Assembler
1
2
3
mov eax, 0ffffffffh
inc eax
jo exit

В отладчике наблюдаю что флаг OF не выставляется. Хотя в документации написано:
The CF flag is not affected. The OF, SF, ZF, AF , and PF flags are set according to the result.
Т.е. флаг OF должен выставляться. Объясните что я делаю не так.
Заранее благодарен.

ФедосеевПавел · 12.07.2017, 23:00

Не до конца уверен.

Почему-то подозреваю, что тут работает интересный механизм.

При возникновении переполнения вызывается обработчик прерывания переполнения. В ходе выполнения обработчика этот флаг сбрасывается и управление возвращается в точку вызова - на следующую после inc команду.

Проверить эту версию можно написав собственный обработчик прерывания переполнения.

@Ethereal · 13.07.2017, 04:29

FFFFFFFF + 1 = 0 переполнения нет. Ибо это просто -1 + 1 = 0 и это правильно.
А вот перенос происходит, да только инструкции INC и DEC такие дурные, что перенос не фиксируют. Тут некоторая кривизна Интеловской системы команд.

А вот если ты сделаешь
7FFFFFFF + 1 = 80000000 вот тут переполнение и выставится. А переноса не будет, даже если ты будешь складывать с помощью ADD

Или тебе объяснять что такое перенос и что такое переполнение и какой у них смысл ?

Добавлено через 2 минуты

Сообщение от ФедосеевПавел

При возникновении переполнения вызывается обработчик прерывания переполнения.

Никогда не вызывается. Нет такого прерывания.
Есть прерывания при делении DIV IDIV , если на ноль или результат не влезает в регистр для частного, но это совсем другой случай.

@Demy85 · 13.07.2017, 08:50 **[ТС]**

Сообщение от Ethereal

FFFFFFFF + 1 = 0 переполнения нет. Ибо это просто -1 + 1 = 0 и это правильно.

Об этом я и не подумал..... почему-то предполагал что inc работает с беззнаковыми числами.
Спасибо за ответ.

@R71MT · 13.07.2017, 19:20

Сообщение от Ethereal

Никогда не вызывается. Нет такого прерывания.

into проверяет флаг(OF), и если он взведён - дёргает INT-4:

Assembler
1
2
3
   mov  ax,7FFFh 
   inc  ax 
   into            ; вместо jo

ФедосеевПавел · 13.07.2017, 20:06

Да, я тоже о into вспомнил, но забыл о его правильном применении.

Спасибо, Ethereal, R71MT!

@Jin X · 14.07.2017, 09:16

Сообщение от Ethereal

Тут некоторая кривизна Интеловской системы команд.

Это не кривизна, это фича. Специально сделано, чтобы сохранить флаг при необходимости увеличить/уменьшить значение.

This instruction allows a loop counter to be updated without disturbing the CF flag.

К примеру, можно сделать цикл наподобие loopz/loopnz:

Assembler
1
2
3
4
5
6
7
  mov edx,100
@@rep:
  . . .
  clc/stc/cmc/cmp...
  . . .
  dec edx
  ja @@rep  ; повторяем, пока EDX > 0 и CF=0

Сообщение от Demy85

почему-то предполагал что inc работает с беззнаковыми числами.

inc/dec работают с любыми числами. Знак имеет значение при умножении-делении (mul/imul, div/idiv), сдвиге (shr/sar) и прыжках (gl/gle/jg/jge) после сравнения. Ну есть ещё всякие там into, adox...

@Ethereal · 15.07.2017, 04:02

Сообщение от R71MT

into проверяет флаг(OF), и если он взведён - дёргает INT-4:

Речь шла об аппаратных прерываниях.

Добавлено через 14 минут

Сообщение от Jin X

Это не кривизна, это фича. Специально сделано, чтобы сохранить флаг при необходимости увеличить/уменьшить значение.

Специально сделано было не для этого, а для возможности преобразования кода от 8080 к 8088/8086. Был такой заскок при проектировании 8088/8086 на халяву ПО от микро-ЭВМ с 8080 и CP-M разжиться. А вот уже на 8080 сделано было для реализации при необходимости арифметики чисел произвольной разрядности. Чтобы складывать их, к примеру так (запишу в понятиях 80x86)
clc
METKA:
mov al,[si]
adc [di],al
inc si
inc di
loop METKA
от чего все команды в этом цикле кроме ADC не должны флага переноса менять.

А вот если сделать архитектуру двухадресной и с адресацией с автоинкрементом, то тогда
clc
METKA:
adc (r0)+,(r1)+
sob r2, METKA
(здесь SOB - Subtract One and Branch , т.е. аналог LOOP) и никаких исключений из общего правила делать не нужно. Можно сделать, чтобы все команды выставляли флаги по результату (кроме команд условных переходов конечно) и даже MOV флаги знака и нуля тоже. Отсюда вывод - причина появления упомянутой тобой фичи состоит именно в кривизне системы команд, причем еще в кривизне 8080, что крива как ятаган.

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

ФедосеевПавел Модератор 8655 / 4491 / 1669 Регистрация: 01.02.2015 Сообщений: 13,899 Записей в блоге: 12
	12.07.2017, 23:00
	Не до конца уверен. Почему-то подозреваю, что тут работает интересный механизм. При возникновении переполнения вызывается обработчик прерывания переполнения. В ходе выполнения обработчика этот флаг сбрасывается и управление возвращается в точку вызова - на следующую после `inc` команду. Проверить эту версию можно написав собственный обработчик прерывания переполнения. 1

ФедосеевПавел Модератор 8655 / 4491 / 1669 Регистрация: 01.02.2015 Сообщений: 13,899 Записей в блоге: 12
	13.07.2017, 20:06
	Да, я тоже о `into` вспомнил, но забыл о его правильном применении. Спасибо, Ethereal, R71MT! 0

Инкремент, не работает флаг переполнения

Решение