全面分析下BL(B)/LDR指令
1. bl ldr指令简介
ldr和bl在启动程序中，都是可以负责pc跳转的指令。
bl是地址无关指令，即和当前的运行地址无关。链接器脚本中标明了一个运行地址，但是arm中的代码实际是从地址0开始运行的。这个时候，实际的地址和运行地址是不符的。
如果想让程序正常的运行，就得使用地址无关指令。比如在完成将程序复制到内存之前想要跳转到一个函数里，就得使用bl。因为bl跳转依靠的是相对地址，和运行地址无关，所以能完成跳转。
ldr是地址有关指令。如果这个时候使用“ldr pc，=函数名”来跳转，实际上是跳转到这个函数在链接器脚本中标明的地址上了。所以使用地址相关指令之前，要把代码复制到链接器脚本中指明的那个地址上，否则的话程序就跑飞了。复制完成之后再使用ldr跳转到内存中，使程序继续运行。
2. 分析绝对跳转过程
我们以一个例子具体分析下绝对跳转过程。
指令1 顺序执行
指令2 顺序执行
指令3 相对跳转到指令5
指令4 顺序执行
指令5 顺序执行
指令6 绝对跳转到指令8
指令7 顺序执行
指令8 顺序执行
指令编号 指令功能
假设程序被放在0x00000000位置开始执行，编译链接后的结果为：
0x00000000 顺序执行 顺序执行 当前地址+4
0x00000004 顺序执行 顺序执行 当前地址+4
0x00000008 跳转到指令5 跳转到指令5 当前地址+8
0x0000000c 顺序执行 顺序执行 当前地址+4
0x00000010 顺序执行 顺序执行 当前地址+4
0x00000014 跳转到指令8 跳转到指令8 0xc000001c
0x00000018 顺序执行 顺序执行 当前地址+4
0x0000001c 顺序执行 顺序执行 当前地址+4
指令地址 指令编号 指令功能 下条指令地址
当这段程序被放在0xc000000空间（如右图）时，开始执行指令1，然后采用相对寻址的方法就可以运行到指令6，在指令6执行时也可以使用绝对寻址的方法从0xc0000014正确跳转到指令8所在的0xc00001c位置，这段代码运行正常。
当这段代码被放在0x00000000空间（如左图）时，开始执行指令1，然后采用相对寻址的方法就可以运行到指令6，但在指令6执行时使用绝对寻址的方法从0x0000014跳转到了0xc000001c，但0xc000001c空间没有代码，这样程序就跑飞了。
因此，当编译地址（加载地址）和运行地址相同时，绝对跳转和相对跳转都可以正确执行。比如，程序在norflash存储时。
但是，当编译地址（加载地址）和运行地址不相同时，相对跳转就会出现问题。比如，代码存储在nandflash，由于nandflash并不能运行代码，所以需要重定位代码到内部的sram。
3. bl（b）和ldr跳转范围是如何规定的
下图为b(bl）指令的格式
bl指令编码格式
bl指令的[23,0]位存放的是要跳转的相对地址，由于指令所在地址必须是4字节对齐的，因此跳转的地址最低位必然是0。
bl指令[23,0]位保存的是省略这最低2位的地址，如果补全了这2位,bl指令就可以表示26位的跳转地址。在这26位中需要使用1位表示向前跳还是向后跳，那么剩下的25位就可以表示32 mbts的范围了，225=32m因此，b（bl）指令的跳转范围为-32mbytes~+32mbytes。
下图为ldr指令的格式。
ldr指令编码格式
ldr指令编码格式
图中的ldr的跳转范围计算方式和b指令的类似，其中rn和address_mode共同构成第二个操作数的内存地址。由address_mode的9种格式可以知道，address_mode表示的就是偏移地址的范围大小，为212=4k。（不理解的可以对比下ldrpc, [pc, #804]和address_mode的九种格式，很明显可以看出address_mode就是当前地址的偏移范围）
4. bl执行过程分析
下图为b(bl）指令的格式。
bl指令编码格式
28~31位（cond）是条件码，就是表明这条语句里是否有大于、等于、非零等的条件判断，这4位共有16种状态，分别为：
条件码
我们以uboot启动过程中的这句跳转代码分析下bl指令具体的执行过程。
#ifndef config_skip_lowlevel_init bl cpu_init_crit #endif
上述代码对应的反汇编代码如下：
33f000ac: eb000017 bl 33f00110 33f00110 : 33f00110: e3a00000 mov r0, #0 ; 0x0 33f00114: ee070f17 mcr 15, 0, r0, cr7, cr7, {0}
当指令执行到33f000ac时，对应的机器码为eb000017（1110_1011_0000_0000_0000_0000_0001_0111），其中[31,28]高四位为条件码，1110表示无条件执行。[25,27]位保留区域,24位表示是否带有返回值，1表示带有返回值，也就是bl指令。[23,0]为指令的操作数，0000_0000_0000_0000_0001_0111。
bl指令的跳转地址是按照如下方式计算：
1、将指令中24位带符号的补码立即数扩展为32位(扩展其符号位)原数变成 0000_0000_0000_0000_0000_0000_0001_0111。
2、将此数左移两位0000_0000_0000_0000_0000_0010_1000_0000 变成 0000_0000_0000_0000_0000_0000_0101_1100 = 0x0000005c
3、将得到的值加到pc寄存器中得到目标地址，由于arm为3级流水线，此时的 pc = 33f000ac+8 = 33f000b4，pc = 33f000b4 + 0x0000005c = 33f00110与图中的cpu_init_crit的地址相等。
在算的过程中我们使用的始终是pc的值，假设程序在 0 地址处执行，那么计算方法一样，pc 的值变了，计算出来的结果也随之改变。所以 bl 的跳转时是与位置无关的。
5. ldr执行过程分析
下图为ldr指令的格式。
ldr指令编码格式
我们以下图中的代码作为例子分析下。
ldr pc,=call_board_init_f
对应的反汇编代码如下：
33f000d0: e59ff324 ldr pc, [pc, #804] ; 33f003fc 33f003fc: 33f000d4 .word 0x33f000d4 ........ 33f000d4 : 33f000d4: e3a00000 mov r0, #0 ; 0x0
ldrpc, [pc, #804]这条指令为伪指令，编译的时候会将call_board_init_f的链接地址存入一个固定的地址（链接时确定的），对于本条指令，这个地址就是33f000d4 。
上面的反汇编出来的 ldr pc,=call_board_init_f就变成了ldrpc, [pc, #804]，由于arm使用了流水线的原因，所以在执行 ldr pc,[ pc, #4 ]的时候 pc 不在这句代码这里了，而是跑到了 pc+8的地方，这句代码相当于 pc= *(pc+804+8)=33f000d0+32c=33f003fc ，所以会跳转到33f003fc 地址取33f000d4 ，而33f000d4 是存在代码段中的一个常量，并不是计算出来的，不会随程序的位置而改变，所以无论代码和pc怎么变 *(pc+804) 的值时不会变的。
6. 总结
这样，绝对跳转中的固定地址就很好理解了，要跳转地址的值在链接时就已经确定了，存在了一块内存中。
相对跳转时，反汇编bl33f00110中的33f00110是根据pc计算出来的，当pc改变时，结果也会改变。所以，称为相对跳转，与当前位置无关。
DIY硬件趋势：AMD Ryzen爆发要死拼Intel
装逼神器：华为mate9保时捷版贵在哪里？
vivoU3x正式发售 售价799元起
电子标签模块：让传感器智能化，工程安全监测更便捷
金星彩电通病良方-TA两片机（以C542为例）
全面分析下BL(B)/LDR指令
京东方收购南京G8.5公司和成都G8.6公司部分股权
汽车电子压接工艺IEC 60352-5通用测试标准
ColorOS和海信合作 将迎来多家品牌合作
STM32F103系列芯片系统架构
在线纸张水分测试仪参数介绍和注意事项
电子保险丝作为过流保护芯片的应用
三星订单到 首利4月出货营收可望创新高
电气火灾监控系统在地铁项目中的应用
低压配电柜安装要求有哪些_低压配电柜操作规程
EA正研究通过语音让非操控角色执行相应动作
探讨连接器触点问题
实现物联网的诸多无线标准
IC设计公司英韧科技获得新一轮股权融资
耐德佳联手诠视科技推出了一款超大视场角6DOF MR头显解决方案
ldr和bl在启动程序中，都是可以负责pc跳转的指令。
bl是地址无关指令，即和当前的运行地址无关。链接器脚本中标明了一个运行地址，但是arm中的代码实际是从地址0开始运行的。这个时候，实际的地址和运行地址是不符的。
如果想让程序正常的运行，就得使用地址无关指令。比如在完成将程序复制到内存之前想要跳转到一个函数里，就得使用bl。因为bl跳转依靠的是相对地址，和运行地址无关，所以能完成跳转。
ldr是地址有关指令。如果这个时候使用“ldr pc，=函数名”来跳转，实际上是跳转到这个函数在链接器脚本中标明的地址上了。所以使用地址相关指令之前，要把代码复制到链接器脚本中指明的那个地址上，否则的话程序就跑飞了。复制完成之后再使用ldr跳转到内存中，使程序继续运行。
2. 分析绝对跳转过程
我们以一个例子具体分析下绝对跳转过程。
指令1 顺序执行
指令2 顺序执行
指令3 相对跳转到指令5
指令4 顺序执行
指令5 顺序执行
指令6 绝对跳转到指令8
指令7 顺序执行
指令8 顺序执行
指令编号 指令功能
假设程序被放在0x00000000位置开始执行，编译链接后的结果为：
0x00000000 顺序执行 顺序执行 当前地址+4
0x00000004 顺序执行 顺序执行 当前地址+4
0x00000008 跳转到指令5 跳转到指令5 当前地址+8
0x0000000c 顺序执行 顺序执行 当前地址+4
0x00000010 顺序执行 顺序执行 当前地址+4
0x00000014 跳转到指令8 跳转到指令8 0xc000001c
0x00000018 顺序执行 顺序执行 当前地址+4
0x0000001c 顺序执行 顺序执行 当前地址+4
指令地址 指令编号 指令功能 下条指令地址
当这段程序被放在0xc000000空间（如右图）时，开始执行指令1，然后采用相对寻址的方法就可以运行到指令6，在指令6执行时也可以使用绝对寻址的方法从0xc0000014正确跳转到指令8所在的0xc00001c位置，这段代码运行正常。
当这段代码被放在0x00000000空间（如左图）时，开始执行指令1，然后采用相对寻址的方法就可以运行到指令6，但在指令6执行时使用绝对寻址的方法从0x0000014跳转到了0xc000001c，但0xc000001c空间没有代码，这样程序就跑飞了。
因此，当编译地址（加载地址）和运行地址相同时，绝对跳转和相对跳转都可以正确执行。比如，程序在norflash存储时。
但是，当编译地址（加载地址）和运行地址不相同时，相对跳转就会出现问题。比如，代码存储在nandflash，由于nandflash并不能运行代码，所以需要重定位代码到内部的sram。
3. bl（b）和ldr跳转范围是如何规定的
下图为b(bl）指令的格式
bl指令编码格式
bl指令的[23,0]位存放的是要跳转的相对地址，由于指令所在地址必须是4字节对齐的，因此跳转的地址最低位必然是0。
bl指令[23,0]位保存的是省略这最低2位的地址，如果补全了这2位,bl指令就可以表示26位的跳转地址。在这26位中需要使用1位表示向前跳还是向后跳，那么剩下的25位就可以表示32 mbts的范围了，225=32m因此，b（bl）指令的跳转范围为-32mbytes~+32mbytes。
下图为ldr指令的格式。
ldr指令编码格式
ldr指令编码格式
图中的ldr的跳转范围计算方式和b指令的类似，其中rn和address_mode共同构成第二个操作数的内存地址。由address_mode的9种格式可以知道，address_mode表示的就是偏移地址的范围大小，为212=4k。（不理解的可以对比下ldrpc, [pc, #804]和address_mode的九种格式，很明显可以看出address_mode就是当前地址的偏移范围）
4. bl执行过程分析
下图为b(bl）指令的格式。
bl指令编码格式
28~31位（cond）是条件码，就是表明这条语句里是否有大于、等于、非零等的条件判断，这4位共有16种状态，分别为：
条件码
我们以uboot启动过程中的这句跳转代码分析下bl指令具体的执行过程。
#ifndef config_skip_lowlevel_init bl cpu_init_crit #endif
上述代码对应的反汇编代码如下：
33f000ac: eb000017 bl 33f00110 33f00110 : 33f00110: e3a00000 mov r0, #0 ; 0x0 33f00114: ee070f17 mcr 15, 0, r0, cr7, cr7, {0}
当指令执行到33f000ac时，对应的机器码为eb000017（1110_1011_0000_0000_0000_0000_0001_0111），其中[31,28]高四位为条件码，1110表示无条件执行。[25,27]位保留区域,24位表示是否带有返回值，1表示带有返回值，也就是bl指令。[23,0]为指令的操作数，0000_0000_0000_0000_0001_0111。
bl指令的跳转地址是按照如下方式计算：
1、将指令中24位带符号的补码立即数扩展为32位(扩展其符号位)原数变成 0000_0000_0000_0000_0000_0000_0001_0111。
2、将此数左移两位0000_0000_0000_0000_0000_0010_1000_0000 变成 0000_0000_0000_0000_0000_0000_0101_1100 = 0x0000005c
3、将得到的值加到pc寄存器中得到目标地址，由于arm为3级流水线，此时的 pc = 33f000ac+8 = 33f000b4，pc = 33f000b4 + 0x0000005c = 33f00110与图中的cpu_init_crit的地址相等。
在算的过程中我们使用的始终是pc的值，假设程序在 0 地址处执行，那么计算方法一样，pc 的值变了，计算出来的结果也随之改变。所以 bl 的跳转时是与位置无关的。
5. ldr执行过程分析
下图为ldr指令的格式。
ldr指令编码格式
我们以下图中的代码作为例子分析下。
ldr pc,=call_board_init_f
对应的反汇编代码如下：
33f000d0: e59ff324 ldr pc, [pc, #804] ; 33f003fc 33f003fc: 33f000d4 .word 0x33f000d4 ........ 33f000d4 : 33f000d4: e3a00000 mov r0, #0 ; 0x0
ldrpc, [pc, #804]这条指令为伪指令，编译的时候会将call_board_init_f的链接地址存入一个固定的地址（链接时确定的），对于本条指令，这个地址就是33f000d4 。
上面的反汇编出来的 ldr pc,=call_board_init_f就变成了ldrpc, [pc, #804]，由于arm使用了流水线的原因，所以在执行 ldr pc,[ pc, #4 ]的时候 pc 不在这句代码这里了，而是跑到了 pc+8的地方，这句代码相当于 pc= *(pc+804+8)=33f000d0+32c=33f003fc ，所以会跳转到33f003fc 地址取33f000d4 ，而33f000d4 是存在代码段中的一个常量，并不是计算出来的，不会随程序的位置而改变，所以无论代码和pc怎么变 *(pc+804) 的值时不会变的。
6. 总结
这样，绝对跳转中的固定地址就很好理解了，要跳转地址的值在链接时就已经确定了，存在了一块内存中。
相对跳转时，反汇编bl33f00110中的33f00110是根据pc计算出来的，当pc改变时，结果也会改变。所以，称为相对跳转，与当前位置无关。
DIY硬件趋势：AMD Ryzen爆发要死拼Intel
装逼神器：华为mate9保时捷版贵在哪里？
vivoU3x正式发售 售价799元起
电子标签模块：让传感器智能化，工程安全监测更便捷
金星彩电通病良方-TA两片机（以C542为例）
全面分析下BL(B)/LDR指令
京东方收购南京G8.5公司和成都G8.6公司部分股权
汽车电子压接工艺IEC 60352-5通用测试标准
ColorOS和海信合作 将迎来多家品牌合作
STM32F103系列芯片系统架构
在线纸张水分测试仪参数介绍和注意事项
电子保险丝作为过流保护芯片的应用
三星订单到 首利4月出货营收可望创新高
电气火灾监控系统在地铁项目中的应用
低压配电柜安装要求有哪些_低压配电柜操作规程
EA正研究通过语音让非操控角色执行相应动作
探讨连接器触点问题
实现物联网的诸多无线标准
IC设计公司英韧科技获得新一轮股权融资
耐德佳联手诠视科技推出了一款超大视场角6DOF MR头显解决方案