7. 分支指令

这些指令使执行跳转至通常由标记指定的目标位置（请参阅 label 汇编指令）。条件分支及 it 和 ite 指令测试应用程序状态寄存器（APSR）、N（负）、Z（零）、C（进位）和V（溢出）标志以确定是否应执行分支。

大多数公开的汇编程序指令（包括移动操作）会设置标志，但有明确的比对指令来允许测试值。

有关条件标志含义的更多细节，请参见描述比对函数的章节。

7.1. 文件规范

符号： Rm 表示ARM寄存器R0-R15。 LABEL 表示由 label() 汇编指令定义的标记。 <condition> 表示下列条件说明符之一:

• eq 相等（结果为0）

• ne 不相等

• cs 设置进位

• cc 清除进位

• mi 减（负）

• pl 加（正）

• vs 设置溢出

• vc 清除溢出

• hi > （无符号对比）

• ls <=（无符号对比）

• ge >=（有符号对比）

• lt <（有符号对比）

• gt >（有符号对比）

• le <=（有符号对比）

7.2. 分支到标签

• b(LABEL) 无条件转移

• beq(LABEL) 若相等则转移

• bne(LABEL) 若不相等则转移

• bge(LABEL) 如果大于等于则转移

• bgt(LABEL) 若大于则转移

• blt(LABEL) 若小于（<）（有符号）则转移

• ble(LABEL) 若小于等于（<=）（有符号）则转移

• bcs(LABEL) 若设置进位标志则转移

• bcc(LABEL) 若清除进位标志则转移

• bmi(LABEL) 若为负则转移

• bpl(LABEL) 若为正则转移

• bvs(LABEL) 若设置溢出标志则转移

• bvc(LABEL) 若清除溢出标志则转移

• bhi(LABEL) 若高于（无符号）则转移

• bls(LABEL) 若低于或相等（无符号）则转移

7.3. 长分支

以上列出的分支指令生成的代码使用固定位宽来指定与PC相关的转移目标。 因此，在分支指令远离其目标的长程序中，汇编程序将产生”分支不在范围内”的错误。这可以通过诸如”宽”这样的变量来克服

• beq_w(LABEL) 若相等则长分支

宽分支使用4字节来编码指令（标准分支指令为2字节）。

7.4. 子程序（函数）

输入子程序时，处理器将返回地址存储在寄存器r14中，也称为链接寄存器（lr）。通过从链接寄存器更新程序计数器（r15或pc），在执行子程序调用后返回该指令，此过程由以下指令处理。

• bl(LABEL)

将执行转移到 LABEL 之后的指令，并将返回地址存储在链接寄存器（r14）中。

• bx(Rm) 转移到由Rm指定的地址。

通常，发送 bx(lr) 以从子程序中返回。对于嵌套子程序，在执行内部子程序调用前，须保存外部范围的链接寄存器（通常在堆栈上）。