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

来源：互联网发布：line聊天软件官方网站编辑：程序博客网时间：2024/04/30 08:29

转自：http://blog.csdn.net/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指令修改。

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

0 0