在 Visual Studio 中使用 __asm 在浮动堆栈中返回双精度

Question

我正在使用 MS Visual Studio（2005，但这应该不重要）。 我有一个函数，它的主体（必须）在内联汇编中实现：

double f(double x)
{
    __asm{ ...body code... }
}

汇编代码以包含在 ST0 中的返回结果结束。 使用的调用约定是 __cdecl，因此约定是在 ST0 中返回一个返回双精度值。因此，在 __asm{...body code...} 代码完成后，该函数已准备好让其返回的堆栈清理代码运行并返回。但是，上面的代码当然不会编译，因为没有“return dblVal;”陈述。可以通过将代码更改为：

double f(double x)
{
    double dRet;
    __asm{ ...body code... }
    __asm{ fst dRet }
    return dRet;
}

但这有两个缺点： (1) 存储到 dRet 之后立即是 fld dRet，这完全是浪费和不必要的（这在 monte-carlo 例程中被无数次使用，所以每个循环都很重要） (2) 更重要的是，ST0 中的值已经在 body 中仔细计算到 64 位尾数精度，我需要保留，fst 后跟 fld 完全杀死了这个。

如何告诉 VisualStudio 编译器要返回的双精度值已经在 ST0 中？ 我可以明确地编写退出代码：

double f(double x)
{
    __asm{ ...body code... }
    __asm{ __asm leave
           __asm ret
         }
    return 0.0; //dummy code that is never executed, to make the compiler happy
}

但是必须知道编译器生成的入口代码（事实上，上面的退出代码是错误的）。所以我们可以更进一步，编写入口代码和退出代码：

__declspec ( naked ) double f(double x)
{
    __asm{ ...entry code...}
    __asm{ ...body code... }
    __asm{ ...exit code... }
    return 0.0; //dummy code that is never executed, to make the compiler happy
}

但这一切都非常丑陋。那么，如何让编译器去处理入口代码和出口代码，并告诉它返回值已经在 ST0 中呢？

Answer 1

实际上，我的问题的答案是，我在上面问题的陈述中对一件事有误：

double f(double x)
{
    __asm{ ...body code... }
}

没有任何 return 语句，在正文中使用 __asm 语句，编译得很好，没有任何错误或警告。编译器（正确地）假设我已安排适当地传递/返回返回值。编译器正确地生成进入和退出代码，并且很高兴将其余的留给我。去想 - 为什么我认为我已经测试过并发现编译错误？叹。打扰大家了。

Answer 2

你唯一的选择是裸函数，但是它们不需要 C 的 return 语句，也不需要你做堆栈帧。但是，除非您有充分的理由使用 asm，否则您最好在 C 中使用它，原因有很多，主要是可移植性，另一个是针对特定目标的优化，例如 SIMD。