汇编语言 CMP指令
CMP(比较)指令执行从目的操作数中减去源操作数的隐含减法操作，并且不修改任何操作数。
指令格式：
CMP 目的操作数, 源操作数
标志位 当实际的减法发生时，CMP指令按照计算结果修改溢出、符号、零、进位、辅助进位和奇偶标志位。如果比较的是两个无符号数，则零标志位和进位标志位表示的两个操作数之间的关系如下表所示：
| CMP结果 | ZF | CF |
|---|---|---|
| 目的操作数 ＜ 源操作数 | 0 | 1 |
| 目的操作数 ＞ 源操作数 | 0 | 0 |
| 目的操作数 = 源操作数 | 1 | 0 |
如果比较的是两个有符号数，则符号标志位、零标志位和溢出标志位表示的两个操作数之间的关系如下表所示：
| CMP结果 | 标志位 |
|---|---|
| 目的操作数 ＜ 源操作数 | SF ≠ OF |
| 目的操作数 ＞ 源操作数 | SF = OF |
| 目的操作数 = 源操作数 | ZF = 1 |
CMP指令是创建条件逻辑结构的重要工具。当在条件跳转指令中使用CMP时，汇编语言的执行结果就和IF语句一样。
以下是目的操作数 ＜ 源操作数的举例：
; ZF CF
mov ax, 5
cmp ax, 10 ; 0 1
以下是目的操作数 = 源操作数的举例：
; ZF CF
mov ax, 1000
mov cx, 1000
cmp cx, ax ; 1 0
以下是目的操作数 > 源操作数的举例：
;ZF CF
mov ax, 105
cmp ax, 0 ;0 0
使用CMP指令统计data 段中数值为8的字节个数，用ax保存统计结果。
; 1.编程 统计data 段中数值为8的字节个数，用ax保存统计结果
assume cs:code, ds:data, ss:stack
data segment
db 8, 11, 8, 1, 8, 5, 63, 38
data ends
stack segment stack
db 128 dup(0)
stack ends
code segment
start: mov ax, stack
mov ss,ax
mov sp, 128
call init_reg
call get_eight
mov ax, 4C00H
int 21H
;============================================
get_eight:
mov si,0
mov cx, 8
mov ax, 0
getEight: cmp byte ptr ds:[si], 8
jne nextNumber
inc ax
nextNumber: inc si
loop getEight
ret
;===============================================
init_reg:
mov bx, data
mov ds, bx
ret
code ends
end start
使用 CMP指令 统计data 段中数值大于8的字节个数，用ax保存统计结果
; 2.编程 统计data 段中数值大于8的字节个数，用ax保存统计结果
assume cs:code, ds:data, ss:stack
data segment
db 8, 11, 8, 12, 8, 5, 63, 38
data ends
stack segment stack
db 128 dup(0)
stack ends
code segment
start: mov ax, stack
mov ss,ax
mov sp, 128
call init_reg
call get_eight
mov ax, 4C00H
int 21H
;============================================
get_eight:
mov si,0
mov cx, 8
mov ax, 0
getEight: cmp byte ptr ds:[si], 8
jna nextNumber ; ja > na <=
inc ax
nextNumber: inc si
loop getEight
ret
;===============================================
init_reg:
mov bx, data
mov ds, bx
ret
code ends
end start
| CMP ax, bx | 修改标志位 | 符号描述 |
|---|---|---|
| ax = bx | ZF = 1 | 相等 |
| ax != bx | ZF = 0 | 不相等 |
| ax < bx | CF = 1 | 小于 |
| ax >= bx | CF = 0 | 大于等于 |
| ax > bx | CF = 0 并且 ZF = 0 | 大于 |
| ax <= bx | CF = 1 或者 ZF = 1 | 小于等于 |
基于有符号的举例：
mov al, 1
mov bl, 2
cmp al, bl → 推理出来 al < bl
sub al, bl → 影响标志位 1 - 2 = -1 SF 符号标志位置1
mov al, 22H → 34 34 - (-96) = 140 -128 ~ 127
mov bl, A0H -96
sub al, bl → OF标志位 和 SF标志位 溢出标志位置1 符号标志位置1
mov al, 8AH -118 - 112 = - 230 溢出 1A 正数
mov bl, 70H
cmp al, bl OF = 1 SF = 0 溢出标志位置1 符号标志位置0
总结：基于有符号比较
设 cmp al, bl
如果 SF = 1 OF = 0
那么 al < bl
如果SF = 1 OF =1
那么 al > bl
如果 SF = 0 OF = 1
因为 SF = 0
不等式应该为 al - bl > 0 al > bl
当OF = 1 成立时，那么
al < bl
如果SF = 0 OF = 0
那么 al - bl > 0
得到 al > bl
如果因为溢出导致了实际结果为负，那么逻辑上真正的结果必然为正。
如果因为溢出导致了实际结果为正，那么逻辑上真正的结果必然为负。
基于无符号数比较的跳转
| 助记符 | 说明 |
|---|---|
| JB | 小于跳转 |
| JNB | 不小于跳转 |
| JNBE | 不小于或等于跳转 |
| JA | 大于跳转 |
| JNA | 不大于跳转 |
| JNAE | 不大于或等于跳转 |
基于相等性的跳转
| 助记符 | 说明 |
|---|---|
| JE | 相等跳转 |
| JNE | 不相等跳转 |
| JCXZ | CX = 0 跳转 |
| JECXZ | ECX = 0 跳转 |
| JRCXZ | RCX = 0 跳转（64模式） |
基于有符号数比较的跳转
| 助记符 | 说明 |
|---|---|
| JG | 大于跳转 |
| JL | 小于跳转 |
| JNLE | 不小于或等于跳转 |
| JNGE | 不大于活等于跳转 |
| JGE | 大于或等于跳转 |
| JLE | 小于或等于跳转 |
| JNL | 不小于跳转 |
| JNG | 不大于跳转 |
基于进位和零标志位的跳转
| 助记符 | 说明 |
|---|---|
| JC | 进位跳转（进位标志位置1） |
| JNC | 无进位跳转（进位标志位清零） |
| JZ | 为零跳转（零标志位置1） |
| JNZ | 非零跳转（零标志位清零） |