意外的GCC内联ASM行为（重写的变量）

Question

有没有人要对我说或评论？

#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

多亏了弄臣的解决之道：

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

Answer 1

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

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

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

显然，编译器为参数0和1选择了dx。允许这样做，因为默认情况下，它假定输入参数在写入任何输出之前已被使用。要发出不是这种情况的信号，您必须对输出操作数使用一个早期的clobber修饰符，因此它看起来像“=&r”。