例解gcc内嵌汇编（inline assembly）中&修饰符（modifier）的作用

转自：http://blog.youkuaiyun.com/bokee/article/details/7029353

被gcc内嵌汇编中的&修饰符困扰了好久，一直不知道在输出列表（output list）中，=与=&有什么区别。今天找到了答案。

        例1：

                int output;

                int a, b, c, d, e, f;

                asm volatile ("mov %%cs, %0\n\t"

                                        "inc %1\n\t"

                                        "inc %2\n\t"

                                        "inc %3\n\t"

                                        "inc %4\n\t"

                                        "inc %5\n\t"

                                        "inc %6\n\t"

                                        : "=&r"(output)

                                        : "a"(a), "b"(b), "c"(c), "d"(d), "S"(e), "D"(d));

         这段代码（在x86下）是编译不过的，会报：can't find a register in class GENERAL_REGS。意思应该是说不能分配一个通用寄存器。这是显然的，通用寄存器被a, b, c, d, e, f这六个输入操作数用光了。

           但是如果稍作修改，如下：

        例2：

                int output;

                int a, b, c, d, e, f;

                asm volatile ("mov %%cs, %0\n\t"

                                        "inc %1\n\t"

                                        "inc %2\n\t"

                                        "inc %3\n\t"

                                        "inc %4\n\t"

                                        "inc %5\n\t"

                                        "inc %6\n\t"

                                        : "=r"(output)

                                        : "a"(a), "b"(b), "c"(c), "d"(d), "S"(e), "D"(d));

        这段代码是可以编译成功的，不过逻辑上是错误的。下面是编译后的汇编代码：

        代码3：

                movl -16(%ebp), %eax

                movl -20(%ebp), %ebx

                movl -24(%ebp), %ecx

                movl -28(%ebp), %edx

                movl -32(%ebp), %esi

                movl -36(%ebp), %edi

#APP

                mov %cs, %ebx

                inc %eax

                inc %ebx

                inc %ecx

                inc %edx

                inc %esi

                inc %edi

#NO_APP

                movl %ebx, -40(%ebp)

        可以看出输出操作数与第二个输入操作数被分配了同一个寄存器ebx，结果造成第二个输入操作数被使用前已经被mov %cs, %ebx指令修改。

        总结：&修饰符是用来强制编译器为输入操作数与输出操作数分配不同的寄存器。