如何调用未知类型的 JITed LLVM 函数？

我正在使用 LLVM 实现 JIT 编译器的前端。我首先遵循 LLVM 教程中的 Kaleidscope 示例。我知道如何使用 LLVM C++ API 生成和 JIT LLVM IR。我还知道如何使用 llvm::ExecutionEngine 的“getPointerToFunction”方法调用 JITed 函数。

getPointerToFunction 返回一个 void*，然后我必须将其转换为正确的函数类型。例如，在我的编译器中，我有如下所示的单元测试：

void* compiled_func = compiler.get_function("f");   
auto f = reinterpret_cast<int32_t(*)(int32_t)>(compiled_func);
int32_t result = f(10);

问题是我必须事先知道函数签名。在上面的示例中，我有一个函数“f”，它接受一个 32 位整数并返回一个 32 位整数。由于我自己创建了“f”，所以我知道函数类型是什么，因此我能够调用 JIT 函数。但是，一般来说，我不知道用户输入的函数签名是什么（或者结构类型是什么）。用户可以使用任意参数和返回类型创建任意函数，因此我不知道从 LLVM 的 getPointerToFunction 中转换 void* 的函数指针类型。我的运行时需要能够调用这些函数（例如，对于读取-评估-打印循环）。如何从 JIT 运行时处理此类任意函数？

Thanks

您无法从中获得太多信息compiled_func- 正如你所写，这只是一个void*。但是当你写“一般来说，我不知道函数签名是什么”时，这是不准确的 - 你刚刚编译了该函数，所以你应该有权访问 LLVMFunction对象，可以查询其类型。确实，它是 LLVM IR 类型而不是 C++ 类型，但您通常可以知道哪个类型转换为哪个类型。

例如，如果我们借用代码教程中有关 JITting 万花筒的部分 http://llvm.org/docs/tutorial/LangImpl4.html#adding-a-jit-compiler:

if (Function *LF = F->Codegen()) {
  LF->dump();  // Dump the function for exposition purposes.

  // JIT the function, returning a function pointer.
  void *FPtr = TheExecutionEngine->getPointerToFunction(LF);

  // Cast it to the right type (takes no arguments, returns a double) so we
  // can call it as a native function.
  double (*FP)() = (double (*)())(intptr_t)FPtr;
  fprintf(stderr, "Evaluated to %f\n", FP());
}

好的，FPtr被“假定”为类型double ()，但也有LF类型的Function*在这里，所以你could做过类似的事情：

Type* RetTy = LF->getReturnType();
if (RetTy->isDoubleTy()) {
  double (*FP)() = (double (*)())(intptr_t)FPtr;
  fprintf(stderr, "Evaluated to %f\n", FP());
} else if (RetTy->isIntegerTy(32)) {
  int (*FP)() = (int (*)())(intptr_t)FPtr;
  fprintf(stderr, "Evaluated to %d\n", FP());
} else ...

以大致相同的方式，您可以查询函数的参数类型。

有点麻烦？您可以使用执行引擎通过其方便的方式调用该函数runFunction http://llvm.org/docs/doxygen/html/classllvm_1_1ExecutionEngine.html#a83ac805ce571233b79802b8210332039方法，它接收一个向量GenericValue http://llvm.org/docs/doxygen/html/structllvm_1_1GenericValue.htmls 并返回 aGenericValue。您仍然应该查询Functiontype 来查找每个下的基础类型GenericValue应该。