在扩展GCC asm中正确使用多个输入和输出操作数是什么？

Question

在寄存器约束下的扩展GCC ash中正确使用多个输入和输出操作数是什么？考虑我的问题的最小版本。以下是GCC、AT中的简短扩展ash代码

    int input0 = 10;
    int input1 = 15;
    int output0 = 0;
    int output1 = 1;

    asm volatile("mov %[input0], %[output0]\t\n"
                 "mov %[input1], %[output1]\t\n"
                 : [output0] "=r" (output0), [output1] "=r" (output1)
                 : [input0] "r" (input0), [input1] "r" (input1)
                 :);

    printf("output0: %d\n", output0);
    printf("output1: %d\n", output1);

根据https://gcc.gnu.org/onlinedocs/gcc/Extended-Asm.html语法似乎是正确的，但是，我一定忽略了什么，或者犯了一些我出于某种原因看不到的微不足道的错误。

GCC 5.3.0 p1.0（无编译器参数）的输出是：

输出0:10
输出1:10

预期输出为：

输出0:10输出1:15

在GDB中查看它显示：

0x0000000000400581

从我所看到的，它用input0加载eax，用input1加载edx。然后用eax覆盖edx，用edx覆盖eax，使两者相等。然后将其写回output0和output1。

如果我对输出使用内存约束（=m）而不是寄存器约束（=r），它会给出预期的输出，并且程序集看起来更合理。

Answer 1

问题是GCC假设所有输出操作数仅在指令末尾写入，在所有输入操作数都被消耗之后。这意味着它可以使用相同的操作数（例如寄存器）作为输入操作数和输出操作数，这就是这里发生的情况。解决方案是使用早期的clobber约束标记[output0]，以便GCC知道它在ami语句结束之前写入。

例如：

 asm volatile("mov %[input0], %[output0]\t\n"
              "mov %[input1], %[output1]\t\n"
              : [output0] "=&r" (output0), [output1] "=r" (output1)
              : [input0] "r" (input0), [input1] "r" (input1)
              :);

您不需要将[output1]标记为早期Clobber，因为它只在指令末尾写入，因此它是否使用与[input0]或[input1]相同的寄存器并不重要。