Assembly – JG/JNLE/JL/JNGE after CMP

When you do a cmp a,b, the flags are set as if you had calculated a - b.

Then the jmp-type instructions check those flags to see if the jump should be made.

In other words, the first block of code you have (with my comments added):

cmp al,dl     ; set flags based on the comparison
jg label1     ; then jump based on the flags

would jump to label1 if and only if al was greater than dl.

You’re probably better off thinking of it as al > dl but the two choices you have there are mathematically equivalent:

al > dl
al - dl > dl - dl (subtract dl from both sides)
al - dl > 0       (cancel the terms on the right hand side)

You need to be careful when using jg inasmuch as it assumes your values were signed. So, if you compare the bytes 101 (101 in two’s complement) with 200 (-56 in two’s complement), the former will actually be greater. If that’s not what was desired, you should use the equivalent unsigned comparison.

See here for more detail on jump selection, reproduced below for completeness. First the ones where signed-ness is not appropriate:

+--------+------------------------------+-------------+--------------------+
|Instr   | Description                  | signed-ness | Flags              |
+--------+------------------------------+-------------+--------------------+
| JO     | Jump if overflow             |             | OF = 1             |
+--------+------------------------------+-------------+--------------------+
| JNO    | Jump if not overflow         |             | OF = 0             |
+--------+------------------------------+-------------+--------------------+
| JS     | Jump if sign                 |             | SF = 1             |
+--------+------------------------------+-------------+--------------------+
| JNS    | Jump if not sign             |             | SF = 0             |
+--------+------------------------------+-------------+--------------------+
| JE/    | Jump if equal                |             | ZF = 1             |
| JZ     | Jump if zero                 |             |                    |
+--------+------------------------------+-------------+--------------------+
| JNE/   | Jump if not equal            |             | ZF = 0             |
| JNZ    | Jump if not zero             |             |                    |
+--------+------------------------------+-------------+--------------------+
| JP/    | Jump if parity               |             | PF = 1             |
| JPE    | Jump if parity even          |             |                    |
+--------+------------------------------+-------------+--------------------+
| JNP/   | Jump if no parity            |             | PF = 0             |
| JPO    | Jump if parity odd           |             |                    |
+--------+------------------------------+-------------+--------------------+
| JCXZ/  | Jump if CX is zero           |             | CX = 0             |
| JECXZ  | Jump if ECX is zero          |             | ECX = 0            |
+--------+------------------------------+-------------+--------------------+

Then the unsigned ones:

+--------+------------------------------+-------------+--------------------+
|Instr   | Description                  | signed-ness | Flags              |
+--------+------------------------------+-------------+--------------------+
| JB/    | Jump if below                | unsigned    | CF = 1             |
| JNAE/  | Jump if not above or equal   |             |                    |
| JC     | Jump if carry                |             |                    |
+--------+------------------------------+-------------+--------------------+
| JNB/   | Jump if not below            | unsigned    | CF = 0             |
| JAE/   | Jump if above or equal       |             |                    |
| JNC    | Jump if not carry            |             |                    |
+--------+------------------------------+-------------+--------------------+
| JBE/   | Jump if below or equal       | unsigned    | CF = 1 or ZF = 1   |
| JNA    | Jump if not above            |             |                    |
+--------+------------------------------+-------------+--------------------+
| JA/    | Jump if above                | unsigned    | CF = 0 and ZF = 0  |
| JNBE   | Jump if not below or equal   |             |                    |
+--------+------------------------------+-------------+--------------------+

And, finally, the signed ones:

+--------+------------------------------+-------------+--------------------+
|Instr   | Description                  | signed-ness | Flags              |
+--------+------------------------------+-------------+--------------------+
| JL/    | Jump if less                 | signed      | SF <> OF           |
| JNGE   | Jump if not greater or equal |             |                    |
+--------+------------------------------+-------------+--------------------+
| JGE/   | Jump if greater or equal     | signed      | SF = OF            |
| JNL    | Jump if not less             |             |                    |
+--------+------------------------------+-------------+--------------------+
| JLE/   | Jump if less or equal        | signed      | ZF = 1 or SF <> OF |
| JNG    | Jump if not greater          |             |                    |
+--------+------------------------------+-------------+--------------------+
| JG/    | Jump if greater              | signed      | ZF = 0 and SF = OF |
| JNLE   | Jump if not less or equal    |             |                    |
+--------+------------------------------+-------------+--------------------+

