llvm中的虚拟表(llvm-py)

Question

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

Answer 1

实际上，IRBuilder并没有公开一个接口来实现这一点，但你可以手动创建它--例如，使用GlobalVariable的构造函数。您可以使用转换常量表达式将所有指针存储在数组中，即通过生成：

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

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