GCC内嵌汇编代码-北京尧图网络

内嵌汇编代码基本用法基础内嵌汇编代码内嵌汇编就是在 C 代码里直接写汇编指令主要解决 3 个问题极致性能优化对时间敏感的代码比如中断处理、原子操作用汇编能实现编译器做不到的优化。访问特殊指令像内存屏障、缓存维护、CPU 状态寄存器操作这类 C 语言无法直接调用的指令。硬件底层交互直接操作寄存器、实现锁机制、原子操作等内核级功能。它分为两种形式基础内嵌汇编basic asm不带任何参数格式最简单。扩展内嵌汇编extended asm支持输入 / 输出参数是实际开发中最常用的形式。基础内嵌汇编就是直接调用汇编指令格式如下asm(汇编指令);关键特点asm是 GCC 扩展关键字用来标记内嵌汇编代码块。GCC 会把引号里的内容当成纯字符串不会解析或优化里面的汇编指令。多条指令时必须用\n换行否则汇编器会报错。常见用法调用特殊指令比如缓存维护指令asm(icialluis); // 调用高速缓存维护指令扩展内嵌汇编代码扩展内嵌汇编是带参数的完整形式完整模板如下asm volatile ( 指令部分 // 汇编指令代码块 : 输出部分 // 描述哪些 C 变量会被汇编修改 : 输入部分 // 描述哪些 C 变量会被汇编读取 : 损坏部分 // 告诉编译器哪些寄存器/内存被修改 );① 核心修饰符修饰符作用volatile关闭 GCC 对这段汇编的优化防止编译器把汇编代码 “优化没了”必须加inline让 GCC 把汇编编译成最短的机器码减少函数调用开销goto允许汇编指令跳转到 C 语言的标签后面单独讲② 指令部分写后面需要执行的汇编指令多条指令用\n换行比如ldxr %0, [%2]\n // 加载内存值到寄存器 add %0, %0, %3\n // 加法操作 stxr %w1, %0, [%2]\n // 存储结果回内存这里的%0%1是占位符对应后面输出 / 输入部分的参数从 0 开始编号。③ 输出部分告诉编译器 “哪些变量被修改了”格式:约束条件(变量名)多个参数用逗号分隔。关键规则必须用或开头表示变量只写汇编只会修改它不会读取初始值。表示变量可读可写汇编既会读取初始值也会修改它。告诉编译器输出寄存器不能和任何输入寄存器共用同一个物理寄存器int x 5, y 10, z; __asm__ ( mov %0, #0\n // 先把结果清零 add %0, %0, %1\n // 加 x add %0, %0, %2\n // 加 y : r(z) : r(x), r(y) ); // 如果编译器分配成 %0 R0 (z) %1 R0 (x) ← 和 %0 共用 %2 R1 (y) // 实际执行 mov R0, #0 ; z 0 add R0, R0, R0 ; 想加 x但 x 也在 R0实际000x5 丢了 add R0, R0, R1 ; 加 y // 结果错误因为 x 的值在第一条指令就被覆盖了。 __asm__ ( mov %0, #0\n add %0, %0, %1\n add %0, %0, %2\n : r(z) // ← 加上要求独立的寄存器 : r(x), r(y) );常见约束符r让 GCC 自动分配一个通用寄存器来存变量。m直接使用内存地址不经过寄存器。QARM64 原子操作专用直接操作内存且隐含memory约束。o要求内存地址是基地址偏移的形式v内存变量不允许偏移如[R0, #4]这种不行 p操作数是一个指针/地址而不是地址里的值。i立即数编译时已知的常量asm (mov %0, %1 : r(a) : i(123));示例:r(mask)表示mask变量是 “只写” 的用通用寄存器传递。④ 输入部分告诉编译器 “哪些变量被读取了”格式: 约束条件(变量名)多个参数用逗号分隔。关键规则不能用或开头只能用只读约束比如rm。GCC 会假设输入变量在汇编执行前后值不变不会主动修改它。示例: r(idx), r(sz)表示idx和sz是汇编要读取的输入参数。⑤ 损坏部分告诉编译器 “哪些资源被破坏了”格式: 资源名多个用逗号分隔作用是让编译器避开这些资源避免冲突。常见值memory告诉编译器汇编修改了内存必须重新加载内存值防止乱序优化原子操作 / 内存屏障必须加。cc告诉编译器汇编修改了状态寄存器比如 CMP、BNEZ 指令会改标志位。寄存器名比如x0x1表示汇编直接修改了这些寄存器编译器不能再用它们存其他值。⑥ 关键示例拆解示例 1关闭本地 IRQARM64static inline unsigned long arch_local_irq_save(void) { unsigned long flags; asm volatile ( mrs %0, daif \n // 读取PSTATE寄存器的DAIF字段IRQ状态 msr daifset, #2 \n // 关闭本地IRQ : r(flags) // 输出flags变量只写通用寄存器 : // 输入无 : memory // 损坏修改了内存/寄存器状态 ); return flags; }输出部分%0对应flags保存修改前的 IRQ 状态。损坏部分memory确保编译器不会乱序优化这段代码。示例 2原子加法ARM64void my_atomic_add(unsigned long val, void *p) { unsigned long tmp; int result; asm volatile ( 1: ldxr %0, [%2]\n // 独占加载内存值到tmp add %0, %0, %3\n // tmp val stxr %w1, %0, [%2]\n // 尝试独占存储result0表示成功 cbnz %w1, 1b\n // 失败则重试 : r(tmp), r(result), Q(*(unsigned long *)p) : r(val) : cc, memory ); }输出部分的Q(*p)表示可读可写Q是 ARM64 原子操作专用约束直接操作内存。损坏部分的cc因为cbnz指令修改了状态寄存器。使用汇编符号名为了避免用%0%1这种难读的编号可以给参数起 “符号名”格式[符号名] 约束(变量)。示例加法函数int add(int i, int j) { int res 0; asm volatile ( add %w[result], %w[input_i], %w[input_j] : [result] r(res) // 输出result对应res变量 : [input_i] r(i), [input_j] r(j) // 输入input_i/input_j对应i/j ); return res; }这样代码可读性直接拉满不用再对着参数顺序数%0%1。使用goto修饰词当汇编需要跳转到 C 语言的标签时用asm goto模板asm goto ( 指令部分 : // 输出部分必须为空 : 输入部分 : 损坏部分 : C语言标签列表 // 允许跳转的标签 );示例判断参数是否为 1static int test_asm_goto(int a) { asm goto ( cmp %w0, 1\n // 比较a和1 b.eq %l[label]\n // 相等则跳转到label : : r(a) : memory : label // 允许跳转到C语言的label标签 ); return 0; label: printf(a %d\n, a); return 0; }关键限制输出部分必须为空跳转标签要在最后声明。内嵌汇编函数与宏的结合内嵌汇编和 C 宏结合能写出通用的原子操作函数比如 Linux 内核的ATOMIC_OP宏#define ATOMIC_OP(op, asm_op) \ static inline void atomic_##op(int i, atomic_t *v) { \ int res, tmp; \ asm volatile( \ 0: ldxr %w[tmp], [%[v]]\n \ #asm_op %w[tmp], %w[tmp], %w[i]\n \ stxr %w[res], %w[tmp], [%[v]]\n \ cbnz %w[res], 0b\n \ : [res] r(res), [tmp] r(tmp) \ : [i] r(i), [v] r(v) \ : memory, cc \ ); \ } ATOMIC_OP(add, add)##op用来拼接函数名比如atomic_add#asm_op把宏参数转成汇编指令字符串一行宏就能生成多个原子操作函数。#转字符串符生成指令名。 #asm_op %[i], %[v]\n展开过程参数 asm_op stadd#asm_op → stadd字符串最终汇编指令stadd %w[i], %[v]\n具体案例分析① 问题代码static void swap_data(unsigned char *src, unsigned char *dst, unsigned int size) { unsigned int len 0; unsigned int tmp; asm volatile ( 1: ldrh w5, [%[src]], #2\n lsl w6, w5, #8\n orr %w[tmp], w6, w5, lsr #8\n strh %w[tmp], [%[dst]], #2\n add %[len], %[len], #2\n cmp %[len], %[size]\n bne 1b\n : [dst] r (dst), [len] r (len), [tmp] r (tmp) : [src] r (src), [size] r (size) : memory ); } int main(void) { int i; unsigned char *bufa malloc(SIZE); if(!bufa) { return 0; } unsigned char *bufb malloc(SIZE); if(!bufb) { free(bufa); return 0; } for(int i0; iSIZE; i) { bufa[i] i; } swap(bua, bufb, SIZE); free(bufa); free(bufb); return 0; }这个程序要实现一个功能把 bufa 里的每个 2 字节交换高低位然后存到bufb里。功能跑起来是正常的但 free(bufa) 的时候报错munmap_chunk(): invalid pointer最后程序 Aborted 崩溃。问题核心bufa这个指针在调用swap_data之后指向的地址变了释放的时候用了一个错误的地址所以内存管理直接报错。② 错误代码的核心问题static void swap_data(unsigned char *src, unsigned char *dst, unsigned int size) { unsigned int len 0; unsigned int tmp; asm volatile ( 1: ldrh w5, [%[src]], #2\n // ① 问题出在这里 lsl w6, w5, #8\n orr %w[tmp], w6, w5, lsr #8\n strh %w[tmp], [%[dst]], #2\n add %[len], %[len], #2\n cmp %[len], %[size]\n bne 1b\n : [dst] r (dst), [len] r (len), [tmp] r (tmp) : [src] r (src), [size] r (size) // ② 这里是致命错误 : memory ); }错误点 1src指针被指令本身修改了关键指令ldrh w5, [%[src]], #2ldrh是 “加载半字” 指令[%[src]], #2表示先从src地址加载数据然后src 2也就是说这条指令执行完src的值会自动 2这意味着src指针会在循环里被不断修改从bufa的起始地址一步步往后走。错误点 2src被放在了「输入部分」: [src] r (src) // 这里是输入部分GCC 对输入部分的参数有一个强假设输入参数的值在汇编执行前后不会改变编译器会认为 src 只是一个 “只读” 的值会用它原本的寄存器直接参与后续操作。汇编里用ldrh指令修改了src寄存器的值自动 2而 GCC 完全不知道还以为寄存器里还是原来的bufa地址加上-O2优化GCC 直接把swap_data内联进了main函数结果修改的不是src的副本而是main里保存bufa地址的那个寄存器最后free(bufa)时寄存器里已经不是bufa的起始地址了而是已经被修改过的指针导致报错。隐藏错误点3寄存器w5/w6没声明在损坏列表里ldrh w5, [%[src]], #2 lsl w6, w5, #8汇编里直接用了w5和w6两个寄存器但在损坏列表里没写: memory // 没写 w5, w6GCC 不知道这两个寄存器被修改了可能会把它们分配给其他变量使用导致值被意外覆盖引发随机 bug。③ 正确的修复方案static void swap_data(unsigned char *src, unsigned char *dst, unsigned int size) { unsigned int len 0; unsigned int tmp; asm volatile ( 1: ldrh w5, [%[src]], #2\n lsl w6, w5, #8\n orr %w[tmp], w6, w5, lsr #8\n strh %w[tmp], [%[dst]], #2\n add %[len], %[len], #2\n cmp %[len], %[size]\n bne 1b\n : [dst] r (dst), [len] r (len), [tmp] r (tmp), [src] r (src) // ① 把 src 移到输出部分声明为可读可写 : [size] r (size) : memory, w5, w6 // ② 把 w5、w6 加到损坏列表里 ); }修复点 1src从输入部分 → 输出部分属性改为r: [src] r (src)r表示这个参数既可以读也可以被修改。GCC 会为src分配一个独立的临时寄存器汇编修改的是这个副本不会影响main里的原始bufa地址。从反汇编里能看到GCC 会额外分配一个寄存器比如x3用来保存src的值汇编里只操作x3不会动原来的x21。修复点 2损坏列表里加上w5w6: memory, w5, w6告诉 GCCw5和w6被我用了你别把其他变量放这两个寄存器里避免冲突。④ 从反汇编看前后对比错误版本的反汇编// 错误版本直接用了保存 bufa 地址的 x21 寄存器 ldrh w5, [x21], #2 // ... bl free(x21) // 此时 x21 已经被修改过了汇编直接操作了x21保存bufa地址的寄存器修改了它的值。最后free用的是修改后的地址所以报错。修复版本的反汇编// 修复版本GCC 额外分配了 x3 寄存器 mov x3, x21 // 把 bufa 地址复制到 x3 ldrh w5, [x3], #2 // 只修改 x3不碰 x21 // ... bl free(x21) // x21 还是原来的 bufa 地址一切正常汇编操作的是临时寄存器x3x21里的原始地址没被修改。free用的是正确的地址程序正常退出。⑤ 这个案例给我们的 4 条关键教训必须明确参数的读写属性汇编指令如果会修改参数的值比如ldrh带!或, #2自增就不能放在输入部分必须用r放在输出部分。手动使用的寄存器必须在损坏列表里声明直接写w5x10这类寄存器一定要在:后面列出来否则 GCC 会误以为这些寄存器是空闲的。可能导致后面的代码使用这类寄存器破坏数据memory损坏列表的作用汇编里读写了内存一定要加memory防止编译器乱序优化导致数据不一致。-O2优化会暴露所有内嵌汇编的问题不加优化时函数不会被内联问题可能被隐藏加了-O2后所有约束不严谨的问题都会直接暴露出来。

