如何在C++；在gcc中编译时？

我用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”

在内联汇编中引用变量时，它们前面必须加$。此外，gcc使用AT&T语法进行汇编，因此src和dst与Intel相比是反向的

编辑：

---

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

事情有点复杂。您应该使用带有约束的扩展GCC程序集。另外，使用

temp

保存堆栈指针是个坏主意，因为局部变量的地址取决于堆栈指针的值。最好创建一个标准堆栈框架

此外，您还忘记了将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

约束（请参见下面我的更正）

其他更正： 如果不必在clobbered列表中列出EAX、ECX和EDX，则可以使用

r

约束，因为它们不是通过函数调用保存的（并且您正在调用函数）。但是您不能列出用作输入/输出的被阻塞的寄存器

请注意，

&res

使用通过函数调用保留的约束“b”，因此

fstp

将按预期工作

最后，由于您正在更改标志寄存器（使用

test

）和函数调用，所以删除列表中只列出“cc”

运行

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中

---

已还原。

我已经添加了-masm=intel以使gcc使用intel语法。在英特尔语法中，您不必使用$来引用变量。（我已经对它进行了测试，并抱怨“未定义对“$numDoubles”的引用”，您还必须通过asm（“.intel\u语法noprefix\n”）告诉汇编程序。）；当我第一次粘贴你的代码时，我遇到了一个分段错误，在花了大量时间进行调试之后，我发现了问题所在！在调用ebx之前，一切都运行得很顺利，但是当调用ebx时，寄存器被置乱了。所以我只需将内联asm函数分成两部分，一部分初始化并调用函数，另一部分调用d一个来收集它的结果。嗯，很棘手…x86 ABI说EAX、ECX和EDX不是通过函数调用保存的，但EBX是。所以解决方法就是使用EBX来保存

&res

指针。你不能将它保存在堆栈中，因为你在玩它。请看看我更新的答案是否解决了这个问题。