8.4 带状态切换的连接跳转指令BLX(2)
1.指令编码格式
带连接和状态切换的跳转指令BLX(Branch with Link Exchange)使用一个寄存器中的绝对地址,用于使程序跳转到Thumb状态或从Thumb状态返回。该指令用分支寄存器的最低位来更新CPSR中的T位,将返回地址写入到连接寄存器LR中。
指令编码格式如图8.4所示。
图8.4 BLX(2)指令编码格式
2.语法格式
BLX{<cond>} <Rm>
① <cond>
为指令编码中的条件域。它指示指令在什么条件下执行。当<cond>忽略时,指令为无条件执行(cond=AL(Alway))。
② <Rm>
寄存器Rm指定转移目标,Rm的第0位拷贝到CPSR中的T位,bit[31∶0]移入PC。
· 如果Rm的bit[0]=1,则跳转时自动将CPSR中的标志位T置位,即把目标地址的代码解释为Thumb代码。
· 如果Rm的bit[0]=0,则跳转时自动将CPSR中的标志位T复位,即把目标地址代码解释为ARM代码。
3.指令操作的伪代码
指令操作的伪代码如下面程序段所示。
If ConditionPass{cond} then
LR = address of the instruction after the branch instruction
T Flag=Rm[0]
PC=Rm AND 0xfffffffe
注意 |
在这种情况下,如果Rm的bit[1∶0]=0b10,指令的执行结果不可预知,因为这将导致在ARM状态下非对齐的字访问。 |
4.指令举例
调用Thumb子程序。
CODE32 ;ARM代码
……
BLX TSUB ;调用Thumb子程序
……
CODE16 ;Thumb代码开始
TSUB
……
BX r14 ;返回ARM状态
注意 |
(1)一些不支持Thumb指令集的ARM处理器将捕获这些指令,允许软件仿真Thumb指令。 (2)只有实现ARMv5版本以上的处理器支持BLX指令的两种格式。 |