在扩展汇编器中划分浮点数

Question

在我的 C 程序中，我想在扩展汇编程序中执行以下操作： 将两个浮点数（变量）“分子”除以“分母”，并将结果放入另一个变量“结果”中。这是我对它的外观的猜测，但它似乎无法编译。

float result, numerator, denominator;

asm volatile(" fdiv %2, %1 "
           : "=r" (result)
           : "1"  (numerator), "2"  (denominator));

编译错误：

example_program.c:66:16: error: matching constraint references invalid operand number
                : "1"  (numerator), "2"  (denominator));

example_program:16: error: matching constraint references invalid operand number

example_program.c:64:3: error: matching constraint references invalid operand number
   asm volatile(" fdiv %2, %1 "
   ^
example_program.c:64:3: error: matching constraint references invalid operand number
make: *** [<builtin>: example_program] Error 1

Answer 1

在进行任何内联汇编编程之前，请仔细阅读文档。 Gcc风格的内联汇编比较复杂并且容易出错。如果你弄错了，通常不会有错误。相反，错误的代码会默默地产生。因此，请确保您准确理解自己在做什么。就您而言，您应该特别关注 §6.47.2.9。

阅读本文档，以下代码似乎是正确的：

float test(float numerator, float denominator)
{
    float result;

    asm ("fdiv%Z2 %2" : "=t"(result) : "0"(numerator), "fm"(denominator));

    return result;
}

这允许源操作数是内存操作数。如果不需要，则语句可以更简单：

asm ("fdiv %2" : "=t"(result) : "0"(numerator), "f"(denominator));

如果不将结果写入不同的变量，而是覆盖分子，则代码可以更简单。

asm ("fdiv %1" : "+t"(result) : "f"(denominator));