Первая группа команд условного перехода проверяет текущее состояние

регистра флагов.Затем в зависимости от кодов условия команда

делает переход (или не делает).Команды условного перехода не

устанавливают флаги, а только проверяют их текущее состояние.

Ранее рассмотренные арифметические и логические команды

устанавливают флаги.В последующих примерах предположим, что

команда сравнения CMP уже установила флаги.

На Фиг.4.29 показаны команды условного перехода и проверяемые

ими флаги. В строках рисунка перечислены команды условного

перехода, а в пяти колонках показано состояние флагов. Буква X в

любой позиции означает, что команда не проверяет флаг. Цифра 0

означает, что этот флаг должен быть сброшен, чтобы условие было

выполнено и переход произошел. Цифра 1 означает, что флаг должен

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

таблицы показывают выражение, которое должно быть истинно, чтобы

переход произошел. Так сделано для арифметических переходов, и мы

обсудим их далее более подробно.

На Фиг.4.29 условные переходы разделены на три группы:

непосредственно проверяющие один из флагов; делающие арифметическое

сравнение без знака; делающие арифметическое сравнение со знаком.

На Фиг.4.29а показана проверка отдельных флагов. Условный

переход может проверить каждый из этих пяти флагов непосредственно

на 0 или 1. Проверка флага переноса показана на рисунке в группе

арифметики без знака, поскольку она имеет еще и арифметический

смысл. Заметим, что многие команды условного перехода имеют более

одной мнемоники, если даже выполняется одна и та же проверка.

Например, проверку флага нуля осуществляет команда JZ (переход,

если результат операции равен нулю). Однако команда JE (переход,

если равно) также порождает ту же команду. Следующая

последовательность поясняет смысл этого:

CMP AX, BX

JE LABEL

Команда CMP вычитает содержимое регистра BX из содержимого

регистра AX, устанавливая флаги в соответствии с результатом. Так

как результат нулевой, если оба операнда равны, флаг нуля

показывает равенство. Аналогично, команда JNZ (переход, если не

нуль) идентичен команде JNE (переход, если не равно). Команда JP

(переход по четности) - то же самое, что и команда JPE (переход при

наличии четности); команда JNP (переход по нечетности) - то же

самое, что команда JPO (переход при отсутствии четности).

КомандыФлаги

условного

переходаOFCYZPSКомментарий

-------------------------------------------------------------------

JE/JZ XX1XX

JP/JPE XXX1X

JO 1XXXX

JS XXXX1

JNE/JNZ XX0XX

JNP/JPO XXX0X

JNO 0XXXX

JNS XXXX0

(a)

JL/JNGE aXXXba NEQ b

JLE/JNG aX1XbZ OR (A NEQ B)

JNL/JGE aXXXba = b

JNLE/JG aX0Xb(NOT Z) AND (a=b)

(b)

JB/JNAE/JCX1XXX

JBE/JNA X11XXCY OR Z

JNB/JAE/JNX0XXX

JNBE/JA X00XX(NOT CY) AND (NOT Z)

(c)

------------------------------------------------------------------

Фиг. 4.29 Проверка флагов перехода по условию. (a) Проверка флага

(b) Арифметика со знаком; (c) беззнаковая арифметика.

Следующую группу команд условного перехода на Фиг.4.29б

составляют арифметические сравнения со знаком. Существуют четыре

условия, которые могут быть проверены: меньше (JL), меньше или

равно (JLE), больше (JG), больше или равно (JGE). Другие четыре

мнемоники - отрицания этих четырех. В случае арифметики со знаком

ассемблер использует мнемонику в названии команд "меньше" (less) и

"больше" (greater). Далее мы увидим, что для арифметики без знака

ассемблер использует мнемонику "выше" (above) и "ниже" (below).

Арифметические выражения можно понять, используя их вместе с

командой CMP. Например,

CMPAX,BX

JLLABEL

Преход произойдет, если содержимое регистра AX меньше

содержимого регистра BX. Вы можете читать комбинацию команд

сравнения и условного перехода вместе, как один оператор: операнд

результата встречается первым, затем идет условный оператор, а за

ним следует исходный операнд. Другой пример:

CMPCX,WORD_IN_MEMORY

JNLELABEL

- можно прочитать так: "переход, если содержимое регистра CX не

