Инструкции по сборке JNZ и CMP

JNZ - это сокращение от «Прыгать, если не ноль (ZF = 0)», и НЕ «Прыгать, если ZF установлен».

Если что-то проще запомнить, считайте, что JNZ и JNE (прыжок, если не равны) эквивалентны. Следовательно, когда вы выполняете cmp al, 47 и содержимое AL равно 47, ZF устанавливается, следовательно, переход (если Not Equal - JNE) не должен выполняться.

Я сделаю здесь более широкий ответ.

Вообще говоря, в x86 есть два типа условных переходов:

1. Арифметические прыжки - например, JZ (прыжок, если ноль), JC (прыжок, если перенос), JNC (прыжок, если не перенос) и т. Д.

2. Сравнительные прыжки - JE (прыжок, если равен), JB (прыжок, если ниже), JAE (прыжок, если выше или равный) и т. Д.

Итак, используйте первый тип только после арифметических или логических инструкций:

sub  eax, ebx
jnz  .result_is_not_zero 

and  ecx, edx
jz   .the_bit_is_not_set

Используйте вторую группу только после инструкций CMP:

cmp  eax, ebx
jne  .eax_is_not_equal_to_ebx

cmp  ecx, edx
ja   .ecx_is_above_than_edx

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

Обратите внимание, что иногда эти инструкции на самом деле являются синонимами. JZ == JE; JC == JB; JNC == JAE и так далее. Полная таблица приведена ниже. Как видите, есть только 16 инструкций условного перехода, но 30 мнемоник - они предназначены для создания более читаемого исходного кода:

Mnemonic        Condition tested  Description  

jo              OF = 1            overflow 
jno             OF = 0            not overflow 
jc, jb, jnae    CF = 1            carry / below / not above nor equal
jnc, jae, jnb   CF = 0            not carry / above or equal / not below
je, jz          ZF = 1            equal / zero
jne, jnz        ZF = 0            not equal / not zero
jbe, jna        CF or ZF = 1      below or equal / not above
ja, jnbe        CF and ZF = 0      above / not below or equal
js              SF = 1            sign 
jns             SF = 0            not sign 
jp, jpe         PF = 1            parity / parity even 
jnp, jpo        PF = 0            not parity / parity odd 
jl, jnge        SF xor OF = 1     less / not greater nor equal
jge, jnl        SF xor OF = 0     greater or equal / not less
jle, jng    (SF xor OF) or ZF = 1 less or equal / not greater
jg, jnle    (SF xor OF) or ZF = 0 greater / not less nor equal 

Сначала кажется, что JNZ означает прыжок, если не ноль (0), как в прыжке, если нулевой флаг равен 1 / установлен.

Но на самом деле это означает прыжок (если) не ноль (установлен).

Если 0 = не установлено, а 1 = установлено, просто помните:
JNZ Перескакивает, если нулевой флаг не установлен (0)

JNZ     Jump if Not Zero    ZF=0

Действительно, это сбивает с толку.

Чтобы облегчить понимание, замените Not Zero на Not Set. (Обратите внимание, это для вашего собственного понимания)

Следовательно,

JNZ     Jump if Not Set     ZF=0

Not Set означает, что флаг Z = 0. Итак, Jump (Перейти, если не установлен)

Установить означает флаг Z = 1. Итак, НЕ прыгайте.

Вы можете читать JNE / Z как *

J ump, если статус N не установлен на флаге E qual / Z ero

Не задано - это состояние, когда флаг равенства / нуля в ЦП установлен в 0, что происходит только тогда, когда условие выполнено или равно совпадению.