AVR-GCC内联汇编中输出寄存器的使用有哪些限制？

Question

uint8_t one ()
{
    uint8_t res;
    asm("ldi %[res],0\n"
        "inc %[res]\n"
        : [res] "=r" (res)
    );
    return res;
}

我看到的问题是，当我将内联asm改为直接在输出寄存器上工作时，它会中断，而不是使用r16进行计算，最后将r16移动到输出寄存器中。代码在这里：http://ideone.com/jtpyma。它将结果打印成串行，您只需要定义F_CPU和baud。该问题仅在使用GCC-4.8.0而不使用GCC-4.7.2时才出现。

[1]http://www.nongnu.org/avr-libc/user-manual/inline_asm.html

Answer 1

编译器并不关心你读不读它，它只是不会把变量的初始值放入寄存器中。您的示例完全合法，但人们通常错误地期望从此代码中得到结果2:

uint8_t one ()
{
    uint8_t res = 1;
    asm("inc %[res]\n"
        : [res] "=r" (res)
    );
    return res;
}

由于它只是一个输出约束，res的初始值不能保证加载到寄存器中。事实上，初始化器甚至可以在假定asm块无论如何都会覆盖它的情况下被优化掉。以上代码是由我的AVR-GCC版本编译成这样的：

inc r24
ret

正如您所看到的，编译器确实删除了将1加载到res中，从而将其加载到r24中，从而产生未定义的结果。

问题中更新的程序的问题是它还有一个输入寄存器操作数。默认情况下，编译器假定所有输入都在分配输出之前被消耗，因此分配重叠寄存器是安全的。你的例子显然不是这样。您应该为输出使用一个“Early Clobber”修饰符(&)。这就是《手册》要说的：

&表示（在一个特定的替代方案中）这个操作数是一个earlyclobber操作数，它在指令使用输入操作数完成之前被修改。因此，该操作数可能不位于用作输入操作数或作为任何存储器地址的一部分的寄存器中。

没有人说gcc内联asm很容易：d