Différence entre JE / JNE et JZ / JNZ

Dans le code d'assemblage x86, sont JEet JNEexactement les mêmes que JZet JNZ?

JEet JZsont juste des noms différents pour exactement la même chose: un saut conditionnel quand ZF(le drapeau "zéro") est égal à 1.

(De même, JNEet JNZsont juste des noms différents pour un saut conditionnel quand ZFest égal à 0.)

Vous pouvez les utiliser de façon interchangeable, mais vous devez les utiliser en fonction de ce que vous faites:

• JZ/ JNZsont plus appropriés lorsque vous testez explicitement quelque chose égal à zéro:

  dec  ecx
  jz   counter_is_now_zero
  

• JEet JNEsont plus appropriés après une CMPinstruction:

  cmp  edx, 42
  je   the_answer_is_42
  

  (Une CMPinstruction effectue une soustraction et rejette la valeur du résultat, tout en gardant les indicateurs; c'est pourquoi vous obtenez ZF=1lorsque les opérandes sont égaux et ZF=0quand ils ne le sont pas.)

Dans le manuel d'Intel - Instruction Set Reference , les JEet JZont le même opcode ( 74pour rel8 / 0F 84pour rel 16/32) aussi JNEet JNZ( 75pour rel8 / 0F 85pour rel 16/32) partagent des opcodes.

JEet JZils vérifient tous les deux le ZF(ou l'indicateur zéro), bien que le manuel diffère légèrement dans les descriptions de la première utilisation de JErel8 et JZrel8 ZF, mais fondamentalement ils sont les mêmes.

Voici un extrait des pages 464, 465 et 467 du manuel.

 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>