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

1,622次阅读

条件标志位	描述
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

运行结果如下：
ARM64 基础 7：A64 的比较和跳转指令

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)

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

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

正文完