Arduino Zero(ARMv6-M)汇编：B/BL/BX与MOV PC指令生成时机问询

问题背景 #

我了解到在Arduino Zero（基于ARMv6-M架构）中，可通过B、BL、BX指令实现程序计数器（PC）跳转，例如：

B loop_start ; 跳转到loop_start标签
或
BX LR ; 从子程序返回

同时也得知可使用MOV PC指令实现PC跳转，例如：

MOV PC, R0 ; 跳转到R0寄存器中存储的地址

我想了解编译器何时生成B、BL、BX指令，何时生成MOV PC指令？我尝试编译代码但未遇到MOV指令的使用，理论上这种情况应该存在，对吗？

一、B/BL指令的生成场景 #

• B指令：用于无条件相对跳转，当目标地址在当前指令的±4MB范围内（ARMv6-M的相对跳转偏移限制），且不需要保存返回地址时生成。比如普通循环跳转、条件分支（如BEQ/BNE等带条件的B变种）、函数内的局部跳转。
• BL指令：用于子程序/函数调用，会自动将当前PC的下一条指令地址存入LR（链接寄存器），目标地址同样需在±4MB范围内。比如调用静态函数、固定地址的库函数时，编译器优先选择BL。

二、BX指令的生成场景 #

• 子程序返回：最典型的就是BX LR，当函数无栈帧或栈帧已清理完成时，用该指令直接完成返回（对应C语言的return操作）。
• 间接函数调用：调用函数指针时，若目标地址在相对跳转范围内，编译器可能生成BX指令；同时BX会检查目标地址的最低位（用于标记指令集，尽管ARMv6-M仅支持Thumb指令集）。

三、MOV PC, <reg>指令的生成场景 #

这种指令确实存在，但触发场景较为特殊，主要包括：

• 超出相对跳转范围：当目标地址不在B/BL支持的±4MB偏移内时，编译器无法使用相对跳转，会先将绝对地址加载到寄存器，再通过MOV PC, reg实现跳转。比如调用Flash不同区域、或RAM中偏移超过4MB的函数。
• 复杂间接跳转：通过多级指针获取目标地址后跳转，或在底层编译器优化场景中，当编译器判断直接移动寄存器到PC比BX更适配当前逻辑时（ARMv6-M中两者效率差异极小，更多是场景需求驱动）。
• 手动汇编场景：编译器自动生成的情况较少，大多是开发者手写汇编时使用，比如自定义函数跳转、异常处理返回等。

你编译代码未遇到MOV PC，大概率是因为所有跳转目标都在B/BL的±4MB范围内，编译器优先选择更高效的相对跳转指令。若想触发该指令，可以尝试调用远地址函数（比如通过链接脚本指定函数到偏移超4MB的位置），或使用复杂的函数指针跳转逻辑。

内容的提问来源于stack exchange，提问作者james lebron