为什么内联汇编中需要使用Clobbered registers list？

先纠正手册的错误表述 #

你看到的手册中「编译器会在汇编代码执行前清空这些寄存器」是完全错误的描述。Clobber list的核心作用是告知编译器你编写的内联汇编代码会修改列表中标注的寄存器、内存或状态标志，编译器对应的处理逻辑也不是清空，而是：

• 如果这些寄存器中存储了编译器之前分配的C变量值，且后续代码还需要用到这些值，它会在内联汇编执行前将值备份到栈上，汇编执行完后再恢复
• 编译器不会再假设clobber列表中的寄存器，在汇编执行后还保留执行前的原始值

为什么必须向编译器提供这些信息 #

编译器生成C代码对应的机器码时，会自动做寄存器分配优化：它会把高频使用的C变量直接存在寄存器中，不需要反复读写内存，大幅提升程序运行效率。整个过程中编译器会默认所有寄存器的值，除非自己主动修改，否则不会发生变化。

如果你写的内联汇编偷偷修改了某个寄存器，却没有加到clobber列表中，编译器完全感知不到这个修改，后续还是会基于「该寄存器值没变」的假设去读取里面存的变量值，直接导致逻辑错误。

示例演示 #

我们以x86_64架构的GCC内联汇编为例：

错误写法（未加clobber列表） #

int add_one(int x) {
    int res;
    // 汇编中修改了rdx寄存器，但没有告知编译器
    asm volatile (
        "mov $1, %%rdx \n"
        "add %%rdx, %0 \n"
        : "=a"(res)  // 输出res存在rax寄存器
        : "0"(x)     // 输入x和输出用同一个寄存器，也就是初始rax=x
        // 此处没有标注rdx为clobber寄存器
    );
    return res + x;
}

如果编译器分配寄存器时，把输入参数x存在了rdx寄存器中：内联汇编会把rdx强制改成1，后续执行res + x时，编译器会直接读取rdx的值作为x，最终结果就会出错。比如输入x=2，预期输出是3+2=5，实际会得到3+1=4。

正确写法（补充clobber列表） #

int add_one(int x) {
    int res;
    asm volatile (
        "mov $1, %%rdx \n"
        "add %%rdx, %0 \n"
        : "=a"(res)
        : "0"(x)
        : "rdx" // 告知编译器rdx会被汇编代码修改
    );
    return res + x;
}

补充rdx到clobber列表后，编译器就知道rdx的值会被修改，要么提前把x存到其他寄存器或栈上，要么不会把需要保留的值存在rdx中，完全避免逻辑错误。

你的疑问解答 #

• 保留寄存器原有值有什么问题？：不是保留的问题，而是你写的内联汇编已经主动修改了寄存器的值，你不告知编译器的话，它感知不到这个修改，还会用旧值做计算，必然出错。
• 是不是编译器会先备份再恢复？：只有当clobber列表中的寄存器存了后续还要用的值时，编译器才会做备份恢复操作，如果后续不需要这些寄存器里的旧值，编译器不会做多余操作，不会浪费性能。

内容的提问来源于stack exchange，提问作者algo