@Mikl___

Если проверяемое условие (или содержимое соответствующих флагов на момент выдачи команды SETcc) истинно, то установить значение операнда в 1, если условие ложно – то в 0.
Применение: эти команды можно использовать после любой команды, изменяющей флаги при необходимости анализа результата изменений, а использование команд CMP или TEST по каким-то причинам невозможно. В основном используются, чтобы избежать ветвлений. Если проанализировать условия для команд условного перехода, то обнаружится их полное соответствие с условиями, обрабатываемыми командой SETcc, за исключением, конечно, команды JCXZ.Два варианта следующей задачи: если EAX не меньше числа B, тогда EBX=C1 иначе EBX=C2

1. 
   

   Assembler
   1 2 3 4 5  mov ebx,C1 cmp eax,B jge label0 add ebx,C2-C1 label0:

2. Assembler
   1 2 3 4 5 6 xor ebx,ebx cmp eax,B setge bl dec ebx and ebx,(C1-C2) add ebx,C2

if (a<666h) zzz=100h else zzz=300h

1. 
   

   Assembler
   1 2 3 4 5 6 7 mov ecx,100h mov eax,[var_A] cmp eax,666h jl l_0 add ecx,200h mov [var_zzz],ecx l_0:

2. 
   

   Assembler
   1 2 3 4 5 6 7 8 9 10 mov eax,[var_A] xor ecx,ecx;ecx=0 cmp eax,666h ;if eax<666h SF=1 OF=1 else SF=0 OF=0 setge cl;if eax<666h cl=1 else cl=0 not ecx;if eax<666h ecx=-1 else ecx=0 and ecx,100h-300h ;ecx=0FFFFFE00h else ecx=0 add ecx,300h;if eax<666h ecx=100h else ecx=300h mov [var_zzz],ecx

установить переменную Bool=1 если A <= B иначе Bool=0
Так как результат выполнения инструкций setcc всегда 0 или 1 эти инструкции можно использовать совместно с логическими операциями AND, OR, XOR, NOT
установить переменную Bool=1 если условие ((A<=B) and (D=E)) or (F<>G) истинно
Так как выполнение инструкций setcc всегда устанавливает или сбрасывает восьмой бит результата, то, используя операции сдвига и вращения, можно в байт результата упаковать до восьми результатов разных инструкций сравнения:
Если подходить к командам условного перехода с позиции машинной кодировки команд, то четыре старших бита команды (для микропроцессора i8086) содержат код 7, а четыре младших бита команды обозначают условие операции. Условие задается в битах 1-3, а установка бита 0 приводит к его инверсии.Те же самые биты используются и при кодировке команд SETcc и CMOVcc (код операции F9 для команд SETcc и F4 для CMOVcc, кроме того в кодировке команд CMOVcc, как и в коде любой команды MOV, будут присутствовать биты режима, биты адреса регистра приемника и биты адреса регистра источника). Как видите, условий совсем немного, и проблем с их запоминанием обычно не возникает. Теперь уже не нужно мучительно вспоминать jz – это 74h или 75h. Так как младший бит команды равен нулю, то jz – это 74h, а jnz, соответственно, 75h.
Синтаксис команд:
CMOV<condition code> <DEST>,<SRC>
Возможные варианты команды:
cmovcc reg32,reg32
cmovcc reg32,[reg32]
cmovcc reg32,mem32
Семантика команды: передача данных из операнда SRC в операнд DEST при выполнении условий, определяемых состоянием соответствующих флагов.
Алгоритм работы: команды проверяют истинность условия, заданного в коде операции, то есть, фактически, состояние определенных флагов, и если условие выполняется (производится передача данных из операнда SRC в операнд DEST), то команда заканчивается без пересылки.
Псевдокод:
tempSRC
IF(64-Bit Mode)
THEN
IF condition TRUE
THEN
IF (OperandSize =64)
THEN
DESTtemp
ELSE
DESTtemp AND 0x0FFFFFFFF
ENDIF
ENDIF
ELSE
IF condition TRUE
THEN
DESTtemp
ENDIF
ENDIF
Команды условной пересылки данных

