为何GCC内联汇编无法按预期工作？寄存器传递变量问题

问题根源 #

你遇到的核心问题是内联汇编硬编码了寄存器，未使用GCC内联汇编的占位符机制。当使用=&r约束时，GCC会为变量a/b/c自动分配寄存器，但你的汇编代码直接写死了eax/ebx/ecx，这些寄存器和编译器分配给变量的寄存器大概率不匹配。加上-O3优化下，编译器会认为变量对应的寄存器未被修改，不会更新内存中的垃圾值，最终导致printf读取到未定义数据。

而=&m约束之所以正常，是因为内存约束直接让汇编代码写入变量的内存地址，跳过了寄存器分配的匹配问题，printf读取内存时自然能拿到正确值。

解决方案：使用占位符引用编译器分配的寄存器 #

不要硬编码寄存器，改用%0、%1、%2这类占位符对应输出约束里的变量，让GCC自动处理寄存器分配，确保赋值操作针对的是变量绑定的寄存器。

修正后的代码示例：

#include <stdio.h>

int main() {
    int a, b, c;
    __asm__ __volatile__(
        "mov %0, 1\n"
        "mov %1, 2\n"
        "mov %2, 3\n"
        : "=&r"(a), "=&r"(b), "=&r"(c)  // 让编译器分配寄存器
        :                               // 无输入约束
        :                               // 无需手动声明clobber，编译器自动管理
    );
    printf("a=%d, b=%d, c=%d\n", a, b, c);
    return 0;
}

关键细节说明 #

• 占位符对应关系：%0对应第一个输出约束的变量a，%1对应b，%2对应c，GCC会自动替换为分配的寄存器名称（如edi、esi、edx等）。
• =&r的作用：=表示这是输出约束，&表示“早期clobber”，确保编译器不会将这些寄存器用于输入约束（此处无输入约束，主要避免寄存器复用冲突）。
• 无需手动clobber寄存器：使用编译器分配的寄存器时，GCC会自动管理其生命周期，不需要在clobber列表中声明。

修改后，-O3 -masm=intel编译时，GCC会确保赋值后的寄存器值与变量正确关联，后续printf调用时会直接使用寄存器中的有效值（或在必要时同步到内存），输出结果符合预期。

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