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

时间:2021-12-14 09:12:57
.text
.global _start
3_start:
b step1
step1:
ldr pc, =step2
step2:
b step2 反汇编代码:
: eaffffff b 0x4
: e59ff000 ldr pc, [pc, #] ; 0xc
: eafffffe b 0x8
c: tsteq r0, # ; 0x8 b跳转指令:它是个相对跳转指令,其机器码格式如下:
[:]位是条件码;
[:]位为""(0xeaffffff为一条指令的二进制机器码)时,表示B跳转指令;
位为""时,表示BL跳转指令;
[: ] 表示一个相对于PC的偏移地址。 >将指令中24位带符号的补码立即数扩展为32(扩展其符号位);
>将此32位数左移两位;
>将得到的值加到pc寄存器中,即得到跳转的目标地址。 我们看看第一条指令“b step1”的机器码0xeaffffff:
>24位带符号的补码为0xffffff,将它扩展为32得到:0xffffffff
>将此32位数左移两位得到:0xfffffffc,其值就是-(0xfffffffc符号位不变,其余位取反再加1得到-);
>pc的值是当前指令的下两条(下一条的下一条)指令的地址,加上步骤2得到的-(PC-,即PC回退4个字节,刚好指向当前指令的下一条指令上),这恰好是第二条指令step1的地址。
不要被被反汇编代码中的“b 0x4”给迷惑了,它可不是说跳到绝对地址0x4处执行,绝对地址得像上述3个步骤那样计算。