C 内联汇编 - 'fst' 的操作数类型不匹配

Question

嘿，我正在努力学习如何在我的 C 程序中编写汇编代码。我理解汇编中的整数，但浮点数继续让我绊倒。

double asmSqrt(double x) {
    double o;
    __asm__ ("fld %1;"
             "fsqrt;"
             "fst %0;"
             : "=g" (o)
             : "g"  (x)
    );
    return o;
}

如您所见，我只是想求 x 的平方根。但是每当我尝试编译它时，我都会得到一个操作数类型不匹配的错误。

我遵循此处使用的相同语法：http://www.codeproject.com/KB/cpp/edujini_inline_asm.aspx?display=Print

PS：我在 Windows XP 上使用 MinGW GCC

Answer 1

您需要明确指定您想要的 fld 和 fst 指令变体。否则，编译器不知道您的操作数应该是什么大小。这段代码在这里对我有用：

__asm__ ("fldl %1  ;"
         "fsqrt    ;"
         "fstl %0  ;"
         : "=g" (o)
         : "g"  (x)
);

您可以使用反汇编程序仔细检查是否发出了 64 位 FLD 和 FST（DD/0 和 DD/2）的正确操作码。

Answer 2

首先，你为什么要这样做？编译器可以自己做平方根。您只需调用正确的数学库函数，启用优化（因此它将内联标准函数），如果它不符合您的要求，我会感到惊讶。结果是独立于平台的（即，您可以根据需要构建 64 位，甚至可以构建整个其他架构），易于维护代码 - 更好！

如果你坚持用硬方法做，gcc 也可以在这里提供帮助（我还没有实际测试过）：

double asmSqrt(double x) {
  __asm__ ("fsqrt" : "+t" (x));
  return x;
}

t 约束意味着将值放在浮点堆栈的顶部 - 您不必关心它是如何到达那里的。 + 表示将值用于输入和输出。

编辑：哦，如果你确实想自己把东西放进寄存器，那么你最好在'clobbers'部分告诉编译器，否则你可能会覆盖它存储在那里的东西。

Answer 3

双 sqrt1(双 n) { __asm{ 文件夹 fsqrt } }

调用方法：例如double result = sqrt1((double)10)

Answer 4

指定内存位置“=m”而不是“=g”。但最好在这里阅读本手册：http://ibiblio.org/gferg/ldp/GCC-Inline-Assembly-HOWTO.html#s4

无论如何，这里是解决方案：

double asmSqrt(double x) {
  double o;
  __asm__ ("fld %1;"
           "fsqrt;"
           "fst %0;"
           : "=m" (o)
           : "g" (x)
  );
  return o;
}