Псевдокод команд JMP SHORT и JMP NEAR – ADD IP/EIP/RIP, число_со_знаком. Команда JMP в зависимости от типа своего операнда изменяет либо содержимое только одного регистра IP/EIP/RIP, либо – в случае JMP FAR – содержимое двух регистров CS и IP/EIP/RIP.

• Если операнд в команде JMP – метка в текущем сегменте команд, то ассемблер формирует машинную команду, операнд которой является значением со знаком, являющимся смещением перехода относительно следующей за JMP команды. При этом виде перехода изменяется только значение в регистре IP/EIP/RIP;
• Если операнд в команде JMP – адрес, по которому необходимо передать управление. Этот адрес может быть двух видов:
  • значением абсолютного смещения метки перехода относительно начала сегмента кода. Размер этого
    смещения может быть 16/ 32 или 64 бит в зависимости от режима адресации;
  • дальним указателем на метку перехода в реальном и защищенном режимах, содержащим два компонента адреса – сегментный и смещение. Размеры этих компонентов также зависят от установленного режима адресации (use16/use32 или use64). Если текущим является 16-битный режим, то адрес сегмента и смещение занимают по 16 бит, причем смещение располагается в младшем слове двойного слова, отводимого под этот полный адрес метки перехода. Если текущим является 32-битный режим, то адрес сегмента и смещение занимают, соответственно, 16 и 32 бит, – в младшем двойном слове находится смещение, в старшем – адрес сегмента.

Ассемблер рассчитывает смещение автоматически, и если значение смещения лежит в пределах от -128 до +127 байт, то, по умолчанию, будет подставлена более короткая двухбайтная инструкция JMP SHORT, хотя в кодах вы можете подставить и более длинные инструкции JMP NEAR и JMP FAR. Более длинные инструкции могут использоваться для написания самомодифицируемого кода либо для того, чтобы сбить с толку отладчик, либо для выравнивания кода.JMP не дает возможности перемещаться между сегментами – для этого есть JMP FAR. Это в случае, если сегменты не пересекаются. Если пересекаются – можно перемещаться как угодно.
Прямые переходы требуют указания в качестве точки перехода программной метки. Такой переход в некоторых случаях неудобен – он имеет статический характер, его нельзя настроить по ходу выполнения программы. Прямой переход также не дает возможности перейти по известному абсолютному адресу, например, в том случае, если наша программа взаимодействует либо с системными средствами, либо с другими загруженными в память программами. Программы операционной системы не имеют меток, так как метки – это атрибут исходного текста программы, а программы операционной системы транслировались не нами и присутствуют в памяти только в виде исполнимых модулей. А вот адреса характерных точек системных программ определить можно, например, из векторов прерываний. Для обращения по абсолютным адресам используют команды косвенных переходов, которые могут быть как ближними, так и дальними.В случае косвенного перехода в качестве операнда указывается не сам адрес перехода, а то место где находится этот адрес. Таким местом может быть регистр общего назначения или ячейка памяти: Синтаксис команды: JMP <TAGER>
Возможные варианты команды:
jmp reg
jmp [reg]
jmp mem
В этих командах берется содержимое указанного регистра или ячейки памяти, оно рассматривается как адрес некоторой команды перехода и по этому адресу делается переход. Косвенные переходы используются, как правило в тех случаях, когда адрес перехода вычисляется во время выполнения программы, либо когда требуется осуществить переход по известному абсолютному адресу.Алгоритм работы: если операнд в команде JMP – символический идентификатор ячейки памяти (m16, m32, m16:32) или регистр, то ассемблер предполагает, что там находится адрес, по которому необходимо передать управление. Этот адрес может быть трех видов:

