学习笔记-----浅谈汇编指令CMP运行机制

在汇编中，CMP和JMP指令常常用于比较操作，而且查看反汇编源码时也发现不管是.IF伪指令还是其他的底层都是用CMP实现的。

指令格式：

CMP 目的操作数，源操作数

计算机在遇到CMP指令的时候，CPU将目的操作数和源操作数做减法（即目的操作数-源操作数）从而根据运算结果修改标志位（如OF, CF , ZF, SF等）的值，然后接下来用相应的跳转指令来进行选择执行哪一段代码

另外，操作数有无符号是个头疼的事情，CPU并不能确定它运算的是有符号的减法还是无符号的减法，所以CPU会产生两套标志位。

由于我学的不是很深，下面只是简单的讨论一下CMP指令执行后标志位的结果（有错误请指出）

ZF: 置零标志位，当结果为0的时候ZF被赋值1

SF:负数标志位，当结果是负数的时候被赋值1

CF:进位/借位标志位，当最高位向它的上一位有借位或者进位的时候被赋值1

OF:溢出标志位，当有益处时（即运算结果超过了它的类型（如BYTE, WORD, DWORD）所能表示的范围）被赋值1

溢出的说明：两个正数相加，两个负数相加，正数减负数，负数减正数  都有可能溢出

      正数溢出变负数，负数溢出变正数

1：无符号数的比较

目的操作数 < 源操作数 ZF=0CF=1JB，JNAE

目的操作数 = 源操作数 ZF=1CF=0JE，JZ

目的操作数 > 源操作数 ZF=0CF=0JA，JNBE

2：有符号数的比较

目的操作数 < 源操作数 ZF=0SF=1OF=0JL

ZF=0 SF=0 OF=1

目的操作数 > 源操作数 ZF=0SF=0OF=0JG

ZF=0 SF=1 OF=1

目的操作数 = 源操作数 ZF=1JE

另外在之前一直对CMP指令和之后的跳转指令的顺序模糊不清，现在也记录一下

MOV EAX, 0

CMP EAX, VAL1

JBE FINISH

INC EAX

FINISH:

INC EAX

当比较EAX 和VAL1的值之后，

如果EAX <= VAL1 则跳转到FINISH将EAX加1，最后EAX=1.

如果EAX > VAL1 则不跳转 执行inc eax ,此时EAX=1, 随后CPU并不是跳过FINISH语句块，而是接着FINISH的语句继续执行，所以还会执行一个INC EAX,最后EAX=2

想说明的一点就是CPU的指令时按顺序一句一句执行的，除非遇到像JMP 或者CALL 之类的语句会实现跳转。上述例子中EAX > VAL1时没有实现跳转，所以依旧是一步一步继续执行。

所以如果想实现EAX和VAL1比较  大于则将eax赋值1，小于则不变，可以使用短路跳转法

CMP EAX, VAL1

JBE FINISH

MOV EAX, 1

FINISH:

...........

如果想要用JA的话

CMP EAX, VAL1

JA Larger

JMP FINISH            //此处需要告诉CPU跳过Larger语句 不执行大于时的操作

Larger:

MOV EAX,1

FINISH:

...........

就需要在JA跳转后直接跳过Larger, 因为如果没有JMP FINISH语句，当不满足JA（即EAX > VAL1) CPU会继续执行后面的语句Larger 所以最后不管EAX和VAL1的大小关系如何

EAX都被赋值1。