【问题标题】:Extract Function Template Declarations from LLVM Module?从 LLVM 模块中提取函数模板声明?
【发布时间】:2018-07-19 14:40:40
【问题描述】:

从 LLVM 模块中提取函数很简单:

for(auto FF = My_Module.begin(); FF != My_Module.end(): ++FF)
    llvm::Function *F = dyn_cast<llvm::Function>(FF);

但这只会给我已经定义的功能。如果我有如下程序:

template <class T> __attribute__((noinline)) T load(T *ptr){
   return *ptr;
}

int main(){
   int a = 4;
   int b = 5;
   char c = 6;
   long d = 8;
   return load<int>(&a) + load<int>(&b) + load<char>(&c) + load<long>(&d);
}

因此,例如,如果我想在 load 的函数声明的 IR 中为 unsigned long 创建另一个函数,如何提取可用于为该类型创建函数的 FunctionTemplateDecl?

这甚至是为我想要的类型创建函数的正确方法吗?

【问题讨论】:

    标签: templates llvm llvm-clang


    【解决方案1】:

    此时的函数模板已经具体化,具体取决于用于实例化的类型。 LLVM IR 没有模板的概念;你只是比实际的机器代码更远一点。

    您需要进入前端(即 Clang),因为这是 FunctionTemplateDecl 和朋友所在的位置(这意味着操纵 AST 等)。

    【讨论】: