内联汇编中的“匹配约束”是什么意思？

Question

当我尝试在 powerpc 架构上编译它们时，这个展台宏会导致警告。

#define INNERMUL asm( \
   " mullw    16,%3,%4       \n\t" \
   " mulhwu   17,%3,%4       \n\t" \
   " addc     16,16,%0       \n\t" \
   " addze    17,17          \n\t" \
   " lwz      18,%1          \n\t" \
   " addc     16,16,18       \n\t" \
   " addze    %0,17          \n\t" \
   " stw      16,%1          \n\t" \
:"=r"(cy),"=m"(_c[0]):"0"(cy),"r"(mu),"r"(tmpm[0]),"1"(_c[0]):"16", "17", "18","%cc"); ++tmpm;

#define PROPCARRY \
asm( \
   " lwz      16,%1         \n\t" \
   " addc     16,16,%0      \n\t" \
   " stw      16,%1         \n\t" \
   " xor      %0,%0,%0      \n\t" \
   " addze    %0,%0         \n\t" \
:"=r"(cy),"=m"(_c[0]):"0"(cy),"1"(_c[0]):"16","%cc");

在调用宏的每一行中，编译器都会收到以下警告：

../../src/math/mont.c:650: warning: matching constraint does not allow a register

任何人都可以告诉我这意味着什么，以及它以何种方式影响代码？ 而且由于我真的不习惯汇编程序，也许有人可以帮助我，在我的情况下是什么特别导致警告？

我的系统是 32 位的 freeBSD 我正在使用 gcc4.8.2

编辑：

这里是对应的x86_64代码，在x86上执行编译没有问题：

#define INNERMUL \
asm( \
   "movq %5,%%rax \n\t" \
   "mulq %4       \n\t" \
   "addq %1,%%rax \n\t" \
   "adcq $0,%%rdx \n\t" \
   "addq %%rax,%0 \n\t" \
   "adcq $0,%%rdx \n\t" \
   "movq %%rdx,%1 \n\t" \
:"=g"(_c[LO]), "=r"(cy) \
:"0"(_c[LO]), "1"(cy), "r"(mu), "r"(*tmpm++) \
: "%rax", "%rdx", "%cc")

#define PROPCARRY \
asm( \
   "addq   %1,%0    \n\t" \
   "setb   %%al     \n\t" \
   "movzbq %%al,%1 \n\t" \
:"=g"(_c[LO]), "=r"(cy) \
:"0"(_c[LO]), "1"(cy) \
: "%rax", "%cc")

也许这可以更清楚地说明代码在 powerpc 上的行为应该是什么。

Answer 1

在这两种情况下，您都有 cy 和 _c[0] 作为输入/输出变量。您已正确地将它们指定为具有匹配约束的输出和输入。这可能是 PPC 特定的，因为 "1" 在扩展 asm（注册号）中具有模棱两可的含义，我自己只在 x86 上工作。

您可以通过使用"+" 输出量词而不是"=" 将变量指定为输入/输出变量一次来消除警告（以及可能与之相关的任何错误）：

#define INNERMUL asm( \
   " mullw    16,%2,%3       \n\t" \
   " mulhwu   17,%2,%3       \n\t" \
   " addc     16,16,%0       \n\t" \
   " addze    17,17          \n\t" \
   " lwz      18,%1          \n\t" \
   " addc     16,16,18       \n\t" \
   " addze    %0,17          \n\t" \
   " stw      16,%1          \n\t" \
:"+r"(cy) \
,"+m"(_c[0]) \
:"r"(mu) \
,"r"(tmpm[0]) \
:"16", "17", "18","cc"); ++tmpm;

#define PROPCARRY \
asm( \
   " lwz      16,%1         \n\t" \
   " addc     16,16,%0      \n\t" \
   " stw      16,%1         \n\t" \
   " xor      %0,%0,%0      \n\t" \
   " addze    %0,%0         \n\t" \
:"+r"(cy) \
,"+m"(_c[0]) \
: \
:"16","cc");

编辑：来自 gcc 扩展 asm 手册：

扩展 asm 支持输入输出或读写操作数。使用约束字符“+”表示这样的操作数，并与输出操作数一起列出。

我也不确定"%cc" 是否是一个有效的clobber 标识符，通常你不会在前面加上"%"。在 x86 上，适当的标识符是 "cc"。