• значением абсолютного смещения метки перехода. Размер этого смещения может быть 16/32 или 64 бита в зависимости от режима адресации;
• дальним указателем на метку перехода в реальном и защищенном режимах, содержащим два компонента адреса – сегментный и смещение. Размеры этих компонентов также зависят от установленного режима адресации (use16/use32 или use64). Если текущим является 16-битный режим, то адрес сегмента и смещение занимают по 16 бит, причем смещение располагается в младшей части двойного слова, отводимого под полный адрес метки перехода. Если текущим является 32-битный режим, то адрес сегмента и смещение занимают, соответственно, 16 и 32 бита, – в младшей части двойного слова находится смещение, в старшей – адрес сегмента;
• адресом в одном из 16 или 32-разрядных регистров – этот адрес представляет собой абсолютное смещение метки относительно начала сегмента кода, на которую необходимо передать управление, относительно начала сегмента команд.

Допустим, что ячейка памяти A первоначально пуста, по ходу выполнения программы в нее, в зависимости от каких-либо условий, помещается адрес той либо иной точки перехода. В этом случае создается возможность перед выполнением перехода определить или даже вычислить адрес перехода, требуемый в данных условиях.Допустим мы программируем в 16-разрядном режиме. Ячейка памяти A описана как двойное слово. Ассемблер допускает различные формы описания косвенного перехода по адресу, заданному через ячейку памяти. Если мы напишем jmp far ptr A – ассемблер однозначно генерирует код дальнего косвенного перехода, независимо от того какая размерность у ячейки памяти. Если написать jmp A – ассемблер начинает рассуждать следующим образом – ячейка A по определению двойное слово, значит она содержит полный двухсловный (сегмент:смещение) адрес – необходимо генерировать код дальнего косвенного перехода. Если написатьjmp word ptr A – это заставит транслятор считать, что ячейка памяти имеет размерность слово, независимо от действительного размера, что приведет к генерации кода ближнего косвенного перехода.Адрес перехода можно задавать через регистр общего назначения с использованием базово-индексной адресации. Эту адресацию используют в тех случаях, когда имеется несколько альтернативных точек перехода, выбор которых зависит от некоторых условий. В этом случае создается таблица адресов переходов. Например, в индексный регистр передается определенный тем или иным способом индекс в таблице. Переход осуществится в точку, соответствующую заданному индексу.Использование косвенного перехода позволяет создать на языке ассемблера структуру выбора CASE – выбор из множества значений, определяемое значением индексного регистра.
Никто не может нам запретить использовать для косвенной адресации пару регистров общего назначения. Это дает возможность одновременно использовать несколько таблиц переходов.
Как и в случае ближнего перехода, дальний косвенный переход осуществляется по адресу, который содержится в ячейке памяти, которая имеет размер двойного слова (16-разрядный режим) или три слова (32-разрядный режим) и в ней содержится полный (сегмент:смещение) адрес точки перехода. Программа в этом случае должна включать по меньшей мере два сегмента кода. Для дальнего косвенного перехода ассемблер допускает различные формы адресации через регистры общего назначения.
При кодировании под TASM было замечено, что ассемблер фирмы Borland подменяет дальний косвенный переход инструкциями PUSH CS (код 0Eh) и инструкция ближнего косвенного перехода:MASM также не может правильно сгенерировать команды дальнего косвенного перехода.
Чтобы сгенерировать дальний переход и при этом не терять 1 байт на команду PUSH CS, необходимо написать код ближнего перехода и добавить ко второму байту команды 8, например: код FF17 соответствует команде JMP [BX], а код FF17+0008=FF1F – команде JMP FAR [BX].
Вывод – программируйте дальние переходы в машинных кодах.
Примечание: Не слишком увлекайтесь метками. Существует правило: квалификация программиста обратно пропорциональна числу меток в программе.По команде JMP транслятор может сгенерировать от 2 до 9 байт кода. В командах прямого перехода относительный адрес перехода задается в виде байта, слова или двойного слова. В этих командах операнд рассматривается как целое со знаком (для байта от –128 до +127, для слова от –2¹⁵ до 2¹⁵–1, для двойного слова от –2³¹ до 2³¹–1), поэтому при сложении его с IP/EIP значение этого регистра может и увеличиться, и уменьшиться. Обычно программист не вычисляет длину относительных адресов переходов. Программируя на языке ассемблера, мы указываем лишь метку нужной команды. Ассемблер сам подсчитывает разность между адресом этой метки и адресом команды перехода и подставляет эту разность в машинную команду. Транслятор просматривает текст программы сверху вниз. Встречая символьную команду перехода с меткой, ассемблер вычисляет разность между адресом этой метки и адресом самой команды перехода и оценивает величину этой разности. Если она небольшая, укладывается в байт, ассемблер формирует машинную команду короткого перехода в 2 байта, а если разность большая – формируется команда длинного перехода в 3 байта для 16-битного режима и в 5 байт для 32-битного. Если ваш ассемблер настроен только на один проход («старый» однопроходный MASM или трансляция осуществляется ассемблером TASM без ключа /m#) тогда сделать выбор между короткой или длинной формой команды JMP ассемблер может, только если метка описана до команды перехода, то есть если эта метка является ссылкой назад. Но если в команде перехода указана метка со ссылкой вперед, ассемблер генерирует «на всякий случай» команду длинного перехода.
В большинстве случаев переход делается на команды, расположенные недалеко от команд перехода, и мы можем потерять на этом три байта. Избежать избыточности при кодировании переходов вперед можно за счет явного задания дальности перехода. Поставив после команды JMP оператор SHORT, мы предупреждаем ассемблер о необходимости формирования команды короткого перехода длиной в 2 байта. Если мы ошиблись, при трансляции будет выдана ошибка, подобная этой:
test.asm(94) : error A2075: jump destination too far : by 150 byte(s)
В файле test.asm на 94 строке находится инструкция jmp short, которая ссылается на метку до которой 127+150=277 байт. Необходимо убрать оператор SHORT с 94 строки или сократить код.
В некотрых случаях нужно наоборот принудительно сделать из jmp short jmp near используя лишние байты в целях выравнивания для того, что бы обойтись без дополнительных команд и тактов процессора.
Пример:

4000C4:E902000000	JMP L;ближний переход (5 байт)
4000C9:EB00	JMP SHORT L;короткий переход (2 байта)
4000CB:...	L:...

BIOS (Basic Input/Output System – базовая система ввода-вывода – программа, управляющая элементарными функциями компьютера). BIOS отвечает за то, как процессор взаимодействует с системной памятью, накопителями, дисплеем и клавиатурой. После включения или перезагрузки микропроцессор переходит по адресу, куда помещен BIOS и начинает выполнять команды BIOS'а. Это наталкивает на мысль, что для «мягкой» перезагрузки надо начать выполнять команды оттуда, откуда их начинает выполнять сам микропроцессор. Чтобы перезагрузить компьютер в реальном режиме понадобится программа длиной всего 8 байт, состоящая из одной команды jmp dword ptr reboot – переход туда, где лежит первая программа микропроцессора.
Единственная команда в вашей программе заставляет микропроцессор перейти по адресу, который находится в переменной reboot. Число 0FFFF0000h – это значение адреса, куда мы прыгаем. Именно по этому адресу микропроцессор считывает первую команду после включения или перезагрузки.Но 8 байт это еще не предел! Оказывается, можно написать и вдвое короче:
У этой полезнейшей программы длина всего 5 байт (это даже не ассемблер, а программирование в машинных кодах – просто нельзя написать напрямую jmp 0FFFF:0000h.
Эквиваленты команды jmp a1
Если переход осуществляется только при выполнении некоторого условия, то такой переход называется условным. Команды условного перехода применяют для проверки различных условий, возникающих в ходе выполнения программы.
Так как конструкция if ... then в языке ассемблера отсутствует, эту операцию приходится осуществлять в два этапа. Команда CMP сравнивает два числа, в результате чего соответствующим образом устанавливаются флаги в регистре EFLAGS/FLAGS (ZF, SF и т.д.). Для начала достаточно запомнить три основных состояния: меньше (below или less), больше (above или greater) и равно (equal). Семейство команд условного перехода Jcc проверяют код условия (cc – condition code) и если он истинный, совершают переход по указанному адресу. Например, переход по команде JE произойдет, если два числа равны (Jump if Equal), а переход по команде JNE – если неравны (Jump if Not Equal).
Команды JB/JA сравнивают числа без знака, а JL/JG – числа со знаком. Любые два не противоречащих друг другу условия могут быть скомбинированы друг с другом, например: JBE – переход, если одно беззнаковое число меньше или равно другому.
Кроме команды CMP сравнение можно выполнить командами TEST и CMPXCHG. Так же можно использовать команды AND, OR, SUB и т.п.
Синтаксис команды: CMP <DEST>,<SRC>
Семантика команды: сравнение двух операндов.
Возможные варианты команды:
cmp reg/mem,reg
cmp reg,mem
cmp reg/mem,imm
Алгоритм работы:

• выполнить вычитание DEST-SRC;
• в зависимости от результата установить флаги, операнд DEST и операнд SRC не изменять (то есть результат не запоминать).

Применение: данная команда используется для сравнения двух операндов методом вычитания, при этом операнды не изменяются. По результатам выполнения команды устанавливаются флаги. Команда CMP применяется с командами условного перехода Jcc, условной пересылки данных CMOVcc или условной установки байтов SETcc.Эквивалент команды CMP DEST, SRC:
push DEST
sub DEST,SRC
pop DEST
Эквиваленты команды cmp eax,10h, если по условию задачи можно
изменять значение в регистре EAX:
Если необходимо сравнить значение в регистре с нулем:
Если необходимо получить значение в переменной булевского типа (то есть FALSE(=0) или TRUE(=1)):
Обычно функции возвращают значение в EAX. Если нет необходимости сохранять значение в ECX тогдаСинтаксис команды: CMPXCHG <DEST>,<SRC>
Возможные варианты команды:
cmpxchg reg, reg
cmpxchg mem, reg
Семантика команды: сравнение значения, находящегося в аккумуляторе (регистр AL, AX или EAX) с операндом DEST(память или регистр). Если они равны, то содержимое операнда SRC (только регистр) загружается в операнд DEST. В противном случае операнд DEST загружается в аккумулятор.
псевдокод: IF {AL/AX/EAX} = DEST
THEN ZF 1 ;Set the zero flag
DEST := SRC
ELSE
ZF 0 ;Clear the zero flag
{AL/AX/EAX} := DEST
ENDIF
Команда CMPXCHG полезна при тестировании и модификации семафоров. Она выполняет проверку, чтобы посмотреть, свободен ли семафор и есть ли такая отметка, в противном случае команда получает идентификатор текущего владельца в одной непрерываемой операции. В системах с одним процессором она исключает необходимость переключения на уровень 0 для блокировки прерываний для выполнения многократных команд. Для многопроцессорных систем команда CMPXVHG может быть объединена с командой LOCK для выполнения всех циклов шины автоматически.Синтаксис команды: CMPXCHG8B m8byte
Семантика команды: выполнение в одной операции сравнения и обмен 8-байтовых операндов. Команда требует один операнд m8byte и неявным образом использует еще два операнда – пары регистров EDX:EAX и ECX:EBX. В качестве явного операнда команды m8byte может выступать только 64-битная (8-байтовая) ячейка памяти. Команда выполняет сравнение операнда m8byte в памяти с содержимым EDX:EAX. Если сравниваемые значения совпадают, то операнд DEST в памяти замещается 64-битным значением ECX:EBX. Если сравниваемые значения не совпадают, содержимое памяти поступает в пару регистров EDX:EAX, замещая сравниваемый операнд DEST.
Пример 1 Пример 2 При работе с многобайтовыми данными не следует забывать о том, что в памяти байты всегда выстраиваются в порядке их номеров, то есть от младших к старшим, в то время как при изображении чисел применяется обратный порядок. В то же время символьные строки изображаются так же, как они располагаются в памяти.
Пример 3 Пример 4

0