1. ARM-32 汇编与C语言交互基础
在嵌入式开发领域，混合使用汇编和C语言是提升关键代码性能的常见手段。ARM架构由于其精简指令集特性，使得汇编与高级语言的交互比x86架构更为频繁。当我们需要在汇编中调用C函数时，必须严格遵守ARM架构的过程调用标准（AAPCS）。
ARM-32的寄存器使用规则直接影响参数传递：
- r0-r3：用于前4个32位参数传递
- r4-r11：被调用者需要保存的寄存器
- r12（IP）：临时寄存器
- r13（SP）：栈指针
- r14（LR）：链接寄存器
- r15（PC）：程序计数器
关键提示：当参数超过4个时，剩余参数将通过栈传递，且调用者需要负责栈空间的分配和回收。
2. 函数调用规范深度解析
2.1 参数传递机制
假设我们要调用一个C函数：
c复制int add_numbers(int a, int b, int c, int d, int e);
对应的汇编调用代码应为：
armasm复制 mov r0, #1 @ 第一个参数
mov r1, #2 @ 第二个参数
mov r2, #3 @ 第三个参数
mov r3, #4 @ 第四个参数
push {r4} @ 保存可能被修改的寄存器
mov r4, #5
push {r4} @ 第五个参数压栈
bl add_numbers @ 调用函数
add sp, sp, #4 @ 调用者清理栈空间
pop {r4} @ 恢复寄存器
2.2 返回值处理
不同数据类型的返回值存放位置：
- 32位及更小：r0
- 64位：r0+r1
- 浮点数：s0/d0寄存器
- 大结构体：通过隐藏指针参数返回
3. 实际开发中的关键细节
3.1 栈对齐要求
ARM EABI规定栈必须保持8字节对齐。在函数调用前需要检查：
armasm复制 and ip, sp, #7 @ 检查栈对齐
cmp ip, #0
subne sp, sp, ip @ 不对齐则调整
3.2 浮点参数处理
当使用VFP时，浮点参数的传递规则：
armasm复制 vmov s0, #1.0 @ 第一个浮点参数
vmov s1, #2.0 @ 第二个浮点参数
mov r0, #3 @ 第一个整型参数
bl mixed_func
4. 高级应用场景
4.1 回调函数实现
在汇编中实现C语言回调接口：
armasm复制.global asm_callback
asm_callback:
push {lr} @ 保存返回地址
bl c_handler @ 调用C处理函数
pop {pc} @ 直接返回到调用者
对应的C声明：
c复制extern void asm_callback(void);
void register_callback(void (*cb)(void));
4.2 内联汇编优化
GCC内联汇编的典型用法：
c复制void atomic_add(int *ptr, int val) {
__asm__ __volatile__(
"ldrex r0, [%1]\n"
"add r0, r0, %2\n"
"strex r1, r0, [%1]\n"
"cmp r1, #0\n"
"bne 1b"
: "+m"(*ptr)
: "r"(ptr), "r"(val)
: "r0", "r1", "cc"
);
}
5. 调试与问题排查
5.1 常见错误模式
- 栈不对齐导致的硬错误
- 未保存被调用者保存寄存器
- 浮点参数传递寄存器错误
- 返回值类型不匹配
5.2 GDB调试技巧
查看寄存器状态：
code复制(gdb) info registers
(gdb) p/x $r0
反汇编当前函数：
code复制(gdb) disassemble /m
查看栈帧信息：
code复制(gdb) backtrace
(gdb) frame N
6. 性能优化实践
6.1 寄存器分配策略
优化前的代码：
armasm复制 mov r0, #1
str r0, [sp, #-4]!
mov r0, #2
str r0, [sp, #-4]!
bl func
优化后的代码：
armasm复制 mov r0, #1
mov r1, #2
bl func
6.2 尾调用优化
普通调用：
armasm复制 bl func1
bl func2
pop {pc}
尾调用优化：
armasm复制 b func2 @ 直接跳转而非调用
7. 实际工程经验
在开发RTOS上下文切换时，典型的寄存器保存模式：
armasm复制save_context:
push {r4-r11} @ 保存被调用者保存寄存器
vpush {s16-s31} @ 保存浮点寄存器
mrs r0, psr @ 保存特殊寄存器
push {r0, lr}
恢复上下文时需要注意：
- 必须按相反顺序恢复寄存器
- PSR恢复必须在最后一步
- 浮点寄存器恢复可能触发惰性装载
8. 工具链特定行为
不同编译器的处理差异：
- GCC：默认使用AAPCS
- ARMCC：支持--apcs选项
- LLVM：严格遵循EABI
链接器脚本中的关键定义：
code复制.stack : {
. = ALIGN(8);
__stack_start = .;
. += __stack_size;
__stack_end = .;
} > RAM
9. 安全注意事项
- 始终验证指针有效性
- 关键寄存器备份
- 栈溢出防护实现
安全调用示例：
armasm复制safe_call:
push {r4, lr} @ 备份关键寄存器
cmp r0, #0 @ 检查指针
beq invalid_ptr
blx r0 @ 安全调用
invalid_ptr:
pop {r4, pc}
10. 现代扩展应用
使用ARMv8的A32调用T32代码：
armasm复制 .thumb
.thumb_func
thumb_func:
bx lr
.arm
arm_code:
bl thumb_func @ 自动状态切换
Cortex-M的异常处理差异：
- 使用MSP而非SP
- 自动压栈关键寄存器
- 异常返回使用特殊指令