意外的 GCC 内联 ASM 行为（被破坏的变量被覆盖）

Question

在我的电脑上，编译后的可执行文件省略了在循环顶部执行“mov %2, %%ax”

当 "add %1, %%ax" 未注释时。

有人要仔细检查或评论吗？

#include <stdio.h>

int main() {

short unsigned result, low ,high;

    low  = 0;
    high = 1;

    __asm__ (   
        "movl $10, %%ecx \n\t"

        "loop: mov  %2, %%ax \n\t"

//      "add    %1, %%ax \n\t"      // uncomment and result = 10
        "mov    %%ax, %0     \n\t"

        "subl   $1, %%ecx \n\t"                 
        "jnz loop"                              
        : "=r" (result)
        : "r" (low) , "r" (high)
        : "%ecx" ,"%eax" );        

    printf("%d\n", result);  
    return 0;
}

遵循生成的程序集

movl $1, %esi
xorl %edx, %edx
/APP
movl $10 ,%ecx 

loop: mov %si, %ax 
mov  %dx, %bx 
add %bx, %ax 
mov %ax, %dx     
subl $1, %ecx 
jnz loop  
/NO_APP

感谢 Jester 的解决方案：

    : "=&r" (result)        // early clober modifier

Answer 1

GCC 内联汇编是高级编程，有很多陷阱。确保您确实需要它，并且不能用独立的汇编模块或使用内部函数的 C 代码替换它。或向量支持。

如果您坚持使用内联汇编，您应该准备至少查看生成的汇编代码并尝试从中找出任何错误。显然，编译器不会省略您写入 asm 块的任何内容，它只是替换参数。如果您查看生成的代码，您可能会看到如下内容：

    add    %dx, %ax
    mov    %ax, %dx

显然编译器选择了dx 作为参数0 和1。允许这样做，因为默认情况下它假定输入参数在写入任何输出之前被消耗。为了表明情况并非如此，您必须使用early clobber modifier 作为输出操作数，因此它看起来像"=&r"。

PS：即使内联汇编似乎可以工作，它也可能有隐藏的问题，当编译器碰巧做出其他选择时，它可能会在另一天困扰你。你真的应该避免它。