C内联汇编使用cmpxchg时遇“操作数大小不匹配”错误求助

嘿，我来帮你排查这段CAS内联汇编的问题——作为第一次写内联汇编，踩这些坑太正常了！咱们一步步拆解问题：

这是你代码里最致命的错误。x86架构下的cmpxchgl（32位版本）指令的语法和逻辑是固定的：

cmpxchgl <源操作数>, <目标操作数>

它的执行流程是：

1. 把EAX里的预期值和目标操作数（内存或寄存器）的值对比
2. 如果相等：把源操作数的新值写入目标操作数，同时设置ZF标志位为1
3. 如果不等：把目标操作数的当前值载入EAX，ZF标志位清0

你原来的代码写的是：

lock; cmpxchg %0, %3

这里%0是内存地址*(int*)addr（目标），%3是新值newval（源）——顺序完全反了！正确的写法应该是把新值作为源，内存作为目标，也就是：

lock; cmpxchgl %3, %0

你的代码通过pushfl/popl取出标志位再提取ZF位，这个逻辑本身没问题，但可以更简洁：我们可以直接用sete指令把ZF位转换成字节值，避免手动压栈弹栈的操作，同时让代码更易读。

我给你两个版本的修复代码，你可以根据需求选择：

版本1：保留你原有的返回逻辑（返回ZF位的原始值） #

这个版本修复了操作数顺序，同时补充了cc约束告诉编译器我们修改了条件码寄存器：

static inline int cas(volatile void* addr, int expected, int newval) {
    int ret;
    asm volatile("movl %2 , %%eax\n\t"
                "lock; cmpxchgl %3, %0\n\t"  // 修正操作数顺序，用cmpxchgl明确指定32位
                "pushfl\n\t"
                "popl %1\n\t"
                "and $0x0040, %1\n\t"
                : "+m" (*(int*)addr), "=r" (ret)
                : "r" (expected), "r" (newval)
                : "%eax", "cc"  // 添加cc约束，通知编译器条件码被修改
    );
    return ret;  // 返回非0表示CAS成功，0表示失败
}

版本2：优化为返回布尔值（更常用的CAS接口） #

如果你的需求是返回“是否替换成功”的布尔值（1=成功，0=失败），这个版本更简洁高效：

#include <stdbool.h>

static inline bool cas(volatile void* addr, int expected, int newval) {
    bool ret;
    asm volatile("movl %2, %%eax\n\t"
                "lock; cmpxchgl %3, %0\n\t"
                "sete %1\n\t"  // 直接将ZF位转换为字节值（成功为1，失败为0）
                : "+m" (*(int*)addr), "=q" (ret)
                : "r" (expected), "r" (newval)
                : "%eax", "cc"
    );
    return ret;
}

• 一定要保留volatile关键字，防止编译器对目标内存地址做优化，破坏原子性
• lock前缀必须加，确保多线程环境下CAS操作是原子的
• 这段代码只适用于x86/x86_64架构，其他架构需要用对应的原子指令

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