pstate的nzcv标志位
| 条件标志位 | 描述 |
|---|---|
| N | 负数标志(上次运算结果为负值，则N=1,否则N=0) |
| Z | 上次运算结果为0 |
| C | 对于加法运算，无符号溢出，C=1, 其他不变 |
| V | 有符号溢出 |
| 条件码 | 后缀助记符 | 标志位 | 定义 |
|---|---|---|---|
| 0000 | EQ | Z=1 | 相等 |
| 0001 | NE | Z=0 | 不相等 |
| 0010 | CS/HS | C=1 | 无符号大于或者等于 |
| 0011 | CC/LO | C=0 | 无符号小于 |
| 0100 | MI | N=1 | 负值 |
| 0101 | PL | N=0 | 正值或0 |
| 0110 | VS | V=1 | 溢出 |
| 0111 | VC | V=0 | 无溢出 |
| 1000 | HI | C=1且Z=0 | 无符号大于 |
| 1001 | LS | C=0或Z=1 | 无符号小于或等于 |
| 1010 | GE | N和V相同 | 有符号大于或等于 |
| 1011 | LT | N和V不同 | 有符号小于 |
| 1100 | GT | Z=0且N等于V | 有符号大于 |
| 1101 | LE | Z=1或N不等于V | 有符号小于或等于 |
| 1110 | AL | 默认 | 无条件 |
| 1111 | NV | 无条件 |
比较指令
cmp: 比较两个数
cmn：负向比较(一个数与另一个数的二进制补码相比较)
cmp x1, x2 -->x1 - x2
cmn x1, x2 -->x1 + x2
测试代码：
/*
* compare lab01:test cmp and cmn
*/
.global my_cmp_cmn_test
my_cmp_cmn_test:
mov x1, 1
mov x2, -3
1:
cmn x1,x2
add x2, x2, 1
mrs x0,nzcv
b.mi 1b //MI:负数
2:
cmp x2,x1
add x1,x1,1
mrs x0, nzcv
b.cs 2b //cs:无符号大于等于
ret
运行结果如下：
条件选择指令
CSEL: 条件选择指令
CSET:条件置位指令
CSINC:条件选择并增加指令
/*
* cond = true, Xd = Xn
* cond = flase, Xd = Xm
*/
CSEL Xd, Xn, Xm, cond
CSEL Xd, cond //cond=true, return 1; or return 0
/*
* compare lab2:
*/
.global my_csel_test
my_csel_test:
cmp x0,0
sub x2, x1, 1
add x3, x1, 2
csel x4, x3, x2, eq //eq, ==
mov x0, x4
ret
运行结果如下：
基本跳转指令
b: 无条件跳转，不返回；范围PC+/-128MB
b.cnd: 有条件跳转，不返回； 范围pc+/-1MB
bx: 跳转到寄存器指定的地址处，不返回
带返回地址的跳转指令
bl: 带返回地址(PC+4–>x30), 适用于调用子函数
返回地址：保存在X30中，父函数的PC+4
跳转范围：PC +/- 128MB
blx:跳转到寄存器指定地址处，返回地址（父函数PC+4）保存在X30
RET： 从子函数返回
ERET:从当前异常模式返回，通常用于模式切换
从当前的一场模式返回，它会从SPSR中恢复PSTATE, 从ELR中获取跳转地址，并返回该地址；
测试代码：
/*
* compare lab2:
*/
.global my_csel_test
my_csel_test:
cmp x0,0
sub x2, x1, 1
add x3, x1, 2
csel x4, x3, x2, eq //eq, ==
mov x0, x4
ret
/*
* bl
*/
.global my_bl_test
my_bl_test:
mov x8, x30
mov x0, 1 // 函数嵌套调用，会冲掉x30里保存的返回地址，这里先做备份，在推出本函数时，恢复x30
mov x1, 3
bl my_csel_test
mov x30,x8
ret
比较并跳转指令
cbz: xt寄存器是否为0，为0则跳转到label处，跳转范围+/1 1MB
cbnz: xt寄存器是否为0，不为0则跳转到label处，跳转范围+/1 1MB
tbz: 测试寄存器中某位是否为0，为0则跳转到label处，跳转范围+/1 32KB
tbnz: 测试寄存器中某位是否为0，为0则跳转到label处，跳转范围+/1 32KB