Related Posts:

  1. Difference between JA and JG in assembly
  2. x86 Assembly pointers
  3. JNZ & CMP Assembly Instructions
  4. Assembly Language – How to do Modulo?
  5. `js` and `jb` instructions in assembly
  6. What’s the purpose of the LEA instruction?
  7. Understanding cmp instruction
  8. What does the MOVZBL instruction do in IA-32 AT&T syntax?
  9. What’s the purpose of the LEA instruction?
  10. need help understanding the movzbl call in this function
  11. How to move ST(0) to EAX?
  12. The point of test %eax %eax
  13. Assembly: How does fld st(0) duplicates the top stack value in the following code?
  14. What does the MOVZBL instruction do in IA-32 AT&T syntax?
  15. What’s the purpose of the LEA instruction?
  16. The difference between cmpl and cmp
  17. x86 cmpl and jne
  18. What is the function of the push / pop instructions used on registers in x86 assembly?
  19. What is callq instruction?
  20. Display value found at given address gdb
  21. Purpose of ESI & EDI registers?
  22. What are the ESP and the EBP registers?
  23. IDIV operation in assembly (understanding)
  24. Understanding %rip register in intel assembly
  25. movq assembly function
  26. explanation about push ebp and pop ebp instruction in assembly
  27. x86 assembly: How does the ‘subl’ command work in AT&T syntax
  28. what does the cmpq instruction do?
  29. Purpose of ESI & EDI registers?
  30. xorl %eax – Instruction set architecture in IA-32
  31. Bubble sort on array on Assembly Language
  32. Nasm Error: invalid combination of opcode and operands
  33. When and why do we sign extend and use cdq with mul/div?
  34. Which variable size to use (db, dw, dd) with x86 assembly?
  35. How do AX, AH, AL map onto EAX?
  36. X86 assembly – Handling the IDIV instruction
  37. pop or add esp, 4 ? What is the difference?
  38. What is the difference between MOV and LEA?
  39. What is the difference between Trap and Interrupt?
  40. `testl` eax against eax?
  41. Difference between JE/JNE and JZ/JNZ
  42. Printing out a number in assembly language?
  43. What does `dword ptr` mean?
  44. Difference between JA and JG in assembly
  45. what does the the dword operand do in assembly
  46. error A2022: instruction operands must be the same size
  47. What does the LEAL assembly instruction do?
  48. [Binary Bomb – Phase 4
  49. How does the ARM architecture differ from x86? [closed]
  50. Difference between masm32 and masm?
  51. Is it possible to “decompile” a Windows .exe? Or at least view the Assembly?
  52. assembly “mov” instruction
  53. Why is Windows 32-bit called Windows x86 and not Windows x32?
  54. Assembly code vs Machine code vs Object code?
  55. ARM Assembler – How do I use CMP, BLT and BGT?
  56. MIPS: lw (load word) instruction
  57. What is the meaning of XOR in x86 assembly?
  58. C to assembly – leaq instruction
  59. What does the BEQ instruction do exactly?
  60. What’s the size of a QWORD on a 64-bit machine?
  61. MIPS assembly for a simple for loop
  62. what does .space do in mips?
  63. While, Do While, For loops in Assembly Language (emu8086)
  64. mips .word function and differences between 2 codes
  65. Why doesn’t there exists a subi opcode for MIPS?
  66. Convert C program into assembly code
  67. What exactly does the lb instruction do?
  68. lc3 LDR instruction and the value stored
  69. What does movslq do?
  70. Assembly language je jump function
  71. what is the use of ori in this part of MIPS code?
  72. Storing a user’s input in MIPS
  73. Integer absolute value in MIPS?
  74. MIPS Assembly – lui $t0, 4097?
  75. Difference between “move” and “li” in MIPS assembly language
  76. Greater than, less than equal, greater than equal in MIPS
  77. Assembly addq clarification
  78. Assembly x86 – “leave” Instruction
  79. MIPS program jr $ra instructions and stack handling
  80. How can one see content of stack with GDB?
  81. Assembly language (MIPS) difference betweent addi and add
  82. MIPS Address out of range (MARS)
  83. How do I compile the asm generated by GCC?
  84. sorting array in mips (assembly)
  85. what is a file handle and where it is useful for a programmer?
  86. How does `Skipcond` work in the MARIE assembly language?
  87. Do all 64 bit intel architectures support SSSE3/SSE4.1/SSE4.2 instructions?
  88. What are callee and caller saved registers?
  89. Multiplication by a power of 2 using Logical shifts in MIPS assembly
  90. MIPS instruction and machine code
  91. Convert from Java to MIPS
  92. Understanding Assembly MIPS .ALIGN and Memory Addressing
  93. What’s the difference between a word and byte?
  94. MIPS to C Translation
  95. Difference between movq and movabsq in x86-64
  96. GDB no such file or directory
  97. What is between ESP and EBP?
  98. What is the jmpq command doing in this example
  99. Assembly – JZ instruction after CMP
  100. What does bx lr do in ARM assembly language?

Leave a Comment