c++ - LLVM JIT fabsf 在使用 powf 时解决错误

Question

我正在试验 LLVM 的 JIT 功能，在调用 powf 时，我观察到如果我简单地为它添加一个声明，调用 powf 就可以工作

declare float @powf(float, float))

并用两个变量调用它

%4 = call float @powf(float %3, float %2)

但是，当我对 0.5

的常数指数执行相同操作时

%4 = call float @powf(float %3, float 5.000000e-01)

失败并出现以下错误:

LLVM ERROR: Program used external function 'fabsf' which could not be resolved!

powf 调用被以下优化过程所取代，所以我知道 fabsf 来自哪里:

%sqrtf = tail call float @sqrtf(float %3) #1
%fabsf = tail call float @fabsf(float %sqrtf) #1
%4 = fcmp oeq float %3, 0xFFF0000000000000
%5 = select i1 %4, float 0x7FF0000000000000, float %fabsf

我尝试在外部注册 fabsf(但显然不正确)，但这没有用:

auto float_type = llvm::Type::getFloatTy(context);
std::vector<llvm::Type *> unary_arg_types(1, float_type);
auto unary_op_type = llvm::FunctionType::get(float_type, unary_arg_types, false);
auto fabsf_llvm = llvm::Function::Create(unary_op_type, llvm::Function::ExternalLinkage, "fabsf", module);
ee->addGlobalMapping(fabsf_llvm, reinterpret_cast<void *>(&::fabsf));

我正在使用 MCJIT ExecutionEngine 并在带有 LLVM 的 Windows 7 上运行，我的测试程序是用 MinGW 编译的。

问题一:如何注册fabsf才不会报错？

问题2:为什么这里需要fabsf？

编辑:看来我偶然发现了一个(已知的)MCJIT 错误:http://llvm.org/bugs/show_bug.cgi?id=20656

Answer 1

是的，这是 MCJIT 中的一个已知错误。

我在 LLVMDev 邮件列表上偶然发现了一个解决方案。您可以使用位于 llvm/Support/DynamicLibrary.h header 中的 llvm::sys::DynamicLibrary::AddSymbol() 来注册您丢失的符号。这是您问题 1 的答案。

对于问题 2:(免责声明:我不是浮点专家，不知道我在这里写的内容是否属实)

由于 powf 被转换为 sqrtf 当 sqrtf 的结果未定义时，您将得到一个 QNaN(安静的 NaN)，因为一个负参数提供。在 ISO 754 中，QNaN 表示为 0xFFF0000000000000 或 0x7FF0000000000000(对于 ISO 754 中的 QNaN，符号无关紧要) 。

在 C++ 中，我们对 pow 有以下定义:

pow(base, exp) returns NaN and raises FE_INVALID if base is finite and negative and exp is finite and non-integer.

...

pow(±0, exp), where exp is positive non-integer or a positive even integer, returns +0

请注意，它每次都会返回正值 0。

但是对于 sqrt :

If the argument is +∞ or ±0, it is returned, unmodified.

最后回答你的问题:在你的情况下，fabsf 有必要摆脱 sqrt 保留而 pow 将其丢弃的标志.