C语言与汇编语言如何联合编程？

为什么要在 C 中嵌入汇编？

C 语言虽然强大且可移植，但在某些方面有其局限性：

1. 极致性能优化：编译器虽然很智能，但有时无法完全理解程序员对特定硬件的意图，手动编写汇编可以生成针对特定 CPU 指令集（如 AVX、NEON）或特定数据通路的、高度优化的代码。
2. 访问特定硬件指令：某些 CPU 指令没有对应的 C 语言操作符，x86 的 CPUID 指令（获取 CPU 信息）、RDTSC 指令（读取时间戳计数器）、ARM 的 MRS/MSR 指令（访问系统控制寄存器）等，必须通过汇编来调用。
3. 系统调用：在 Linux 和 Unix 系统中，用户程序通过 int 0x80 (32-bit) 或 syscall (64-bit) 指令陷入内核，C 库（如 glibc）封装了这些调用，但直接使用汇编可以绕过库，进行更底层的操作。
4. 关键代码段：对于对时间要求极高的代码（如实时系统、驱动程序），使用汇编可以确保代码的执行时间精确可控，避免编译器优化带来的不确定性。
5. 修改编译器无法优化的代码：有时编译器生成的汇编代码不够理想，我们可以通过内嵌汇编来手动控制。

在 C 中直接嵌入汇编（GCC/Clang 语法）

这是最直接、最常用的方法，GCC 和 Clang 编译器都支持强大的内联汇编语法。

基本语法

内联汇编的基本格式是 asm 伪指令，后面跟着一个字符串列表，每个字符串是一条汇编语句。

asm("汇编代码");

一个简单的 nop (No Operation) 指令：

asm("nop");

完整语法：asm 语句

为了更灵活地与 C 语言交互，我们使用完整的 asm 语法：

asm ( 汇编代码模板
    : 输出操作符列表
    : 输入操作符列表
    : 破坏描述符列表
);

这个语法被称为 AT&T 语法，是 GCC 在 x86 平台上的默认语法。

• 汇编代码模板：这是实际的汇编指令字符串。
• 输出操作符列表：告诉编译器，哪些汇编指令会修改 C 语言的变量，编译器会自动处理这些变量的存储和加载。
• 输入操作符列表：告诉编译器，哪些 C 语言的变量会被汇编指令读取，编译器会自动将这些变量的值加载到寄存器或内存中。
• 破坏描述符列表：告诉编译器，这段汇编代码会修改哪些寄存器或内存，而这些内容对于编译器来说是未知的，编译器会提前保存这些寄存器的值，并在汇编代码执行后恢复它们，以保证代码的正确性。

操作符详解

操作符用于指定变量如何与汇编交互。

实例：简单的加法

目标：实现 c = a + b，a=2, b=3，结果存入 c。

#include <stdio.h>
int main() {
    int a = 2;
    int b = 3;
    int c;
    // 内联汇编
    // 模板: "addl %1, %0"  -> 把 %1 (b) 加到 %0 (c) 上
    // 输出: "=r"(c)       -> c 是一个输出变量，存放在任意寄存器中，用 %0 表示
    // 输入: "r"(a), "r"(b) -> a 和 b 是输入变量，存放在任意寄存器中，用 %1, %2 表示
    // 破坏描述: 无
    asm("addl %1, %0"
        : "=r"(c)    // %0 对应 c
        : "r"(a), "r"(b) // %1 对应 a, %2 对应 b
    );
    printf("The result is: %d\n", c); // 输出: The result is: 5
    return 0;
}

编译与运行：

gcc -o add_example add_example.c
./add_example

代码解析：

• addl %1, %0：这是 AT&T 语法。addl 表示加一个双字（32位）。%1 是第一个输入操作数（即变量 a），%0 是第一个输出操作数（即变量 c）。
• 编译器会自动完成：
  1. 将 a 的值（2）加载到一个寄存器（%eax）。
  2. 将 b 的值（3）加载到另一个寄存器（%ebx）。
  3. 执行 addl %ebx, %eax，%eax 的值变为 5。
  4. 将 %eax 的值（5）写回到变量 c 的内存地址中。

调用外部汇编文件（模块化方法）

当汇编代码量很大时,将其嵌入 C 文件会变得非常混乱，更好的方法是将其放在单独的 .S 或 .asm 文件中，然后像调用普通 C 函数一样调用它。

步骤：

1. 创建汇编文件：my_asm.S。
2. 在汇编文件中定义函数：遵循 C 的调用约定。
3. 在 C 文件中声明函数：使用 extern 关键字。
4. 编译并链接：将 C 代码和汇编代码一起编译链接成一个可执行文件。

实例：计算两个数的最大值

汇编文件 max.S

// .S 文件是预处理过的汇编文件，可以包含 C 风格的注释
// 定义一个函数，遵循 x86-64 的 System V 调用约定
.global max // 使函数对链接器可见
max:
    // 函数参数:
    // %rdi: 第一个参数 a
    // %rsi: 第二个参数 b
    // 返回值放在 %rax 中
    movl %edi, %eax   // 将 a 移动到 %eax (返回值寄存器)
    cmpl %esi, %eax   // 比较 b (%esi) 和 a (%eax)
    jg .done          // b > a, 跳转到 .done
    movl %esi, %eax   // 否则，将 b 的值赋给返回值 %eax
.done:
    ret               // 返回

C 文件 main.c

#include <stdio.h>
// 声明外部汇编函数
extern int max(int a, int b);
int main() {
    int x = 10;
    int y = 20;
    int result = max(x, y);
    printf("The maximum of %d and %d is: %d\n", x, y, result);
    return 0;
}

编译与链接

# 第一步：汇编 .S 文件，生成 .o 目标文件
as -o max.o max.S
# 第二步：编译 .c 文件，生成 .o 目标文件
gcc -c -o main.o main.c
# 第三步：链接所有 .o 文件，生成最终可执行文件
gcc -o max_program main.o max.o
# 运行
./max_program

输出：

The maximum of 10 and 20 is: 20

调用约定的重要性： 在上面的例子中，我们严格遵循了 x86-64 的 System V 调用约定：

• 参数传递：前 6 个整数/指针参数依次通过 %rdi, %rsi, %rdx, %rcx, %r8, %r9 传递。
• 返回值：整型返回值放在 %rax 寄存器中。
• 寄存器保护：函数被调用后，需要由函数自己保存和恢复的寄存器（如 %rbx, %rbp, %r12-%r15）被称为“被调用者保存”（callee-saved），而像 %rax, %rdi 等则是“调用者保存”（caller-saved）。
• 栈帧管理：push/pop 指令用于管理栈和保存寄存器。

如果违反了调用约定,程序就会出现不可预测的错误。

总结与对比

选择建议

• 首选外部汇编：除非你有非常充分的理由（比如一个几行就能搞定的、极致优化的核心循环），否则强烈推荐使用外部汇编文件，这是更专业、更易于维护的做法。
• 内嵌汇编作为补充：当你只需要在 C 代码中插入几条指令来完成特定任务（如读取 RDTSC 或 CPUID）时，内嵌汇编非常方便。

通过掌握这两种方法,你就可以在 C 语言的世界里，自由地调用汇编的强大能力，从而实现更底层、更高效、更灵活的程序。