本文主要是介绍学习笔记-----浅谈汇编指令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。
这篇关于学习笔记-----浅谈汇编指令CMP运行机制的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!