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

admin

        8.3  带状态切换的连接跳转指令BLX（1）

        1．指令编码格式

        带连接和状态切换的跳转指令BLX（Branch with Link Exchange）使用标号，用于使程序跳转到Thumb状态或从Thumb状态返回。该指令为无条件执行指令，并用分支寄存器的最低位来更新CPSR中的T位，将返回地址写入到连接寄存器LR中。
         
        指令编码格式如图8.3所示。

       

        图8.3  BLX(1)指令编码格式

         
        2．语法格式

        BLX  <target_add>
         
        其中，<target_add>为指令的跳转目标地址。该地址根据以下规则计算。
         
        ① 将指令中指定的24位偏移量进行符号扩展，形成32位立即数。
        ② 将结果左移两位。
        ③ 位H（bit[24]）加到结果地址的第一位（bit[1]）。
        ④ 将结果累加进程序计数器PC中。
         
        计算偏移量的工作一般由ARM汇编器来完成。这种形式的跳转指令只能实现±32MB空间的跳转。
         
        左移两位形成字偏移量，然后将其累加进程序计数器PC中。这时，程序计数器的内容为BX指令地址加8字节。位H（bit[24]）也加到结果地址的第一位（bit[1]），使目标地址成为半字地址，以执行接下来的Thumb指令。计算偏移量的工作一般由ARM汇编器来完成。这种形式的跳转指令只能实现±32MB空间的跳转。
         
        3．指令操作的伪代码

        指令操作的伪代码如下面程序段所示。
        第一种格式BLX指令。
         
        LR=address of the instruction after the BLX instruction
        T Flag=1
        PC=PC + PC = PC + (SignExtend(signed_immed_24)<<2) + (H<<1)
         
        4．指令的使用

        ·  从Thumb状态返回到ARM状态，使用BX指令。
         
        BX  r14
         
        ·  可以在子程序的入口和出口增加栈操作指令。
         
        PUSH  {<registers>，r14}
        ……
        POP  {<registers>，PC}