Команда	Проверяемые флаги	Логическое условие
CMOVA/ CMOVNBE	CF = 0 и ZF = 0	выше
CMOVAE/ CMOVNB/CMOVNC	CF = 0	выше или равно / нет переноса
CMOVB/CMOVNAE/ CMOVC	CF = 1	ниже / перенос
CMOVBE/ CMOVNA	CF = 1 или ZF = 1	ниже или равно
CMOVE/CMOVZ	ZF = 1	равно или ноль
CMOVG/ CMOVNLE	ZF = 0 или SF = OF	больше
CMOVGE/ CMOVNL	SF = OF	больше или равно
CMOVL/ CMOVNGE	SF?OF	меньше
CMOVLE/ CMOVNG	ZF=1 или SF ? OF	меньше или равно
CMOVNE/ CMOVNZ	ZF = 0	не равно или не ноль
CMOVNO	OF=0	нет переполнения
CMOVNP/ CMOVPO	PF = 0	нет контроля четности
CMOVNS	SF = 0	положительное число
CMOVO	OF = 1	Переполнение
CMOVP/ CMOVPE	PF = 1	контроль четности
CMOVS	SF = 1	отрицательное число

Выполнение команды пересылки CMOVcc на состояние флагов не влияет.
Применение: эти команды можно использовать после любой команды, изменяющей флаги, при необходимости анализа результата изменений. Это существенно повышает гибкость программирования на языке ассемблера, одновременно уменьшая объем кода за счет устранения команд сравнения и условного перехода.
;пересылка из регистра EAX в переменную mem32, если флаг ZF=1
cmove eax,mem32
Следующие последовательности эквивалентны:

test ecx,ecx jne a1 mov eax,ebx a1:

test ecx,ecx cmoveq eax,ebx

Команда CMOVEQ выполняет условную пересылку содержимого регистра EBX в EAX. Ветвление устраняется путем замены JNE и MOV на эту команду

Обработка команд в современных процессорах осуществляется поэтапно на основе конвейерного принципа. При обнаружении команды условного ветвления может оказаться что операция, определяющая соответствующее условие, еще не выполнена до конца. В этом случае невозможно определить, какая из ветвей программы будет выполняться дальше. До недавнего времени подобные ситуации приводили к тому, что обработка дальнейших команд приостанавливалась до момента вычисления условного перехода. Ввиду того, что длина конвейера может быть весьма велика, это приводило к значительным потерям производительности. Данная проблема может быть решена путем сбора статистической информации о том, исполнение какой ветви условного перехода более вероятно. Данная информация может быть получена, например, во время предыдущих проходов данного участка или кода из «подсказки», вставленном компилятором в исполнимый код. В этом случае процессор может продолжить обработку команд предсказанной ветви программы. В тот момент, когда становится доступным значение условного выражения, проверяется правильность предсказания. Если оно окажется неверным, результаты обработки ошибочно выбранных команд уничтожаются, и начинается обработка альтернативной ветви программы.
Это приводит к простою исполнительных блоков процессора. Таким образом, наихудшим вариантом является условный переход, обе ветви которого равновероятны.
Для всех рассматриваемых процессов приближение вероятности условного перехода к 0,5 приводит к двукратному снижению производительности. Это означает, что каждый неверно предсказанный переход приводит к увеличению времени выполнения соответствующих инструкций примерно в 4 раза.
В связи с этим целесообразно удалять операции условного перехода из часто выполняемых участков программы. Например, если переход выполняется для четных элементов некоторого массива, целесообразно создать два цикла, отдельно обрабатывающих четные и нечетные элементы.

Вернуться к обсуждению:
Электронный учебник Assembler

0