使用B或BL跳转时，下一条指令的地址的计算

1.text

2.global   _start

3_start:

4         b step1

5 step1:

6         ldr pc,  =step2

7 step2:

8         b step2



反汇编代码：

0:  eaffffff     b   0x4

4:  e59ff000     ldr pc, [pc, #0] ; 0xc

8:  eafffffe     b   0x8

c:  30000008     tsteq r0, #8  ; 0x8





b跳转指令：它是个相对跳转指令，其机器码格式如下：

[31:28]位是条件码；

[27:24]位为"1010"(0xeaffffff为一条指令的二进制机器码)时，表示B跳转指令;

       位为"1011"时，表示BL跳转指令;

[23: 0] 表示一个相对于PC的偏移地址。



1>将指令中24位带符号的补码立即数扩展为32(扩展其符号位);

2>将此32位数左移两位；

3>将得到的值加到pc寄存器中，即得到跳转的目标地址。



我们看看第一条指令“b step1”的机器码0xeaffffff：

1>24位带符号的补码为0xffffff，将它扩展为32得到：0xffffffff

2>将此32位数左移两位得到：0xfffffffc，其值就是-4(0xfffffffc符号位不变，其余位取反再加1得到-4);

3>pc的值是当前指令的下两条(下一条的下一条)指令的地址，加上步骤2得到的-4（PC-4，即PC回退4个字节，刚好指向当前指令的下一条指令上），这恰好是第二条指令step1的地址。

  不要被被反汇编代码中的“b 0x4”给迷惑了，它可不是说跳到绝对地址0x4处执行，绝对地址得像上述3个步骤那样计算。