GCC内联程序集错误：错误：表达式后的垃圾`(%esp)'

Question

GCC内联程序集错误：错误：表达式后的垃圾`(%esp)'

我在研究gcc内联汇编。我的环境是Win 7 32bit，mingw-gcc 4.6.1。

我有个关于'm'约束的问题。下面是我的c函数代码：

static int asm_test(int a, int b)
{

    int c = 0;
    __asm__ __volatile__(".intel_syntax\n"
            "mov eax, %1\n" //error
            "mov edx, %2\n" //error
            "add eax, edx\n"
            "mov %0, eax\n" //error
            ".att_syntax"
            :"=m"(c)\
            :"m"(a),"m"(b)\
            :"eax","edx"
            );
    return c;
}

static int asm_test(int a, int b)
{

    int c = 0;
    __asm__ __volatile__(
            "movl %1, $eax\n" //error
            "movl %2, $edx\n" //error
            "addl $edx, $eax\n"
            "movl $eax, %0\n" //error
            :"=m"(c)\
            :"m"(a),"m"(b)\
            :"eax","edx"
            );
    return c;
}

Answer 1

这里的问题是GCC为%0、%1和%2生成AT&T语法构造。如果您查看生成的程序集，它看起来像：

.intel_syntax
mov eax, 8(%ebp)
mov edx, 12(%ebp)
add eax, edx
mov -4(%ebp), eax

这不是有效的Intel语法。

通常，您不需要在内联程序集中包含显式的加载/存储操作--只需指定register约束，编译器就会自行生成加载/存储。这样做的好处是，即使变量（参数、局部变量）根本不在内存中，而是在寄存器中，您的代码仍然是正确的--这与显式地将内存加载/存储放在内存中的情况不同。

int asm_test(int a, int b)
{
  __asm__ __volatile__ (
                        ".intel_syntax\n"
                        "add %0, %1 \n"
                        ".att_syntax \n"
                        :"+r"(a)
                        :"r"(b));
  return a;