меньше, чем, или равен содержимому ячейки памяти WORD_IN_MEMORY.

Этот прием можно использовать для определения значения любой команды

арифметического перехода, учитывающей знак или не учитывающей.

Как показано на Фиг.4.29б арифметические сравнения со знаком

проверяют одновременно несколько флагов. Фактически каждая из этих

команд проверяет некоторую комбинацию флагов переполнения, знака,

и, возможно, флага нуля. Например, в команде JL требуется, чтобы

флаги переполнения и знака имели разные значения. Если они имеют

одинаковое значение, первый операнд не был меньше второго.

Рассмотрим эту операцию несколько подробнее, чтобы понять работу

арифметических сравнений.

Когда сравниваются два числа со знаком, возможны четыре

комбинации флагов знака и переполнения. Рассмотрим каждую из

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

привело к данному результату. Предположим, что в каждом случае

флаги установила команда CMP, вычитавшая два операнда.

Знак S = 0, переполнение O = 0.

Условие S=0 означает, что результат вычитания положителен.

Условие O=0 означает, что переполнения не было, т.е. результат,

представленный в дополнительном коде, правильный. Вычитание двух

чисел, дающее положительный результат, показывает, что первое число

больше второго, и поэтому имеет место соотношение "больше". Однако

вычитание двух равных чисел также дает положительный результат, так

что условие S=0, O=0 означает "больше или равно".

S=1, O=0

В этом случае O=0 означает, что результат верен, а S=1 говорит

о том, что он отрицателен. Чтобы получить отрицательный результат,

большее число должно вычитаться из меньшего, и соотношение означает

"меньше".

S = 0, O = 1

Здесь O=1 показывает, что результат неверен, т.е. вышел за

пределы возможностей разрядной сетки. Это значит, что сложение двух

положительных чисел дало отрицательный результат или наоборот. В

данном случае это сравнение показывает, что знак результата

неверен; поэтому результат этого сравнения идентичен случаю, когда

S=1, O=0, что означает "меньше".

S = 1, O = 1

Снова O=1 говорит о том, что знак результата неверен. Поэтому

вычитание должно было привести к очень большому положительному

числу, и соотношение будет "больше или равно".

В некоторых случаях также учитывается флаг нуля. Например,

команда JLE выполняется, если условие есть "меньше" (знак и

переполнение разные) или "равно" (флаг нуля равен 1). Эти три флага

позволяют микропроцессору 8088 проверить все возможные комбинации

чисел со знаком.

Последняя часть таблицы (Фиг.4.29в) показывает условия,

проверяемые для арифметики без знака. Как и в случае арифметики со

знаком, существуют четыре возможные соотношения между операндами,

которые может проверить микропроцессор. Для того чтобы отличить

команды условного перехода ориентированные на беззнаковую

арифметику от знаковой арифметики, используются слова "выше" и

"ниже" в названии команд. Вероятно, этим выражается точка зрения

создателей набора команд, заключающаяся в том, что арифметика без

знака будет использоваться в программах для вычисления адресов, а

отрицательных адресов не бывает. "Выше" и "ниже" показывают

расположение значения адресов внутри адресного пространства, в то

время как "больше" и "меньше" говорит о соотношении чисел со

знаком. Здесь важно, что выполняется именно та команда, которая

указана в программе на языке ассемблера, независимо от типов

сравниваемых операндов. Например, программа сравнивает два числа со

знаком, а использует команду JA (переход, если выше).

Микропроцессор выполняет условный переход в зависимости от

соотношения двух чисел, считая их числами без знака, т.е. именно

программист обязан выбрать правильную команду условного перехода.

Микропроцессор 8088 при сравнении двух чисел без знака

учитывает только два флага. Флаг переноса показывает, какое из

чисел больше. Сравнение устанавливает флаг переноса, если первый

операнд ниже второго или сбрасывает флаг переноса, если первый

операнд либо выше, либо равен второму операнду, и флаг нуля

определяет, что в данном случае верно.

Сравнения без знака можно читать так же, как и сравнения со

знаком. Например,

CMPAX,BX

JALABEL

- переход на метку LABEL происходит, если регистр AX выше

регистра BX. Условный переход выполняется всегда, если объявленное

соотношение существует между первым и вторым операндами

предшествовавшей команды сравнения.