天天看点

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      

运行结果如下:

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, ==      

运行结果如下:

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      

比较并跳转指令