汇编学习之《jcc指令》

news2025/4/28 1:02:23

JCC（Jump on Condition Code）指的是条件跳转指令，c++中的就是if-else, while, for 等分支循环条件判断的逻辑。它包括很多指令集，各自都不太一样，接下来我尽量将每一个指令的c++ 源码和汇编代码结合起来看，加深学习映像。

学习这章之前还是要了解 EFL 标记寄存器的知识：汇编学习之《标志寄存器》-CSDN博客

以上标志寄存器部分重点看下 CF,ZF,SF,OF,PF.

理解下面的意思：

cmp x,y

x -y ==> 影响 CF, ZF 标记位

情况1 x == y , 计算结果是0，那么 ZF == 1

情况2 x > y, 计算结果不是0，那么 ZF == 0

情况3 x < y , 计算结果不是0，但是会发生错位，所以 ZF != 0 and CF == 1

JE/JZ (ZF ==1 )

测试：cmp + je ==> c++ != 运算

je: jump if equal

je: jump if zero

判断 ZF ==1 （cmp 计算的结果是0，两个值相等情况）

je 和 jz 在OD上是一样的，你可以尝试输入jz,但是OD会将其替换成JE

汇编代码

mov DWORD PTR [ebp-0xc], 0x1
mov DWORD PTR [ebp-0x10],0x2
mov eax,DWORD PTR [ebp-0xc]
cmp eax,DWORD PTR [ebp-0x10]
je 0x401661 <main()+81> //变量1 == 变量2则跳转走，c++代码就必须是变量1 != 变量2

我们解释下上面汇编的代码

第一行：分配了一个变量地址是ebp-0xc，并赋值是1

第二行：分配了一个变量地址是ebp-0x10，并赋值是2.

第三行：将第一个地址的值赋值给EAX 累计寄存器

第四行： EAX累计寄存器的值（也就是第一个变量的值）减去第二个变量的值。如果为0，则EFL的ZF标记就会被设置成1，否则为0

第五行：判断ZF标记是否是1，如果是则调整到main函数的0x401661位置，准备清理资源退出。

c++ 代码

这里可以对照这个c++代码

#include <iostream>

int main() {

// JE / ZF 比较相等

int a = 1; //mov DWORD PTR [ebp-0xc], 0x1

int b = 2; //mov DWORD PTR [ebp-0x10],0x2

//mov eax,DWORD PTR [ebp-0xc]
//cmp eax,DWORD PTR [ebp-0x10]

//je 0x401661 <main()+81>

if(a != b) {

std::cout << "a == b" << std::endl;

}

return 0;

}

上面的例子我们先看了汇编语言， 大家应该会发现一个问题，汇编中跳转的地方指令是je, 也就是比较的两个对象相等（cmp 指令结果是0， zf==1)情况就跳转走了。

JNE/JNZ (ZF == 0 使用c++ ==)

测试：cmp + jne/jnz => c++ == 运算

jne: jump if not equal

jnz: jump is not zero

就是判断 ZF == 0

jne/jnz 是满足zf ==0就跳转，也就是cmp运算结果不是0，也就是两个变量是一定不相等(a != b)就会跳转， c++分支想执行就必须是和a !=0 条件相反，那么c++ 代码就必须变成 a == 0

修改后c++ 代码

对应的汇编代码：

可以将JE/JZ 例子中的c++代码改成a == b 就可以看到了。

JB/JNAE/JC (CF == 1 )

测试：cmp + JB/JNAE/JC ==> c++ >= 运算

jb: jump if below （无符号比较低于）

jnae: jump not above or equal

jc: jump if is carry

判断 CF == 1

同以上汇编反向推导c++代码：

第一步：定义一个变量，赋值为2，我们定义变量名称为a

第二步：定义一个变量，赋值为1 我们定义变量名称为b

第三步：比较两个变量

但是怎么写呢？我先看看汇编指令是jb ,按照这个跳转指令的的规则，它是判断CF ==1。如果发生了进位或则错位， CF == 1那么就满足条件，就跳转到mian函数401661的地址处。

要满足这个要求，就必须是变量a小于变量b（a < b）,这样减法cmp计算才会发生借位。c++代码这里也就是一个判断条件，返回过来它是不希望跳转走，是希望顺序执行的，那么c++代码就必须和刚刚汇编跳转指令相反，也就是a < b相反，那么就是 a >= b

以下是c+代码

JNB / JAE / JNC (CF == 0)

测试：cmp + JNB / JAE / JNC == > c++ < 运算

jnb: jump if not below

jae: jump if above or equal

jnc: jump if not carry

判断 CF == 0

这就简单思考下，我c++代码要怎么改，才能验证 JNB/JAE的指令呢？

首先CF == 0, 说明 cmp 指令没有发生借位，也就是 a >= b 这种情况，那么就会跳转执行，我们c++代码要执行分支内的代码，就是不希望跳转走，所以就必须相反，那么就是和 a >= b条件相反，也就是a < b, 那么我改动代码验证下，看看c++代码条件比较语句变成a < b后，汇编指令是否是 JNB / JAE / JNC.

改动的c++ 代码