C 程序集：%eax 的返回值超出跳转指令错误：在“:”标记之前应为“)”

Question

在下面 c function

#1

int check()
{
__asm__ __volatile__ (
   <snip some activity that has a jump to not_supported>
   "movl $1, %eax \n\t"       \
   "jmp done \n\t"            \
"not_supported:\n\t"          \
   "movl $0, %eax \n\t"       \
“done:\n\t”
 );
}

返回值存放在eax寄存器中

这在 gcc (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0 上编译得很好但是由于错误执行在其他地方抱怨

error: no return statement in function returning non-void [-Werror=return-type] 

所以为了让 gcc 可以接受werror我添加了一个堆栈变量作为返回值到 #1

 int check()
 {
   int ret_value =0;

__asm__ __volatile__ (
         <snip some activity that has a jump to not_supported>
         "movl $1, %0 \n\t" : "=a"(ret_value) ::  \
         "jmp done \n\t"                          \
"not_supported:\n\t"                              \
         "movl $0, %0 \n\t" : "=a"(ret_value) ::  \
 "done:\n\t"
  );
 
 return ret_value;
}

即使在非错误情况下，gcc 也不允许编译：

: error: expected ‘)’ before ‘:’ token 
    "movl $0, %0 \n\t" : "=r"(ret_value) :: \

这首先抱怨：在movl指令中

我也尝试使用 output 的“=r”寄存器操作数约束，但它仍然无法编译。 我也尝试过将 clobber 寄存器显式指定为“eax”，但这也无济于事。
似乎 gcc 抱怨jmp之后的ret_value修改。

我尝试的另一件事是#1，从eax到ret_val的另一个mov ，这在逻辑上对我来说没有意义。 （我的意思是在done:后添加一条movl指令：将%eax的值移动到%0 ，即ret_val ）并且也没有编译。

我在这里缺少什么吗？

Answer 1

@margaretBloom 的建议很有帮助。 我删除了多次提到的 output 操作数，最后只保留了一个。 这有助于编译，但这里的反汇编 output 看起来像：

  0x000055555555519f <+53>: jmp    0x5555555551a6 <dummy_funct+60>
   0x00005555555551a1 <+55>:    mov    $0x0,%eax
   0x00005555555551a6 <+60>:    mov    %edx,-0x4(%rbp)
   0x00005555555551a9 <+63>:    mov    -0x4(%rbp),%eax
   0x00005555555551ac <+66>:    pop    %rbp
   0x00005555555551ad <+67>:    retq   

这里编译器试图将堆栈变量内容写入 eax。 从而覆盖掉原来存放在eax中的真正的output。

随着进一步的探索和错误修复，以下事情有效：

   "movl $1, %%eax \n\t"  \
   "movl %%eax, %0 \n\t"  \
   "jmp done \n\t"   \
not_supported:\n\t" \
   "movl $0, %%eax \n\t"  \
   "movl %%eax, %0 \n\t"  \
"done:\n\t"          \
   : "=r" (ret_value)
   :
   :"%eax", "%ebx", "%ecx"
);

诀窍是将结果记录在 eax 中，然后将这些结果显式复制到返回值并进行适当的破坏。 另一件事是为指令提供寄存器操作数而不是寄存器本身。