@Azawa

Я не могу понять, почему ставится флаг арифметического переноса (Carry bit) в CPSR, если второй операнд CMP меньше и не отрицателен. Причем значения такие, которые явно не выходят за границы 32-битного числа, вроде:
Но вот когда второй операнд все так же меньше, но число уже отрицательное, то флаг переноса не ставится:
Какой перенос дают операции вроде 4-0 или 3-1, они же вроде настолько простые, не должны давать никакого переноса? Почему тогда ставится флаг C?

0

@i8085

Откройте систему команд вашего контроллера. Там написано, что делает каждая команда и как интерпретируются числа в регистрах. Написаная в ассемблерном тексте "#-1" - это всего лишь все единицы в бинарном коде (максимальное число в регистре).

1

ValeryS

первое CMP это команда вычитания только без записи результата
второе у микроконтроллеров нет отрицательных чисел, чаще всего они представляются в дополнительном коде
число -1 это будет, у 8 битки , 255, или 11111111, для 32 бит тоже самое просто единиц больше, 32
теперь
посмотри что будет
0-4
и
4294967295( тоже что и -1) -4
будет переполнение или нет?

0

@Azawa

А почему 0-4, когда Да, про представление знаковых чисел я знаю, в них старший бит ставится и поэтому в беззнаковом представлении отрицательные числа больше.
Поэтому я и спросил, почему при вычитании в беззнаковом представлении меньшего числа из большего - ставится флаг переноса, хотя там никаких заимствований при вычитании не требуется:
Да даже когда вычитается ноль, флаг переноса все равно ставится! Как так?

А при вычитании наоборот большего числа в беззнаковом представлении (но все еще меньшего в знаковом), флаг переноса не ставится, когда хоть число и меньше, но при таком вычитании произойдет заимствование единичек из ниоткуда и поэтому вроде в этом случае и должен поставиться флаг переноса.
Да! Но флаг не ставится... Будто все происходит ровно наоборот.


Было бы здорово, но в инструкциях по ARMу только и написано, что просто задействуется такой флаг в регистре. И больше не написано как и при каких условиях. Ну и у меня нет на примете какого-то микроконтроллера в имении, я пользуюсь общим эмулятором ARMv7, cpulator который.

0

@Ethereal

Я вот не писал еще для ARM, но писал для множества архитектур и знаю что.
- есть редкие архитектуры у которых флаг переноса при вычитании, а значит и при сравнении, выставляется строго наоборот нежели имеет смысл при сложении). Ну вот строго наоборот. К таким архитектурам относится микрочиповский PIC
- это вызвано прямолинейной реализацией вычитания в АЛУ по формуле
A - B = A + ~B + 1
легко видеть, что при такой реализации вычитания вычитание сводится к инвертированию B и исполнению adc положив carry=1. Вот если флаги после такой операции оставить такими как они получились после adc, то флаг переноса после вычитания и сравнения окажется строго наоборотным
- возможно и в ARM точно такой-же строго наоборотный флаг переноса после вычитания и сравнения (нежели имеет смысл при сложении)

1

@Azawa

Да, действительно, с точки зрения реализации архитектуры это имеет смысл, т.к. достаточно просто и быстро.

Вообщем, все же я нашел строку в документации. Я был не прав, сказав что пояснении этому случаю нет:
В случае с показанием наличия заимствования - флаг carry действительно работает точно наоборот.
Хотя до ответа Ethereal казалось совершенно логичным, что положение флага должно быть одинаковым для обоих случаев что для переноса, что для заимствования. Однако, такой вот неочевидный момент.

1

@i8085

Поэтому и был дан совет Ведь именно там вы всё нашли.

1

@Ethereal

Там-же и не там. Систему команд он нашел в этой книге
http://www.keil.com/support/man/docs/ARMASM/
И что-то смотрю в нее и пояснения по флагу переноса не вижу.
Пояснение он нашел здесь :
http://infocenter.arm.com/help... DCDHH.html
А это что, следующая, 6-я версия той-же книги ? А по первой ссылке 5-я версия ?
Оглавление похоже, но там где в 6-й версии главы Carry flag и Overflow flag в 5-й версии именно этих глав нет. Так-что там где он нашел, он не нашел, а нашел там-же, но не там. Да и то в другом конце книги.

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

0