为何ARM汇编中=运算符同时用于获取标签地址与加载立即数？

核心设计依据 #

1. ARM指令集的立即数限制
   ARM的MOV指令只能加载有限范围的立即数：必须是8位数值经过循环右移偶数位后得到的值（比如0x12、0x1200这类符合规则，但0x40021010这类无法直接用MOV加载）。为了让程序员能方便加载任意立即数，汇编器设计了LDR Rn,=imm这个伪指令——汇编器会自动判断：如果是MOV能处理的立即数，就替换成MOV Rn, #imm；如果不能，就把这个立即数存入程序的常量池，再生成真正的LDR指令从常量池读取。

2. 语法一致性的需求
   标签的地址本质上也是一个“链接时确定的常量”，和字面立即数在语义上都是“向寄存器加载一个固定值”。复用=运算符可以让两种场景的语法保持统一，程序员不用区分“我要加载的是立即数还是标签地址”，只需要用同样的写法LDR Rn,=xxx，汇编器会自动处理背后的逻辑，简化代码编写。

历史缘由 #

ARM汇编器（比如ARM自家的armasm、GNU的gas）从早期就引入了这个语法糖，核心目的是降低开发门槛：

• 避免程序员需要手动判断哪些立即数能直接用MOV，哪些需要手动放到常量池再加载；
• 统一常量加载的语法，让代码更易读易维护，不用为标签地址和立即数设计两套不同的指令写法。

实际汇编器处理示例 #

• 对于可直接用MOV的立即数：
  输入：

  LDR R0,=0x12
  

  汇编器会自动转为：

  MOV R0, #0x12
  

• 对于不可直接用MOV的立即数或标签地址：
  输入：

  LDR R1,=0x40021010
  LDR R0,=var
  

  汇编器会将0x40021010和var的地址存入常量池，生成类似如下的真实指令：

  LDR R1, [PC, #offset_to_const_pool]
  LDR R0, [PC, #offset_to_var_address]
  

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