3、ARM汇编与C语言混合编程：常用ARM指令集、GNU汇编语法、启动代码中汇编与C的交互

嵌入式Linux系统的启动过程，从处理器上电复位到进入C语言世界的main()函数，中间隔着一段必须由汇编语言完成的“冷启动”旅程。无论是U-Boot的start.S，还是Linux内核的head.S，它们都以汇编指令作为系统的第一条执行代码。理解ARM汇编与C语言的混合编程机制，是掌握启动代码与内核移植的基石。本章将围绕常用ARM指令集、GNU汇编语法规范以及启动代码中汇编与C的交互方式展开，帮助读者建立从硬件复位到高级语言运行之间的完整认知链路。

上图展示了从硬件复位到C语言环境建立的完整链路。左侧是CPU上电后的初始状态，中间是汇编启动代码需要完成的关键任务，右侧是最终要抵达的C运行环境。下方则概括了汇编与C交互的三种核心机制以及常用指令集分类。这张图是本章内容的总览，后续将逐一深入剖析。

3.1 常用ARM指令集核心原理

ARM处理器采用精简指令集计算机（RISC）架构，其指令集具有定长（ARM状态为32位，Thumb状态为16位）、寻址方式灵活、条件执行等特点。在启动代码和内核移植场景中，我们最常打交道的指令集中在以下几类：内存访问指令、数据处理指令、分支跳转指令以及状态寄存器操作指令。

