JXX（条件跳转）指令是汇编语言中程序流程控制的核心。它们根据EFLAGS寄存器中的标志位状态决定是否跳转，是实现if、while、for等高级语言逻辑的基石。
一、核心概览：JXX指令如何工作
所有JXX指令都遵循同一模式：
JXX target_label ; 如果“XX”条件成立，则跳转到target_label处执行; 否则，继续执行下一条指令
跳转原理：通过修改EIP（指令指针）寄存器实现。条件跳转是相对跳转，其机器码编码的是与下一条指令的偏移量。
二、指令全集：按功能分类
1. 基于单个标志位的跳转
这类指令直接检查特定标志位。
| 指令 | 跳转条件 | 检查的标志 | 典型应用场景 |
|---|---|---|---|
JZ / JE |
等于零 / 相等 | ZF = 1 | 判断比较结果是否相等或运算结果是否为0。 |
JNZ / JNE |
不等于零 / 不相等 | ZF = 0 | 判断比较结果是否不相等或运算结果是否非0。 |
JC / JB / JNAE |
进位 / 低于 / 不高于等于 | CF = 1 | 无符号数比较：结果低于时跳转。检查加法进位/减法借位。 |
JNC / JNB / JAE |
无进位 / 不低于 / 高于等于 | CF = 0 | 无符号数比较：结果不低于时跳转。 |
JO |
溢出 | OF = 1 | 有符号数运算后检查是否发生溢出。 |
JNO |
无溢出 | OF = 0 | 确保有符号运算安全。 |
JS |
符号为负 | SF = 1 | 判断有符号数运算结果是否为负。 |
JNS |
符号为正 | SF = 0 | 判断有符号数运算结果是否非负（正或零）。 |
JP / JPE |
奇偶位为1（偶校验） | PF = 1 | 检查低8位中1的个数是否为偶数（现少用）。 |
JNP / JPO |
奇偶位为0（奇校验） | PF = 0 | 检查低8位中1的个数是否为奇数（现少用）。 |
2. 用于无符号数比较的跳转
比较两个无符号数后使用（如地址、位掩码）。
| 指令 | 跳转条件 | 等效的标志位检查 | 助记提示 |
|---|---|---|---|
JA / JNBE |
高于 | CF=0 且 ZF=0 | A(bove)：严格大于 |
JAE / JNB / JNC |
高于等于 | CF=0 | AE (Above or Equal) |
JB / JNAE / JC |
低于 | CF=1 | B(elow)：严格小于 |
JBE / JNA |
低于等于 | CF=1 或 ZF=1 | BE (Below or Equal) |
3. 用于有符号数比较的跳转
比较两个有符号数后使用（如正负整数）。
| 指令 | 跳转条件 | 等效的标志位检查 | 助记提示 |
|---|---|---|---|
JG / JNLE |
大于 | SF=OF 且 ZF=0 | G(reater)：严格大于 |
JGE / JNL |
大于等于 | SF=OF | GE (Greater or Equal) |
JL / JNGE |
小于 | SF≠OF | L(ess)：严格小于 |
JLE / JNG |
小于等于 | SF≠OF 或 ZF=1 | LE (Less or Equal) |
4. 特殊循环指令
为循环优化设计的指令，它们会自动递减ECX并判断。
| 指令 | 操作 | 等效的普通指令组合 |
|---|---|---|
JCXZ |
如果 CX=0 则跳转 | CMP CX, 0; JZ target |
JECXZ |
如果 ECX=0 则跳转 | TEST ECX, ECX; JZ target |
LOOP |
ECX=ECX-1；如果 ECX≠0 则跳转 | DEC ECX; JNZ target |
LOOPE / LOOPZ |
ECX=ECX-1；如果 ECX≠0 且 ZF=1 则跳转 | DEC ECX; JZ target (需结合之前的比较) |
三、核心应用模式与代码示例
模式1：条件分支（If-Else）
CMP EAX, EBX ; 比较 EAX 和 EBXJNE not_equal ; 如果不相等 (ZF=0)，跳转到 not_equal; === if 块开始：相等时执行的代码 ===MOV [result], 1JMP end_if ; 跳过 else 块; === if 块结束 ===
not_equal: ; else 块开始MOV [result], 0
end_if: ; 后续代码...
模式2：循环（While, For）
MOV ECX, 10 ; 循环计数器MOV ESI, OFFSET arrayMOV EAX, 0 ; 用于累加
while_loop:CMP ECX, 0JLE loop_end ; 如果 ECX <= 0，跳出循环ADD EAX, [ESI] ; 循环体：累加ADD ESI, 4DEC ECX ; 计数器减1JMP while_loop ; 继续循环
loop_end:; 更紧凑的写法（适用于已知正计数）MOV ECX, 10MOV ESI, OFFSET arrayMOV EAX, 0
for_loop:ADD EAX, [ESI]ADD ESI, 4LOOP for_loop ; 自动执行 DEC ECX; JNZ for_loop
模式3：三元运算符 / 选择最小值
CMP EAX, EBX ; 比较两个值JBE use_eax ; 如果 EAX <= EBX (无符号)，跳转MOV EAX, EBX ; 否则，将较小的EBX存入EAX
use_eax:; 此时 EAX 中保存的是最小值
四、选择正确指令的决策流程
面对多种条件跳转指令，可根据以下流程快速选择：
![[Pasted image 20251220143044.png]]
五、关键编程提示与常见陷阱
-
理解“高于”与“大于”的根本区别：
MOV AL, 0FFh ; 255 (无符号) 或 -1 (有符号) MOV BL, 1 CMP AL, BL JA is_above ; 会跳转，因为 255 > 1 (无符号) JG is_greater; 不会跳转，因为 -1 < 1 (有符号) -
跳转距离限制：大多数
JXX指令是短跳转，偏移量范围为 -128 到 +127 字节。如果目标太远，链接器会报错。解决方案：JZ short_label ; 短跳转（默认） JNE near_label ; 如果near_label较远，汇编器可能自动使用近跳转 ; 或强制使用远跳转（需要时） JMP FAR PTR far_label -
性能考量：
- 现代CPU使用分支预测。使最常执行的路径不跳转（
JXX不成立）通常有微小的性能优势。 - 连续的跳转指令（如
JZ label1; JMP label2）可考虑重组逻辑优化。
- 现代CPU使用分支预测。使最常执行的路径不跳转（
-
标志位安全：
JXX指令本身不影响任何标志位。但确保之前的指令正确设置了标志位：; 错误示例：MOV 不设置标志位 MOV EAX, EBX JZ label ; 永远跳转？不，ZF未被MOV改变！; 正确做法：使用影响标志的指令 CMP EAX, EBX ; 或 TEST EAX, EAX JZ label -
利用SETcc存储条件结果：
SETcc指令可将条件跳转的结果直接存入字节寄存器。CMP EAX, EBX SETG CL ; 如果 EAX > EBX (有符号)，则 CL=1，否则 CL=0