GCC内嵌汇编代码

相关推荐

小白程序员必备！大模型应用开发工程师学什么？收藏这份学习路线图

Spring Boot 3 + Vue 3 学生管理系统毕业设计实战：功能拆解、数据库设计与源码结构

相机断流、丢帧、内存爆——工业采集的 3 种死法

更多资讯

Z-EVES在现代Linux系统上的兼容性部署与验证实战

AutoRemesher自动重网格原理与工程实践指南

工单管理系统源码解析：Spring Boot + Vue 前后端分离实战

Delphi老项目PDF处理：Foxit Quick PDF Library 17.11实战指南

Libvio访问异常排查：403与502错误从Nginx到后端的全链路诊断

从零开始：在物理机上安装ESXi裸机虚拟化平台完全指南

今日更新

Verilog实现FPGA密码锁：矩阵键盘与状态机设计实战

数据服务监控运维实战：从指标体系到告警治理与故障排查

FreeRTOS任务通知实战详解：内核原理、API与避坑指南

本周精选

金融AI落地指南：从调研报告到技术选型与工程实践

大模型上下文成本与注意力优化技术深度解析——为何O(n²)平方复杂度无法被常规优化消除｜TaoToken 统一 Key 通道实测

基于GMM的语音识别系统原理与MATLAB实现详解

本月热门

我发现了一个新思路：用 Remotion + Claude Code 像写代码一样自动化生成短视频

Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式：TaoToken 统一 Key 配置与验证

2026 大模型集体涨价：用 Python 做企业 Token 成本测算与选型避坑（附配置）

读完文章，想聊聊您的网站？