第24章指针与内联汇编

课程目录第24章指针与内联汇编

第24章：指针与内联汇编：C语言中嵌入汇编、通过指针访问特殊寄存器、性能优化技巧

各位同学，今天我们来聊一个硬核话题——指针与内联汇编。说实话，很多C语言开发者写了好几年代码，都没碰过内联汇编。但如果你做嵌入式底层开发，这几乎是必修课。我个人习惯把内联汇编看作C语言的“后门”，当你需要直接操控硬件、访问特殊寄存器、或者做极致性能优化时，这个后门就派上用场了。

24.1 为什么需要内联汇编？

你可能会问：“C语言不是已经够底层了吗？为什么还要用汇编？”

嗯，这个问题问得好。C语言确实很底层，但它仍然是一种抽象。有些场景下，你绕不开汇编：

访问特殊寄存器：比如ARM的CPSR（当前程序状态寄存器），C语言没有直接对应的变量类型
特殊指令：像内存屏障（DMB/DSB）、关中断（CPSID）、WFI（等待中断）等，C语言没有对应语法
极致性能优化：某些关键循环，手写汇编可能比编译器优化后的代码快2-3倍

核心观点：内联汇编不是用来替代C语言的，而是用来填补C语言无法触及的“最后一公里”。

24.2 GCC内联汇编基础语法

GCC的内联汇编语法，说简单也简单，说复杂也复杂。基本格式如下：

__asm__ volatile (
    "汇编指令\n\t"
    "汇编指令\n\t"
    : 输出操作数列表
    : 输入操作数列表
    : 破坏列表
);

这里有几个关键点：

__asm__ 是关键字，也可以用 asm
volatile 告诉编译器不要优化掉这段汇编（很重要！）
操作数用 %0, %1 这样的占位符引用
每个操作数前面有约束符，比如 "r" 表示寄存器，"m" 表示内存

举个例子，一个简单的加法：

int a = 10, b = 20, result;

__asm__ volatile (
    "add %0, %1, %2\n\t"
    : "=r" (result)
    : "r" (a), "r" (b)
    : /* 无破坏列表 */
);

// result 现在等于 30

这段代码把 a 和 b 相加，结果存入 result。注意输出操作数用了 "=r"，等号表示“只写”。

个人经验：我刚开始写内联汇编时，经常忘记加 volatile。结果编译器觉得“这段代码没用”，直接给优化掉了。调试了一整天才发现是汇编根本没执行。嗯，从那以后我每次写内联汇编，第一件事就是检查 volatile 有没有写。

24.3 通过指针访问特殊寄存器

嵌入式开发中，特殊寄存器（比如GPIO输出寄存器、定时器控制寄存器）通常映射到固定的内存地址。用指针访问是最直接的方式。

比如STM32上，GPIOA的ODR寄存器地址是 0x40020014：

#define GPIOA_ODR  ((volatile uint32_t *)0x40020014)

// 设置PA0输出高电平
*GPIOA_ODR |= (1 << 0);

这里的关键是 volatile 关键字。为什么必须加？因为编译器看到你对同一个地址反复读写，可能会优化掉一些操作。比如：

// 错误示例：没有 volatile
uint32_t *reg = (uint32_t *)0x40020014;
*reg = 1;
*reg = 2;  // 编译器可能优化掉第一句，认为“反正后面会覆盖”

但硬件寄存器不是普通内存！写两次可能有不同的效果。所以必须用 volatile 告诉编译器：“每次读写都老老实实执行，别自作聪明。”

更高级的用法，是把内联汇编和指针结合起来。比如读取ARM的CPSR寄存器：

uint32_t read_cpsr(void) {
    uint32_t cpsr;
    __asm__ volatile (
        "mrs %0, cpsr\n\t"
        : "=r" (cpsr)
        :
        : /* 无 */
    );
    return cpsr;
}

然后你就可以用这个函数来检查当前CPU的工作模式、中断状态等。

避坑指南：我曾经在项目中使用内联汇编读取一个特殊寄存器，但忘记加 volatile。结果在-O2优化级别下，函数只调用了一次，后面读到的都是缓存值。硬件状态变了，代码却不知道。从那以后，我所有涉及硬件寄存器的内联汇编，都强制加 volatile。

