Question

我使用visual studio编译了这段代码，

double callVariadicDoubleFunc(double * doubles, unsigned int numDoubles,double(*TestFunc)(double,...))

{

    // sizeof(double) must be 8!
    if (numDoubles == 0)
        return 0;
    double * lastDouble = doubles + (numDoubles - 1);
    double res;
    int temp;

    __asm mov eax, numDoubles
    __asm mov edx, lastDouble
    __asm mov temp,esp

    __asm label_loop:
    __asm sub esp, 8
    __asm fld qword ptr [edx]
    __asm fstp qword ptr [esp]
    __asm sub eax, 1
    __asm sub edx, 8
    __asm test eax, eax
    __asm jnz label_loop

    __asm call TestFunc
    __asm fstp        qword ptr res;
    __asm mov esp, temp

    return res;
}

但是现在我正在尝试使用gcc编译它，但是有一些我无法解决的错误！删除所有编译时错误我已将该代码更改为此形状：

double evaluationHelper(double* arguments, unsigned numDoubles, double(*mFunction)(...)) 
{
    int temp;
    double res;
    arguments += numDoubles;
    asm("mov eax, numDoubles"  "\n"
        "mov ecx, arguments"   "\n"
        "mov temp,esp"         "\n"

        "label_loop:"          "\n"
        "sub esp, 8"           "\n"
        "fld qword ptr [ecx]"  "\n"
        "fstp qword ptr [esp]" "\n"
        "sub eax, 1"           "\n"
        "sub ecx, 8"           "\n"
        "test eax, eax"        "\n"
        "jnz label_loop"       "\n"

        "call mFunction"       "\n"
        "fstp qword ptr res"   "\n"
        "mov esp, temp"        );
    return res;
}

但现在我收到链接错误：

undefined reference to `numDoubles'
undefined reference to `arguments'
undefined reference to `temp'

任何想法如何解决它们？

旁注：我正在用以下选项编译我的代码：“ - g -masm = intel -O0 -Wall”

Answer 1

事情有点复杂。您应该使用带有约束的扩展GCC程序集。此外，使用temp来保存堆栈指针是一个坏主意，因为局部变量＆＃39;地址取决于堆栈指针的值。最好创建一个标准的堆栈帧。

此外，您忘记将1减去指针。作为奖励，在GCC中，不需要为数组中的最后一个指针提供临时变量。

有些事情：

double evaluationHelper(double* arguments, unsigned numDoubles, double(*mFunction)()) 
{
    double res;
    asm(
        /* set up the frame pointer */
        "push ebp"             "\n"
        "mov ebp, esp"         "\n"

        "label_loop:"          "\n"
        "sub esp, 8"           "\n"
        "fld qword ptr [%2]"   "\n"
        "fstp qword ptr [esp]" "\n"
        "sub %1, 1"            "\n"
        "sub %2, 8"            "\n"
        "test %1, %1"          "\n"
        "jnz label_loop"       "\n"

        "call %3"              "\n"
        "fstp qword ptr [%0]"  "\n"
        "mov esp, ebp"         "\n"
        "pop ebp"              "\n"
        : /* no output */
        :"b"(&res), "a"(numDoubles), "c"(arguments + (numDoubles - 1)), "d"(mFunction) /* input */
        :"cc" /* clobber */);
    return res;
}

res变量不能用作输出，因为fstp指令需要一个指针，这是一个输入。如果您没有使用堆栈执行有趣的操作，则可以使用m约束。（请参阅下面的更正）。

其他更正：如果您不必在破坏列表中列出EAX，ECX和EDX，则可以使用r约束，因为它们不是通过函数调用预先设置的（并且您正在调用函数）。但是你不能列出用作输入/输出的破坏寄存器。

请注意，&res使用约束＆＃34; b＆＃34; 通过函数调用保留，因此fstp将按预期工作。

最后，只有＆＃34; cc＆＃34;在破坏列表中列出，因为您正在更改标志寄存器（使用test）和函数调用。

运行gcc -masm=intel -save-temps我们可以检查生成的程序集：

; Before the asm
mov     eax, DWORD PTR [ebp+12] ; numDoubles
sub     eax, 1 
sal     eax, 3 
mov     ecx, eax           
add     ecx, DWORD PTR [ebp+8]  ; arguments + 8*(numDoubles - 1)
lea     ebx, [ebp-16]           ; res
mov     eax, DWORD PTR [ebp+12] ; numDoubles
mov     edx, DWORD PTR [ebp+16] ; mFunction

; The asm
push ebp
mov ebp, esp
label_loop: 
sub esp, 8  
fld qword ptr [ecx]
fstp qword ptr [esp]
sub eax, 1
sub ecx, 8
test eax, eax
jnz label_loop
call edx         ; clobbers eax, ecx, edx and flags
fstp qword ptr [ebx]
mov esp, ebp
pop ebp

; After the asm
fld QWORD PTR [ebp-16]  ; return res

这对我来说似乎是正确的。

更正：不完全。函数指针和res变量必须保存在寄存器中，因为您正在创建编译器一无所知的堆栈帧，因此它无法计算这些局部变量的地址。所以我的最后一些修正很好但没用。

指向res变量的指针也必须在ECX中。

还原。

Answer 2

当引用内联汇编中的变量时，它们必须以$开头。此外，gcc使用AT＆amp; T语法进行汇编，因此src和dst与英特尔相比是倒退的。

http://ibiblio.org/gferg/ldp/GCC-Inline-Assembly-HOWTO.html

编辑：

问题似乎是你指的是名字的本地人，而不是全球人。因此，当汇编程序看到名称，然后尝试链接时，它找不到它们。要解决这个问题，我认为你需要使用扩展的asm。

如何在gcc中编译时在c ++中的汇编代码中使用C变量？

2 个答案: