ЛЕКЦИЯ 9. Команды условной передачи управления (JCC)

Команды условной передачи управления (JCC)

Для 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. Используют для организации циклов

Дата добавления: 2014-12-16