ARM Cortex-M4程序计数器取值规则及STM32编译地址分配问题咨询

一、Cortex-M4 PC寄存器取值规则 #

你遇到的观测值与资料描述不一致的问题，核心是混淆了处理器运行时用于寻址的PC预取值和调试模式下观测到的PC执行值两个不同概念：

1. 资料中提到的「Thumb模式下PC值为当前指令地址+4」是指令执行PC相对寻址时的硬件规则，但要额外注意：Thumb状态下用PC做基址时，会自动将PC值的最低2位清零，做4字节（字）对齐处理。
   对应你的示例验证：
   • 当前执行ldr r3, [pc, #12]的指令地址为0x80001f2
   • 按规则先计算PC预取值：0x80001f2 + 4 = 0x80001f6
   • 自动字对齐：0x80001f6 & 0xFFFFFFFC = 0x80001f4
   • 加上偏移12：0x80001f4 + 12 = 0x8000200，和实际目标地址完全匹配，不存在规则矛盾。
2. 你调试时观测到PC等于当前指令地址，是Cortex-M调试架构的特殊设计：当处理器被调试器暂停时，返回的PC值会自动做修正，指向当前正在执行的指令，方便开发者定位代码位置，和运行时实际用于寻址的PC值是两个不同的输出值。

二、编译内存映射相关问题解答 #

三个问题的答案分别如下：

• 编译器/链接器确实会先确定基地址再分配存储位置：嵌入式开发场景下，链接脚本会提前指定Flash、RAM等存储区块的基地址，链接器会基于对应基地址，按代码段、常量段、数据段的顺序依次分配所有内容的存储地址。
• 你看到的硬编码常量属于文字池（Literal Pool），并非默认存在代码段末尾：编译器会将无法直接编码进指令的大立即数，就近放在当前代码块之后的代码段空闲位置，要求与引用它的LDR指令的偏移不超过寻址上限（Thumb-2指令的PC相对寻址上限通常为4KB），避免偏移过大无法寻址，只有刚好放在函数末尾的常量才会看起来在代码块末尾。
• 编译器默认优先采用PC相对偏移寻址常量：这种方式生成的代码为位置无关代码，不需要运行时重定位，执行效率更高，也提升了代码可移植性，只有当常量与引用指令的偏移超出PC相对寻址范围时，才会改用绝对地址寻址。

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