如何使用gcc asm关键字在寄存器中传递函数参数

Question

在gcc中，您可以使用以下语法声明应将局部变量放入寄存器中。

register int arg asm("eax");

在网上找到的一些旧代码中，此语法用于声明函数的参数应在寄存器中传递：

void foo(register int arg asm("eax"))

但是当我尝试这个例子时：

/*
   Program to demonstrate usage of asm keyword to allocate register for a variable.
*/
#include <stdio.h>

/* Function with argument passed in register */
void foo(register int arg asm("eax") )
{
    register int loc asm("ebx");
    loc = arg;
    printf("foo() local var: %d\n", loc);
}

int main(void)
{
    foo(42);
    return 0;
}

并用gcc编译时出现错误：

gcc main.c -o test-asm.exe
main.c:7:27: error: expected ';', ',' or ')' before 'asm'

现在我的问题是：
上面的asm语法在gcc中（对于函数的形式参数）是否正确？
gcc曾经支持过吗？
如果这不是正确的语法，那么如何实现呢？

谢谢，
// jk

Answer 1

我知道的唯一方法是使用fastcall属性：

（GCC手册第6.30节） http://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/Function-Attributes.html#Function-Attributes

快速通话

在Intel 386上，fastcall属性使编译器在寄存器ECX中传递第一个参数（如果是整数类型），在寄存器EDX中传递第二个参数（如果是整数类型）。 后续和其他类型的参数在堆栈上传递。 被调用的函数会将参数弹出堆栈。 如果参数数量可变，则所有参数都将压入堆栈。

在以下示例代码中使用它：

__attribute__((fastcall,noinline)) int add (int a, int b)
{
  return a + b;
}

int main () {
  return add (1, 2);
}

将导致：

    .file   "main.c"
    .text
.globl add
    .type   add, @function
add:
    pushl   %ebp
    movl    %esp, %ebp
    leal    (%edx,%ecx), %eax
    popl    %ebp
    ret
    .size   add, .-add
.globl main
    .type   main, @function
main:
    pushl   %ebp
    movl    %esp, %ebp
    movl    $2, %edx
    movl    $1, %ecx
    call    add
    popl    %ebp
    ret
    .size   main, .-main

不要忘记在其他翻译单元的任何声明中提及fastcall属性，否则可能会发生奇怪的事情。