内存访问指令是嵌入式开发中使用频率最高的指令。LDR（Load Register）用于从内存加载数据到寄存器，STR（Store Register）用于将寄存器数据存储到内存。它们的寻址模式包括立即数偏移、寄存器偏移和寄存器移位偏移。例如，LDR R0, [R1, #4]表示将R1+4地址处的数据加载到R0；STR R2, [R3, -R4]表示将R2存储到R3-R4地址处。在启动代码中，我们经常需要读取硬件寄存器地址，如LDR R0, =0x11000C40（GPIO基地址），然后通过LDR R1, [R0]读取该寄存器的值。

数据处理指令包括算术运算（ADD、SUB、RSB）、逻辑运算（AND、ORR、EOR、BIC）、比较指令（CMP、CMN、TST）和数据传送指令（MOV、MVN）。这些指令的一个重要特性是它们可以可选地更新条件标志位（CPSR中的N、Z、C、V位），这为条件执行提供了基础。例如，CMP R0, R1会执行R0-R1但不保存结果，仅更新标志位；随后可以使用BEQ（相等则跳转）、BNE（不等则跳转）等条件分支指令。

分支跳转指令中，B（Branch）用于无条件跳转，BL（Branch with Link）在跳转前将返回地址保存到LR寄存器（R14），用于函数调用。BX（Branch and Exchange）则可以在跳转的同时切换ARM/Thumb状态。在启动代码中，BL指令是汇编调用C函数的桥梁，例如BL main会将当前PC+4存入LR，然后跳转到main函数执行。

状态寄存器操作指令MRS（Move from Status Register）和MSR（Move to Status Register）用于读写CPSR或SPSR。在处理器模式切换（如从SVC模式切换到IRQ模式）和中断使能/禁止操作中，这两个指令不可或缺。例如，MRS R0, CPSR读取当前程序状态字，BIC R0, R0, #0x80清除IRQ中断禁止位，MSR CPSR_c, R0写回状态字。

3.2 GNU汇编语法与启动代码结构

不同于ARM官方工具链（armcc）使用的ARM汇编语法，嵌入式Linux领域普遍采用GNU汇编器（GAS），其语法风格与AT&T语法类似，但针对ARM架构有特定扩展。GNU汇编语法以.section、.global、.type等伪操作（Directive）组织代码，以@或/* */作为注释符号。

一个典型的GNU汇编启动代码文件（如U-Boot的arch/arm/cpu/armv7/start.S）通常包含以下结构：

.section .text          @ 定义代码段
.global _start          @ 导出_start符号，作为入口点
_start:
    b reset             @ 复位向量
    ldr pc, =undefined_instruction
    ldr pc, =software_interrupt
    ldr pc, =prefetch_abort
    ldr pc, =data_abort
    ldr pc, =not_used
    ldr pc, =irq
    ldr pc, =fiq

reset:
    mrs r0, cpsr        @ 读取当前状态
    bic r0, r0, #0x1f   @ 清除模式位
    orr r0, r0, #0xd3   @ 设为SVC模式，关IRQ/FIQ
    msr cpsr, r0        @ 写回状态
    ldr sp, =STACK_TOP  @ 设置栈指针
    bl cpu_init_cp15    @ 初始化协处理器
    bl main             @ 跳转到C代码

上述代码展示了几个关键语法点：.section .text声明代码段；.global _start将_start符号导出，使得链接器能够找到入口地址；@后的内容为注释；ldr pc, =label是加载标签地址到PC的伪指令，GNU汇编器会将其转换为ldr pc, [pc, #offset]或mov pc, #offset的等价形式。

启动代码中还需要处理数据段和BSS段。.data段存放已初始化的全局变量，.bss段存放未初始化的全局变量。在C运行环境建立之前，汇编代码需要完成数据段从Flash到RAM的拷贝以及BSS段的清零操作：

copy_data:
    ldr r0, =_start_of_data   @ 数据段加载地址（Flash中）
    ldr r1, =_start_of_data_run @ 数据段运行地址（RAM中）
    ldr r2, =_end_of_data     @ 数据段结束地址
copy_loop:
    cmp r1, r2
    ldrne r3, [r0], #4        @ 从Flash读取4字节
    strne r3, [r1], #4        @ 写入RAM
    bne copy_loop

clear_bss:
    ldr r0, =_start_of_bss
    ldr r1, =_end_of_bss
    mov r2, #0
clear_loop:
    cmp r0, r1
    strne r2, [r0], #4
    bne clear_loop

这些段地址符号（如_start_of_data）由链接脚本（.lds文件）定义，汇编代码通过ldr r0, =symbol获取其值。这是汇编与链接脚本协作的典型模式。

伪操作	功能说明	典型使用场景
.section	切换段定义	.section .text、.section .data
.global	导出符号为全局可见	.global _start、.global main
.equ	定义常量	.equ STACK_TOP, 0x80000000
.word	分配4字节并初始化	.word 0x12345678
.align	对齐到指定边界	.align 4（16字节对齐）
.macro/.endm	定义宏	定义寄存器操作宏

3.3 汇编与C的交互机制

汇编与C的混合编程遵循ARM过程调用标准（ATPCS，ARM Thumb Procedure Call Standard）。该标准规定了函数调用时参数的传递方式、寄存器的使用约定以及栈的管理规则。理解ATPCS是编写正确混合代码的前提。

ATPCS的核心规则包括：参数传递使用R0-R3寄存器，超过4个参数时使用栈传递；函数返回值存放在R0中；R4-R11为被调用者保存寄存器（Callee-saved），即被调函数必须保存并恢复这些寄存器的值；R12为临时寄存器（IP），R13为栈指针（SP），R14为链接寄存器（LR），R15为程序计数器（PC）。

在启动代码中，汇编调用C函数的最简单形式是BL function_name。例如：

ldr r0, =0x11000C40   @ 第一个参数：GPIO地址
ldr r1, =0x00000001   @ 第二个参数：配置值
bl gpio_init          @ 调用C函数gpio_init

对应的C函数原型为void gpio_init(unsigned int base_addr, unsigned int config)。汇编代码将参数放入R0和R1后，执行BL指令跳转到C函数。C函数执行完毕后，通过BX LR返回，此时R0中的值即为返回值（如果有）。

反向交互——C代码调用汇编函数——同样常见。在C文件中使用extern声明汇编函数，然后在汇编文件中用.global导出该函数符号：

@ 汇编文件：delay.S
.global delay_ms
delay_ms:
    push {r4, lr}       @ 保存寄存器
    mov r4, r0          @ 保存参数（延时毫秒数）
delay_loop:
    subs r4, r4, #1
    bne delay_loop
    pop {r4, pc}        @ 恢复寄存器并返回

// C文件：main.c
extern void delay_ms(unsigned int ms);
int main(void) {
    delay_ms(100);      // 调用汇编函数
    return 0;
}

在C代码中还可以通过内联汇编（Inline Assembly）直接嵌入汇编指令。GCC使用__asm__关键字，基本格式为__asm__("指令")。例如，在C代码中直接操作协处理器：

static inline void cpu_cache_enable(void) {
    unsigned int sctlr;
    __asm__ volatile (
        "mrc p15, 0, %0, c1, c0, 0\n"   @ 读取SCTLR
        "orr %0, %0, #0x00000004\n"     @ 使能DCache
        "mcr p15, 0, %0, c1, c0, 0\n"   @ 写回SCTLR
        : "=r" (sctlr)
        :
        : "memory"
    );
}

内联汇编的约束条件（"=r"表示输出到寄存器，"memory"表示内存屏障）需要开发者对GCC汇编语法有较深理解。在启动代码中，内联汇编常用于实现CPU休眠、缓存操作、TLB刷新等底层功能。

3.4 启动代码中的典型交互案例

下面通过一个完整的案例来展示汇编与C在启动代码中的协作。假设我们正在为基于Cortex-A7的嵌入式平台编写第一阶段启动代码（类似于U-Boot SPL），需要完成时钟初始化和串口调试功能。

案例背景与约束：目标平台使用三星Exynos 4412处理器，主频1.4GHz。系统上电后，CPU默认运行在SVC模式，时钟为外部晶振24MHz。我们需要在汇编阶段快速建立串口输出能力，以便打印启动日志，然后跳转到C代码进行更复杂的DDR初始化。

初始现象与目标：上电后无任何输出，需要编写启动代码实现：①设置CPU为SVC模式并关中断；②初始化UART控制器（配置引脚、波特率、数据格式）；③输出一个字符'B'表示启动开始；④跳转到C函数board_init_f。

关键参数与操作步骤：

.section .text
.global _start
_start:
    @ 1. 设置SVC模式，关闭中断
    mrs r0, cpsr
    bic r0, r0, #0x1f
    orr r0, r0, #0xd3
    msr cpsr, r0

    @ 2. 初始化UART（Exynos4412 UART2基地址：0x13820000）
    ldr r0, =0x13820000
    @ 配置GPIO：GPA1_0为UART2_TX，GPA1_1为UART2_RX
    ldr r1, =0x11000000
    ldr r2, [r1, #0x028]    @ GPA1CON寄存器
    bic r2, r2, #0xff
    orr r2, r2, #0x22       @ GPA1_0=UART2_TX, GPA1_1=UART2_RX
    str r2, [r1, #0x028]

    @ 3. 配置UART2控制器
    ldr r1, =0x13820000
    ldr r2, =0x0            @ ULCON：8N1
    str r2, [r1, #0x00]
    ldr r2, =0x5            @ UCON：使能收发
    str r2, [r1, #0x04]
    ldr r2, =0x0            @ UFCON：关闭FIFO
    str r2, [r1, #0x08]
    @ 设置波特率：50MHz时钟下，115200波特率对应UBRDIV=26, UDIVSLOT=0x1
    ldr r2, =26
    str r2, [r1, #0x28]     @ UBRDIV
    ldr r2, =0x1
    str r2, [r1, #0x2c]     @ UDIVSLOT

    @ 4. 输出字符'B' (ASCII 0x42)
    ldr r0, =0x42
    bl putc_uart2

    @ 5. 跳转到C函数
    ldr r0, =0x20000000     @ 参数：DDR基地址
    bl board_init_f

@ 子函数：通过UART2发送一个字符
putc_uart2:
    ldr r1, =0x13820000
    ldr r2, [r1, #0x10]     @ UTRSTAT
    tst r2, #0x2            @ 检查发送缓冲区是否为空
    beq putc_uart2          @ 忙等待
    str r0, [r1, #0x20]     @ UTXH
    bx lr

结果对比与复盘：执行上述代码后，串口终端应输出字符'B'，随后进入C函数board_init_f。这个案例展示了汇编与C交互的完整流程：汇编负责硬件初始化中最底层的寄存器操作，C负责复杂的逻辑控制。在实际调试中，如果串口无输出，首先检查GPIO配置是否正确（GPA1CON的值），其次检查UART时钟是否使能（Exynos4412需要先设置CMU寄存器），最后确认波特率分频值是否计算正确。

3.5 常见误区与总结复盘

在ARM汇编与C混合编程的学习和实践中，初学者经常陷入以下几个误区，需要特别警惕。

误区一：混淆ARM状态与Thumb状态。ARM处理器支持ARM（32位）和Thumb（16位）两种指令集状态。在启动代码中，如果从ARM状态跳转到Thumb状态的C函数，必须使用BX指令且目标地址最低位为1；反之亦然。使用BL指令时，链接器会自动处理状态切换，但手工编写汇编时容易出错。建议在启动代码中统一使用ARM状态，避免混用。

误区二：忽视栈空间分配。汇编代码设置SP指针后，C代码才能正常使用栈。如果SP设置错误（如指向无效内存），C函数调用时压栈操作会导致数据写入非法地址，引发不可预知的异常。在启动代码中，SP应指向一段已确认可读写的RAM区域，且要考虑栈向下增长的特性，预留足够空间。

误区三：错误使用ldr伪指令与mov指令。ldr r0, =0x12345678是伪指令，汇编器会将其转换为合适的指令序列；而mov r0, #0x12345678是无效指令，因为ARM的立即数编码只能表示8位循环右移偶数位的值。初学者常将两者混淆，导致编译错误。

误区四：忽略ATPCS中的栈对齐要求。ATPCS要求栈指针在函数调用边界处保持8字节对齐（ARMv5TE及以上架构）。如果汇编代码在调用C函数前未正确对齐SP，可能导致C代码中使用了ldrd/strd等双字指令时发生数据中止异常。在启动代码中，建议将SP设置为8字节对齐的地址。

误区五：在汇编中直接访问C全局变量时未使用extern声明。汇编代码访问C全局变量时，需要使用.extern伪操作声明该符号，否则链接器可能无法解析。正确做法是：

.extern g_counter   @ 声明C全局变量
ldr r0, =g_counter
ldr r1, [r0]        @ 读取g_counter的值

总结复盘：本章围绕ARM汇编与C混合编程，系统梳理了常用指令集、GNU汇编语法和交互机制。核心要点可以归纳为：①掌握LDR/STR、MOV、ADD/SUB、CMP、B/BL/BX、MRS/MSR等指令的用法和适用场景；②熟悉GNU汇编的段定义、符号导出、常量定义等伪操作；③深刻理解ATPCS规范，特别是寄存器使用约定和栈管理规则；④通过实际案例理解汇编与C在启动代码中的分工协作。在后续的U-Boot移植和内核启动分析中，这些知识将反复出现，建议读者对照实际代码多加练习。