ARM64基础7：A64的比较和跳转指令

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

运行结果如下：

my_csel_test(3,6)

基本跳转指令

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