Для 16-ти разрядных процессоров все команды условного перехода реализуют короткий переход т.е. смещение будет в пределах 1 сегмента. Если это не подходит необходимо пользоваться двумя командами условного перехода вместе с командой JMP либо использовать 32-х разрядные процессоры. Базовых команд условного перехода всего 17, а всего 31. По условию перехода все команды делятся на 3 группы:
Первая группа команд условного перехода (Jx)
1. E - equal
2. N - Not
3. G - Greater (для знаковых)
4. L - Less (-||-)
5. A - Above (беззнаковые)
6. B - Below (-||-)
JL - переход если меньше. Эквивалент JNGE.
Разница в командах перехода для знаковых и беззнаковых данных - они реагируют на разные флаги.SF если для знаковых, на CF если беззнаковые. Условный переход для этой группы команд реализуется в 2 шага:
1. Сравнение - > результат сравнения в регистре флагов
2. Условная передача управления на команду с меткой в зависимости от содержимого флага
Чаще всего первая группа команд выполняется в паре с командой сравнения CMP Приемник, Источник
JCC Короткая_метка
Команды условного перехода 1й группы
ТАБЛИЦА
Условие сравнения (CMP) | Код команды/ синоним | Состояние флага |
Для любых чисел | Для любых чисел | Для любых чисел |
Приемник=Источник | JE | ZF=1 |
Приемник<>Источник | JNE | ZF=0 |
Для знаковых | Для знаковых | Для знаковых |
Примник<Источник | JL/JNGE | SF<>OF |
Приемник<=Источник | JLE/JNG | SF<>OF или ZF=1 |
Приемник>Источник | JG/JNLE | SF=OF и ZF=0 |
Приемник>=Источник | JGE/JNL | SF=OF |
Для беззнаковых | Для беззнаковых | Для беззнаковых |
Примник<Источник | JBE/JNAE | CF=1 |
Приемник<=Источник | JBE/JNA | CF=1 или ZF=1 |
Приемник>Источник | JA/JNBE | CF=0 и ZF=0 |
Приемник>=Источник | JAE/JNB | CF=0 |
Пример
Знаковые числа: int a, b
if(a==b) then FS=0
if(a<b) then FS=-1
if(a>b) then FS=1
беззнаковые числа: unsigned int
if(c==d) then FU=0
if(c<d) then FU=-1
if(c>d) then FU=1
ASM:
; signed
mov FS,0
mov ax,a
mov bx,b
CMP ax,bx
JL LESS;a<b
JG GREAT;a>b
JMP Continue
LESS: mov FS,-1
JMP Continue
GREAT: mov FS,1
;unsigned
Continue: mov FU,0;c=d
mov ax,c
mov bx,d
CMP ax,bx
JB BELOW;c<d
JA ABOVE;c>d
JMP Exit
Below: mov FU=-1
JMP Exit
Abow: mov FU,1
Exit: ret
Вторая группа команд условного перехода
Эта группа команд реагирует на то или иное значение определенного флага. По-этому в мнемоники этой группы команд всегда указывается первая буква проверяемого флага. Эти команды не требуют обязательного наличия команд сравнения. Им достаточно любой команды которая действует на нужный флаг.
КОМАНДЫ УСЛОВНОГО ПЕРЕХОДА ВТОРОЙ ГРУППЫ
Мнемокод | Состояние флага | Мнемокод | Состояние флага |
JZ/JE | ZF=1 | JNZ/JNE | ZF=0 |
JS | SF=1 | JNS | SF=0 |
JC/JB/JNAE | CF=1 | JNC/JNB/JAE | CF=0 |
JO | OF=1 | JNO | OF=0 |
JP | PF=1 | JNP | PF=0 |
Пример
Проверить на переполнение результат операции перемножения 2-х беззнаковых чисел a и b.
mov al,a
mul b
JC errormul; метка перехода в случае если a*b>255 -> CF=1
errormul: сообщение об ошибке
ТРЕТЯЯ ГРУППА КОМАНД УСЛОВНОГО ПЕРЕХОДА
JCXZ - переход если CX=0. Используют для организации циклов