C中嵌入汇编代码，编译出错！

shaohui973

代码如下：

void  strprintf(char *pcStr, int dwLen)
{
       __asm__("movl %1, %%edx\n\t"
                       "movl %0, %%ecx\n\t"
                       "movl $0, %%ebx\n\t"
                       "movl $4, %%eax\n\t"
                       "int $0x80\n\t"
                       :
                       :"0"(pcStr),"1"(dwLen)
                       :  );

       return;
}

编译错误为：
error:matching constraint references invalid operand number


我看不出变量和寄存机结合有什么错误。

瀚海书香

回复 1# shaohui973

@smalloc 过来看看吧
   

smalloc

@瀚海书香 应该@老A
我只看出，给int80的参数传递是错的，
:"0"(pcStr),"1"(dwLen)
需要改为：
:dwLen,pcStr

kiongf

回复 1# shaohui973


     :"0"(pcStr),"1"(dwLen) -- 这里用法有问题.
我改成"m"(pcStr)， "m"(dwLen)就可以编译通过了.

很明显你用错了数字约束。

"0”"1" 这种匹配约束(或者数字约束).常用于一种变量可能作为input，output操作数.
asm("incl %0" :"=a" (var) :＂０＂（var));   --- register %eax将作为输入和输出变量. var 将读%eax作为输入, 执行指令后将被更新的%eax再次保存在var中。 "0"将指定0th output variable 作为同一个约束.

smalloc

回复 4# kiongf


    这位兄台，我觉得你找到的答案可能不完全，我猜想的是"0","1"约定本身和“寄存器模版”定义重合，即不定义"0""1",2个变量本身就被分配的是"0""1",而"0""1"这种约定是必须向前或向后重用的，结果是偏偏漏了自己，这个就报错了。

shaohui973

回复 4# kiongf


    将输入约束中的样板寄存器"0"和"1"改成"m"确实可以编译通过。我想问下：
    "0"(pcStr)    不就是表示将变量pcStr和样板寄存器%0关联吗？

     能详细讲讲这个数据约束到底该怎么用？

shaohui973

回复 5# smalloc


    这里不添加这个0和1样板寄存器约束时，他们本身是可以使用这些样板寄存器。

kiongf

回复 6# shaohui973


   
         "movl $4, %%eax\n\t"
                       "int $0x80\n\t"
                       :“=m” (whatever)
                       :"m"(pcStr),"m"(dwLen)
                       :  );

  有点类似于堆栈. whatever, pcStr,dwLen这些参数一起入栈，先入栈的第一个为%0,第二个%1这样依此类推。所以这里的%0是whatever, %1是pcStr, %2是dwLen.
当去掉whatever操作数时,
         "movl $4, %%eax\n\t"
                       "int $0x80\n\t"
                       :
                       :"m"(pcStr),"m"(dwLen)
                       :  );
%0则是pcStr, %1则是dwLen.
    当你使用“0”“1”这样的数字约束时, Gcc-inline-assembly中有提到, 该操作数是作为输入和输出使用.
        "movl $4, %%eax\n\t"
                       "int $0x80\n\t"
                       :“=m” (whatever) “=m” (whocare)
                       :"0"(whatever),"1"(whocare)
                       :  );
    典型的用法是这样子的.这样gcc就会把whatever从内存读入, 同时输出到内存中同一位置。whocare同理.

kiongf

回复 5# smalloc


    :wink:  我看的是比较老的gcc-inline-assembly手册, 可能改了.

smalloc

回复 9# kiongf


    你是对的。gcc/stmt.c
          match = strtoul (constraint + j, &end, 10);
          if (match >= (unsigned long) noutputs)
            {
              error ("matching constraint references invalid operand number");
              return false;
            }
match是约定数字转换后的数，那么这个数必须在输出个数以内。