汇编跳转指令B、BL、BX、BLX 和 BXJ的区别

大家好，欢迎来到IT知识分享网。

跳转指令用于实现程序流程的跳转，在 ARM 程序中有两种方法可以实现程序流程的跳转：

(1) 使用专门的跳转指令。

(2) 直接向程序计数器 PC 写入跳转地址值。

通过向程序计数器 PC 写入跳转地址值，可以实现在 4GB 的地址空间中的任意跳转，在跳转之前结合使用

MOV LR ， PC

等类似指令，可以保存下一条指令地址作为将来的返回地址值，从而实现在 4GB 连续的线性地址空间的子程序调用。

专门的跳转指令

B、BL、BX、BLX 和 BXJ：

跳转、带链接跳转（带返回的跳转）、跳转并切换指令集、带链接跳转并切换指令集（带返回的跳转并切换指令集）、跳转并转换到 Jazelle 状态。

1、 B 指令

B 指令的格式为：

B{条件} 目标地址

B Label ；程序无条件跳转到标号 Label 处执行

CMP R1 ，＃ 0 ；当 CPSR 寄存器中的 Z 条件码置位时，程序跳转到标号 Label 处执行

BEQ Label

2、 BL 指令

BL 指令的格式为：

BL{条件} 目标地址

BL 是另一个跳转指令，但跳转之前，会在寄存器R14 中保存PC 的当前内容，因此，可以通过将R14 的内容重新加载到PC 中，来返回到跳转指令之后的那个指令处执行。该指令是实现子程序调用的一个基本但常用的手段。以下指令：

BL Label ；当程序无条件跳转到标号 Label 处执行时，同时将当前的 PC 值保存到 R14 中

3、 BLX 指令

BLX 指令的格式为：

BLX 目标地址

BLX 指令从ARM 指令集跳转到指令中所指定的目标地址，并将处理器的工作状态有ARM 状态切换到Thumb 状态，该指令同时将PC 的当前内容保存到寄存器R14 中。因此，当子程序使用Thumb 指令集，而调用者使用ARM 指令集时，可以通过BLX 指令实现子程序的调用和处理器工作状态的切换。

同时，子程序的返回可以通过将寄存器R14 值复制到PC 中来完成。

4、 BX 指令 

BX 指令的格式为：

BX{条件} 目标地址

BX 指令跳转到指令中所指定的目标地址，目标地址处的指令既可以是ARM 指令，也可以是Thumb指令。

总结

语法

其中：

op1

是下列项之一：

B

跳转。

BL

带链接跳转

BLX

带链接跳转并切换指令集。

op2

是下列项之一：

BX

跳转并切换指令集。

BLX

带链接跳转并切换指令集。

BXJ

跳转并转换为 Jazelle 执行。

cond

是一个可选的条件代码。 cond 不能用于此指令的所有形式。

.W

是一个可选的指令宽度说明符，用于强制要求在 Thumb-2 中使用 32 位 B 指令。

label

是一个程序相对的表达式。

Rm

是一个寄存器，包含要跳转到的目标地址。

操作

所有这些指令均会引发跳转，或跳转到 label，或跳转到包含在 Rm 中的地址处。 此外：

BL 和 BLX 指令可将下一个指令的地址复制到 lr（r14，链接寄存器）中。

BX 和 BLX 指令可将处理器的状态从 ARM 更改为 Thumb，或从 Thumb 更改为 ARM。

BLX label 无论何种情况，始终会更改处理器的状态。

BX Rm 和 BLX Rm 可从 Rm 的位 [0] 推算出目标状态：

如果 Rm 的位 [0] 为 0，则处理器的状态会更改为（或保持在）ARM 状态

如果 Rm 的位 [0] 为 1，则处理器的状态会更改为（或保持在）Thumb 状态。

BXJ 指令会将处理器的状态更改为 Jazelle

http://www.techbulo.com/535.html

http://luleimi.blog.163.com/blog/static/72/