跳转指令之：带状态切换的连接跳转指令BLX（2）

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

4．指令举例

调用Thumb子程序。

    CODE32 ;ARM代码

    ……

    BLX      TSUB ;调用Thumb子程序

    ……

    CODE16 ;Thumb代码开始

TSUB

    ……

    BX       r14 ;返回ARM状态