GCC内联汇编BT指令使用异常原因及正确实现方法

问题描述 #

实现逻辑需求：接收3个无符号整型变量a、b、c以及1个位掩码r，按优先级规则计算结果L：

• 若r的第2位（位索引从0开始计数，对应位索引1）被置位，L = c
• 若r的第2位未置位，但第1位（位索引0）被置位，L = b
• 若r的前2位均未置位，L = a
  为实现该逻辑，编写了基于GCC扩展内联汇编的测试代码，使用g++编译：

#include <cstdio>
#include <cstdlib>
int main(){
    unsigned int a=1;
    unsigned int b=2;
    unsigned int c=3;
    unsigned int r=1;
    unsigned int L;
    asm(
        "mov %2,%0;"
        "bt $0,%1;"
        "cmovc %3,%0;"
        "bt $1,%1;"
        "cmovc %4,%0;"
        : "=r" (L)
        : "r" (r), "r" (a), "r" (b), "r" (c)
    );
    printf("%d\n",L);
    return 0;
}

异常现象：测试用例中r赋值为1（二进制0b01，仅第1位置位），按预期L应等于b（值为2），但程序始终打印结果3（即c的值）。该问题在未开启-O3优化时不会复现，开启高优化级别后必现。

问题根因 #

异常的核心原因是内联汇编操作数约束配置与实际汇编逻辑的读写行为不匹配，具体分为两点：

1. 结果变量L的约束被错误设置为"=r"（只写属性）。但汇编代码第一条指令就是mov %2,%0，将a的值写入L绑定的寄存器%0，该操作要求操作数具备读写属性。只写约束下，编译器默认该寄存器在进入汇编块前不需要保留任何有效值，高优化级别下会出现异常寄存器分配：比如将a和r分配到同一个寄存器，第一条mov指令直接覆写r的原始值；如果L是函数传入的引用参数，编译器还可能提前将a/b/c的值存入L绑定的寄存器，完全忽略汇编逻辑对该寄存器的读写依赖。
2. 位测试指令bt的操作数r约束配置错误。虽然bt指令本身不会修改源操作数r，但未正确声明操作数的访问属性时，编译器可能将r绑定的寄存器分配给其他变量，导致汇编代码读取到的r值被意外覆写。

注意：这类约束不匹配问题在低优化级别下通常会被编译器保守的寄存器分配策略掩盖，只有开启高优化级别、编译器激进复用寄存器时才会触发，排查成本极高。编写GCC内联汇编时必须严格匹配每个操作数的实际读写属性，同时显式声明所有被修改的寄存器/标志位。

正确实现代码 #

修正操作数约束，同时补充clobber列表声明汇编代码对标志位寄存器的修改，使用命名操作数提升可读性：

#include <cstdio>
#include <cstdint>
int main(){
    unsigned int a=1;
    unsigned int b=2;
    unsigned int c=3;
    unsigned int r=1;
    unsigned int L;
    asm(
        "mov %[a], %[L];"
        "bt $0, %[r];"
        "cmovc %[b], %[L];"
        "bt $1, %[r];"
        "cmovc %[c], %[L];"
        : [L] "+r" (L), [r] "+r" (r)
        : [a] "r" (a), [b] "r" (b), [c] "r" (c)
        : "cc"
    );
    printf("%u\n", L);
    return 0;
}

修正点说明：

• 将L的约束从"=r"改为"+r"，标记为读写操作数，告知编译器进入汇编块前该寄存器的值会被使用，不能随意分配覆写
• 将r移到输出操作数列表，使用"+r"约束标记为读写操作数，避免编译器将该寄存器分配给其他输入变量
• 在clobber列表中添加"cc"，显式告知编译器汇编代码会修改CPU标志位，避免编译器错误假设标志位状态导致上下文异常
• 替换原代码中数字索引的操作数引用为命名引用，降低索引写错的概率

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