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

pstate的nzcv标志位

比较指令

cmp: 比较两个数
cmn：负向比较(一个数与另一个数的二进制补码相比较)

cmp x1, x2 -->x1 - x2
cmn x1, x2 -->x1 + x2
1
2

测试代码：

/*
 * 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
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

运行结果如下：

条件选择指令

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
1
2
3
4
5
6
7

/*
 * 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
1
2
3
4
5
6
7
8
9
10
11
12

运行结果如下：

my_csel_test(3,6)
1

基本跳转指令

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
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

比较并跳转指令

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