GCC如何为ARMv7架构生成大立即数的汇编代码？

针对你提出的疑问，核心原因是GCC在生成汇编时使用伪指令简化代码，同时利用汇编器的自动转换能力，以下是详细解释：

问题背景回顾 #

给定C代码：

int a = 0;
a += 0xffffff;

GCC生成的ARMv7汇编：

add     r3, r3, #16711935  @ 16711935 = 0xff00ff
add     r3, r3, #65280     @ 65280 = 0xff00

关键知识点 #

ARMv7的ARM指令集中，add的立即数版本要求立即数必须符合imm12编码规则：由8位无符号数循环右移2*rotate位（rotate为4位字段，范围0-15）得到32位值。0xffffff无法通过单个这样的立即数表示，因此GCC必须拆分操作。

GCC的处理逻辑 #

1. 数值拆分：GCC将0xffffff拆分为0xff00ff + 0xff00，两者之和恰好为目标值。其中0xff00是合法的imm12立即数（由0xff循环右移8位得到）。
2. 伪指令使用：你看到的add r3, r3, #0xff00ff是GCC生成的伪指令——它并非直接对应一条ARM机器码指令，而是依赖汇编器将其转换为合法的指令序列。例如，汇编器会先通过合法的mov指令组合（如movw+movt）将0xff00ff加载到临时寄存器，再执行寄存器间的add操作。
3. 策略选择：GCC选择这种拆分方式，既保证了指令数量最少（仅两次加法操作），又在调试模式（如-O0）下保留了数值的直观性，便于对应原始代码的逻辑。

总结 #

你对ARMv7 add指令的imm12规则理解是正确的，GCC的特殊处理是通过伪指令简化汇编代码生成，实际的机器码仍会严格遵循ARM指令集的编码规则，这部分转换工作由汇编器自动完成。

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