在GCC内联asm中，影响内存操作数寻址模式的早期clobber的错误行为的具体示例？

Question

下面摘录自GCC手册的扩展Asm文档，关于使用Asm关键字在C中嵌入汇编指令：

如果一个输出参数(a)允许寄存器约束，而另一个输出参数(b)允许存储器约束，也会出现同样的问题。GCC生成的用于访问b中的存储器地址的代码可以包含可能由a共享的寄存器，并且GCC认为这些寄存器是ASM的输入。如上所述，GCC假设这样的输入寄存器在写入任何输出之前就被消耗了。如果asm语句在使用B之前写入a，则此假设可能导致不正确的行为。将'&'修饰符与a上的register约束结合起来确保修改a不会影响B引用的地址。否则，如果在使用b之前修改了a，则未定义b的位置。

斜体句子表示，如果asm语句在使用b之前写入a中，则可能存在“不正确的行为”。

如果我们只有一个带有一个核心的CPU，请出示一个可能产生这种不正确行为的asm代码，即修改A会影响B引用的地址，使得B的位置未定义。

我唯一熟悉的汇编语言是Intel x86汇编语言，所以请让示例针对那个平台。

Answer 1

请考虑以下示例：

extern int* foo();
int bar()
{
    int r;

    __asm__(
        "mov $0, %0 \n\t"
        "add %1, %0"
    : "=r" (r) : "m" (*foo()));

    return r;
}

通常的调用约定将返回值放入eax寄存器。因此，编译器很有可能决定在整个过程中使用eax，以避免不必要的复制。生成的程序集可能如下所示：

        subl    $12, %esp
        call    foo
        mov $0, %eax
        add (%eax), %eax
        addl    $12, %esp
        ret

请注意，mov$0,%eax在下一条指令尝试使用eax引用输入参数之前将eax置零，因此此代码将崩溃。使用早期的clobber，您会强制编译器选择不同的寄存器。在我的例子中，得到的代码是：

        subl    $12, %esp
        call    foo
        mov $0, %edx
        add (%eax), %edx
        addl    $12, %esp
        movl    %edx, %eax
        ret

        subl    $12, %esp
        call    foo
        mov     %eax, %edx
        mov $0, %eax
        add (%edx), %eax
        addl    $12, %esp
        ret