python - llvm 中的虚拟表 (llvm-py)

Question

我正在使用 llvm-py 为一些人工创建一个 DIY 编译器，并且需要在全局范围内有一个虚拟方法表。我的概念是有几个函数指针数组(每个类一个)。不幸的是，没有用于全局范围的 LLVM IR Builder，我不能使用 ptrtoint 来获得所有数组元素的统一类型(否则我会将函数地址存储为 64 位整数，并在调用之前将它们转换为适当的类型)。你知道任何合理的解决方案吗？也可以用C++ LLVM api来说明，因为llvm-py非常相似。

Answer 1

事实上，IRBuilder 并没有暴露一个接口(interface)来做到这一点，但你可以手动创建它——例如通过使用 GlobalVariable 的构造函数。您可以使用转换常量表达式将所有指针存储在数组中，即通过生成:

@global = global [4 x i64*] [
  i64* bitcast (void()* @f to i64*),
  i64* bitcast (float(i32)* @g to i64*),
  ...
]

因此，使用 ConstantExpr::getBitCast() 生成从 Function 到数组元素类型的转换(最好是指针，我不查看存储 i64 的优势)。然后在模块中创建一个新的 GlobalVariable 并使用您创建的所有常量表达式对其进行初始化。