x86-64是否有一个约束类似于“i”约束，但仅当操作数值适合32位有符号立即数时才匹配？
对于下面显示的函数，我希望gcc在操作数适合32位有符号立即数时使用lock add mem, imm，并且我希望它使用“r”约束并在立即数不适合时生成mov r, imm; lock add mem, r。
当v是一个非常量值或一个适合于有符号32位立即数的常量时，所示代码可以正常工作，但当gcc与一个不适合于有符号32位立即数操作数的常量值一起使用时，它会生成一个无效指令。

static inline void atomic_add(volatile unsigned long *m, unsigned long v) 
{
    asm volatile ("lock addq %1, %0" : "+m"(*m) : "ri"(v));
}

我尝试在约束中使用“n”而不是“i”，但它似乎和“i”一样有效。删除“i”约束在所有情况下都有效，但它会将立即数移动到寄存器中，即使在不必要的情况下也是如此。由于绝大多数用法都有一个适合8位或32位的常量，所以我宁愿不使用这种解决方案。
下面是一个演示该问题的示例：https://godbolt.org/z/nPY46Kfdh

extern unsigned long  x;

unsigned long m(volatile unsigned long *v)
{
    atomic_add(v, 12ul);
    atomic_add(v, 12345ul);
    atomic_add(v, 123456789000ul);
    atomic_add(v, x);
    return *v;
}

• 这里有很多答案来解释为什么在add指令中不允许使用64位立即数，所以没有必要再解释为什么不支持它。