汇编跳转指令BBLBXBLX 和 BXJ的区别

Posted 2021-03-02 qiyuexin

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

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

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

 

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

MOV LR ， PC

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

 

专门的跳转指令

B、BL、BX、BLX 和 BXJ：

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

 

1、 B 指令

B 指令的格式为：

B{条件} 目标地址

 

B 指令是最简单的跳转指令。一旦遇到一个 B 指令，ARM 处理器将立即跳转到给定的目标地址，从那里继续执行。

注意存储在跳转指令中的实际值是相对当前PC 值的一个偏移量，而不是一个绝对地址，它的值由汇编器来计算（参考寻址方式中的相对寻址）。它是 24 位有符号数，左移两位后有符号扩展为 32 位，表示的有效偏移为 26 位(前后32MB 的地址空间)。以下指令：

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指令。

 

 

B、BL、BX、BLX 和 BXJ

跳转、带链接跳转、跳转并切换指令集、带链接跳转并切换指令集、跳转并转换到 Jazelle 状态。

语法

op1{cond}{.W} <wbr />label
 
op2{cond} <wbr />Rm

其中：

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

 

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