GCC扩展内联汇编异常：添加ZF标志检测变量后输出错误

看起来你踩了GCC内联汇编中操作数编号对应错误和指令目标宽度不匹配的常见坑，我来帮你拆解问题并给出正确的实现方式。

首先，先明确你原来的代码为什么能正常工作：
你用"=r"(sum)指定输出寄存器，两个"r"(a)、"r"(b)作为输入寄存器，同时通过"cc"告诉编译器这段汇编会修改条件码寄存器，编译器会正确分配寄存器并避免在前后插入依赖标志位的代码，所以加法结果没问题。

当你添加ZF标志检测后出错，大概率是以下两个原因之一：

1. 搞混了内联汇编的操作数编号顺序
2. 没有匹配setz指令的8位目标要求

错误示例（你可能的写法） #

假设你写了类似这样的代码：

int a, b, sum, zf;
scanf("%d%d", &a, &b);
asm volatile (
    "movl %1, %0\n"
    "addl %2, %0\n"
    "setz %3\n"  // 错误：%3是输入的b，不是输出的zf
    : "=r"(sum), "=r"(zf)
    : "r"(a), "r"(b)
    : "cc"
);
printf("%d %d\n", sum, zf);

这里的核心问题是：内联汇编的操作数编号是先输出、后输入的顺序——第一个输出是%0，第二个输出是%1；第一个输入是%2，第二个输入是%3。你错误地把%3指向了输出变量zf，实际它是输入的b，导致汇编修改了b的值，进而破坏了加法结果。

正确实现方式 #

下面是两种可靠的写法，都能正确获取ZF标志并计算sum：

写法1：用寄存器存储ZF（需指定8位宽度）

#include <stdio.h>

int main() {
    int a, b, sum, zf;
    scanf("%d%d", &a, &b);
    
    asm volatile (
        "movl %2, %0\n"          // 将a加载到sum对应的寄存器%0
        "addl %3, %0\n"          // 加上b对应的寄存器%3，修改标志位
        "setz %b1\n"             // 将ZF值写入zf对应的寄存器%1的8位部分（%b修饰符指定8位宽度）
        : "=r"(sum), "=r"(zf)    // 输出约束：%0=sum，%1=zf
        : "r"(a), "r"(b)         // 输入约束：%2=a，%3=b
        : "cc"                   // 告诉编译器汇编修改了条件码寄存器
    );
    
    printf("Sum: %d, Zero Flag is %s\n", sum, zf ? "set" : "not set");
    return 0;
}

• %b1是关键：setz指令只能写入8位目标，%b修饰符会让编译器使用寄存器的8位部分（比如%eax对应%al），避免宽度不匹配的错误。
• 严格遵循操作数编号顺序：输出在前，输入在后，确保汇编操作的是正确的变量。

写法2：直接写入内存（更简单）

如果不想处理寄存器宽度，也可以让setz直接写入zf的内存地址，用"=m"约束：

#include <stdio.h>

int main() {
    int a, b, sum, zf;
    scanf("%d%d", &a, &b);
    
    asm volatile (
        "movl %2, %0\n"
        "addl %3, %0\n"
        "setz %1\n"             // 直接写入zf的内存位置
        : "=r"(sum), "=m"(zf)
        : "r"(a), "r"(b)
        : "cc"
    );
    
    printf("Sum: %d, Zero Flag is %s\n", sum, zf ? "set" : "not set");
    return 0;
}

这种写法不需要额外的宽度修饰符，setz可以直接操作内存，代码更简洁。

关键注意事项 #

1. 永远记住操作数编号规则：输出约束从%0开始，输入约束接着输出的编号继续递增。
2. setz等标志位指令的目标必须是8位：要么用%b修饰寄存器，要么直接用内存操作数。
3. 保留"cc"破坏列表：加法指令会修改EFLAGS寄存器，必须告诉编译器这一点，防止编译器插入依赖标志位的代码导致冲突。

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