No código assembly x86, são JE
e JNE
exatamente iguais a JZ
e JNZ
?
No código assembly x86, são JE
e JNE
exatamente iguais a JZ
e JNZ
?
Respostas:
JE
e JZ
são apenas nomes diferentes para exatamente a mesma coisa: um salto condicional quando ZF
(o sinalizador "zero") é igual a 1.
(Da mesma forma, JNE
e JNZ
são apenas nomes diferentes para um salto condicional quando ZF
é igual a 0.)
Você pode usá-los de forma intercambiável, mas deve usá-los dependendo do que está fazendo:
JZ
/ JNZ
são mais apropriados quando você está testando explicitamente se algo é igual a zero:
dec ecx
jz counter_is_now_zero
JE
e JNE
são mais apropriados após uma CMP
instrução:
cmp edx, 42
je the_answer_is_42
(Uma CMP
instrução realiza uma subtração e joga o valor do resultado fora, enquanto mantém os sinalizadores; é por isso que você obtém ZF=1
quando os operandos são iguais e ZF=0
quando não são.)
jb
/ jc
/ jnae
todos os testes CF = 1. Consulte felixcloutier.com/x86/jcc (ou cmovcc ou setcc)
No manual da Intel - Referência do conjunto de instruções , JE
e JZ
têm o mesmo opcode ( 74
para rel8 / 0F 84
para rel 16/32) JNE
e JNZ
( 75
para rel8 / 0F 85
para rel 16/32) compartilham opcodes.
JE
e JZ
ambos verificam o ZF
(ou sinalizador zero), embora o manual seja um pouco diferente nas descrições do primeiro uso de rel8 JE
e JZ
rel8 ZF
, mas basicamente eles são os mesmos.
Aqui está um extrato das páginas 464, 465 e 467 do manual.
Op Code | mnemonic | Description
-----------|-----------|-----------------------------------------------
74 cb | JE rel8 | Jump short if equal (ZF=1).
74 cb | JZ rel8 | Jump short if zero (ZF ← 1).
0F 84 cw | JE rel16 | Jump near if equal (ZF=1). Not supported in 64-bit mode.
0F 84 cw | JZ rel16 | Jump near if 0 (ZF=1). Not supported in 64-bit mode.
0F 84 cd | JE rel32 | Jump near if equal (ZF=1).
0F 84 cd | JZ rel32 | Jump near if 0 (ZF=1).
75 cb | JNE rel8 | Jump short if not equal (ZF=0).
75 cb | JNZ rel8 | Jump short if not zero (ZF=0).
0F 85 cd | JNE rel32 | Jump near if not equal (ZF=0).
0F 85 cd | JNZ rel32 | Jump near if not zero (ZF=0).
je : Jump if equal:
399 3fb: 64 48 33 0c 25 28 00 xor %fs:0x28,%rcx
400 402: 00 00
401 404: 74 05 je 40b <sims_get_counter+0x51>