24.4 性能优化技巧

内联汇编最大的价值之一，就是做性能优化。但要注意，不是所有地方都值得用汇编。我总结了几条经验：

24.4.1 关键循环的优化

比如一个简单的内存拷贝，C语言写出来可能是：

void memcpy_c(uint32_t *dst, uint32_t *src, int n) {
    for (int i = 0; i < n; i++) {
        dst[i] = src[i];
    }
}

用内联汇编优化后：

void memcpy_asm(uint32_t *dst, uint32_t *src, int n) {
    __asm__ volatile (
        "1:\n\t"
        "ldr r3, [%1], #4\n\t"
        "str r3, [%0], #4\n\t"
        "subs %2, %2, #1\n\t"
        "bne 1b\n\t"
        : "+r" (dst), "+r" (src), "+r" (n)
        :
        : "r3", "memory"
    );
}

这里用了 ldr 和 str 的后变址模式，每次读写后自动更新指针。循环用 subs 和 bne 实现。注意破坏列表里加了 "memory"，告诉编译器内存可能被修改。

实测数据：在ARM Cortex-M4上，这个汇编版本比C语言版本快约30%。但说实话，现代编译器的优化能力很强，很多时候手写汇编的优势并不明显。我建议只在确实需要压榨性能的地方才用。

24.4.2 原子操作

多核系统或者中断上下文中，原子操作很重要。C11标准提供了 stdatomic.h，但有些老编译器不支持。这时候内联汇编就派上用场了：

// ARM 上的原子加
int atomic_add(int *ptr, int val) {
    int old_val;
    __asm__ volatile (
        "1:\n\t"
        "ldrex %0, [%1]\n\t"
        "add %0, %0, %2\n\t"
        "strex r3, %0, [%1]\n\t"
        "cmp r3, #0\n\t"
        "bne 1b\n\t"
        : "=&r" (old_val)
        : "r" (ptr), "r" (val)
        : "r3", "memory"
    );
    return old_val;
}

这里用了ARM的 ldrex/strex 指令对，实现了一个原子加操作。如果 strex 失败（说明有其他核或中断修改了内存），就重试。

个人习惯：我一般把原子操作封装成内联函数，放在头文件里。这样既保证了性能，又保持了代码的可读性。你想想看，如果每次写原子操作都要写一遍内联汇编，那代码得多难看。

24.5 内联汇编的常见陷阱

写内联汇编，踩坑是难免的。我列几个最常见的：

陷阱	说明	解决方法
忘记 volatile	编译器优化掉汇编代码	始终加 volatile
约束符错误	比如用 "r" 但实际需要内存地址	仔细阅读GCC文档，用 "m" 或 "Q"
破坏列表遗漏	汇编修改了某个寄存器，但没告诉编译器	把所有用到的寄存器都列出来
指令集不匹配	ARM代码里用了Thumb指令	用 .syntax unified 统一语法

我曾经踩过的坑：有一次我写了一段内联汇编，功能是关中断。代码看起来没问题，但运行起来系统总是莫名其妙死机。调试了两天，最后发现是破坏列表里漏了 "memory"。编译器以为汇编没改内存，把一些变量的值缓存在寄存器里。中断关了，但缓存的值和实际内存不一致，导致逻辑错误。从那以后，只要内联汇编涉及系统状态改变，我一定加上 "memory"。

24.6 知识体系总览

下面这张图总结了本章的核心内容：

24.7 总结

内联汇编是一把双刃剑。用好了，可以解决C语言无法触及的问题；用不好，可能引入难以调试的bug。我个人建议：

能用C语言解决的问题，尽量用C语言。现代编译器的优化能力很强，不要为了炫技而用汇编。
必须用汇编的场景：访问特殊寄存器、原子操作、内存屏障、关中断等。
写内联汇编时：一定要加 volatile，仔细检查约束符和破坏列表。
测试：在不同优化级别下测试你的内联汇编，确保行为一致。

好了，这一章的内容就到这里。记住，内联汇编是C语言的补充，不是替代。合理使用，才能写出高效又可靠的嵌入式代码。

公众号:蓝海资料掘金营，微信deep3321

📚 课程目录