llvm irbuilder 调用指令在函数内联传递时抛出异常

Question

我是 LLVM 的新手。我正在使用 clang c++ API 将多个存根文件（在 c 中）编译为 IR，然后使用 IR 生成器（在链接它们之后）将它们粘在一起，最终通过 JIT 运行。

所有这一切都很好，除非我向我的优化添加一个 functionInlining 传递，此时在 IR 构建器中进行的这些函数调用之一将在传递管理器为运行时触发以下异常：

Assertion failed: (New->getType() == getType() && "replaceAllUses of value with new value of different type!"), function replaceAllUsesWith, file /Users/mike/Development/llvm/llvm/lib/IR/Value.cpp, line 356.

这就是我调用指令的方式（非常简单）：

Function *kernelFunc = mModule->getFunction( (kernel->Name() + StringRef("_") + StringRef(funcName)).str());
if (kernelFunc){
    CallInst* newInst = builder.CreateCall(kernelFunc, args);
}

后期模块优化：

legacy::PassManager passMan;
PassManagerBuilder Builder;
Builder.OptLevel = 3;
//Builder.Inliner = llvm::createFunctionInliningPass(); //commenting this back in trigger the exception
Builder.populateModulePassManager(passMan);

passMan.run( *mModule ); //exception occurs before this call returns

知道要寻找什么吗？

Answer 1

在你的模块上尝试运行 llvm::verifyModule 看看它是否正确。你可能有一个错误并且事先已经很幸运但是它在内衬中绊倒了一些东西。

一般而言，断言会检查您的模块可能出错的部分内容，但验证会检查更多。

这可能是 LLVM 中的错误，但很可能是错误的模块，很容易发生。

Answer 2

所以我终于设置了我的开发环境，这样我就可以在调试器中检查断言调用。我发现被替换的基本块与被替换的块具有不同的上下文集。返回并确保 IRBuilder 使用与 IR 解析器相同的上下文解决了问题。

llvm irbuilder 调用指令在函数内联传递时抛出异常

llvm irbuilder call instruction throwing exception on function inlining pass

llvm

llvm-ir

llvm-c++-api