ARM条件码与CPSR标志位的关系——cmp MOVLS与MOVHI 指令

今天看到CMP，代码如下

MOV R0, #5
MOV R1, #6
CMP R0, R1
MOVLS R2, R0 ; if R0 < R1 则 将小值存入R2中

有个MOVLS与MOVHI 很是不解，经过查资料，原来是ARM条件码与CPSR标志位的关系。

 

CPSR中的Z, C, N, V标志位：

        

l           0000 = EQ - Z set (equal)

l           0001 = NE - Z clear (not equal)

l           0010 = CS - C set (unsigned higher or same)

l           0011 = CC - C clear (unsigned lower)

l           0100 = MI - N set (negative)

l           0101 = PL - N clear (positive or zero)

l           0110 = VS - V set (overflow)

l           0111 = VC - V clear (no overflow)

l           1000 = HI - C set and Z clear (unsigned higher)

l           1001 = LS - C clear or Z set (unsigned lower or same)

l           1010 = GE - N set and V set, or N clear and V clear (greater or equal)

l           1011 = LT - N set and V clear, or N clear and V set (less than)

l           1100 = GT - Z clear, and either N set and V set, or N clear and V clear (greater than)

l           1101 = LE - Z set, or N set and V clear, or N clear and V set (less than or equal)

l           1110 = AL - always

l           1111 = NV - never

 

MOVLS R2, R0 ; if R0 < R1 则 将小值存入R2中

在这个例子中，MOVLS 能够正确执行的条件C=0 and z=1 成立，是通过CMP设置了。

 

 

若执行指令后

ZF=1 这个简单，则说明两个数相等，因为zero为1说明结果为0

当无符号时：

若

CF=1 则说明了有进位或借位，cmp是进行的减操作，故可以看出为借位，所以，此时oprd1<oprd2

CF=0 则说明了无借位，但此时要注意ZF是否为0，若为0，则说明结果不为0，故此时oprd1>oprd2

当有符号时：

若SF=0，OF=0 则说明了此时的值为正数，没有溢出，可以直观的看出，oprd1>oprd2

若SF=1，OF=0 则说明了此时的值为负数，没有溢出，则为oprd1<oprd2

若SF=0，OF=1 则说明了此时的值为正数，有溢出，可以看出oprd1<oprd2

若SF=1，OF=1则说明了此时的值为负数，有溢出，可以看出oprd1>oprd2

最后两个可以作出这种判断的原因是，溢出的本质问题：

两数同为正，相加，值为负，则说明溢出

两数同为负，相加，值为正，则说明溢出

故有，正正得负则溢出，负负得正则溢出