我正在研究LLVM Kaleidoscope tutorial。除了 local externs(与数学函数之类的东西相反)之外,其他所有东西都工作正常。
[c34n10 kaleidoscope] ./toy
ready> extern sin(x); sin(1);
ready> Read extern:
declare double @sin(double)
ready> ready> Evaluated to 0.841471
ready> extern putchard(x); putchard(120);
ready> Read extern:
declare double @putchard(double)
ready> ready> Failure value returned from cantFail wrapped call
UNREACHABLE executed at /gpfs/loomis/project/fas/manohar/emb99/llvm/include/llvm/Support/Error.h:732!
Aborted (core dumped)
根据教程,在我的代码中将 putchard
声明为
/// putchard - putchar that takes a double and returns 0.
extern "C" DLLEXPORT double putchard(double X) {
fputc((char)X, stderr);
return 0;
}
其他在线帖子表明,此问题可能是由于未使用-rdynamic
进行编译引起的,但我是。
使用以下代码发生实际错误
auto ExprSymbol = TheJIT->findSymbol("__anon_expr");
assert(ExprSymbol && "Function not found");
// cast to double-returning function
double (*FP)() = (double (*)())(intptr_t)cantFail(ExprSymbol.getAddress());
fprintf(stderr, "Evaluated to %f\n", FP());
和对GDB的一些调查显示hasError
的{{1}}标志为true,这就是ExprSymbol.getAddress()
失败的原因。至于为什么设置该标志,我很茫然。
函数本身似乎没有问题:在GDB中,我可以成功运行cantFail
,因此该符号肯定存在于可执行文件中。
最后,我的makefile看起来像
call putchard(120)
答案 0 :(得分:1)
我在LLVM 8中遇到了完全相同的问题。
问题是符号解析器不会尝试在本地进程的地址中找到请求的符号,并且Expected<T>
需要强制检查错误。
我稍微改变了KaleidoscopeJIT.h
以克服它。
用以下代码替换KaleidoscopeJIT的构造函数:
KaleidoscopeJIT()
: Resolver(createLegacyLookupResolver(
ES,
[this](const std::string &Name) {
auto symbol = ObjectLayer.findSymbol(Name, true);
if (!symbol)
{
if (auto SymAddr = RTDyldMemoryManager::getSymbolAddressInProcess(Name))
return JITSymbol(SymAddr, JITSymbolFlags::Exported);
}
return symbol;
},
[](Error Err) { cantFail(std::move(Err), "lookupFlags failed"); })),
TM(EngineBuilder().selectTarget()), DL(TM->createDataLayout()),
ObjectLayer(ES,
[this](VModuleKey) {
return ObjLayerT::Resources{
std::make_shared<SectionMemoryManager>(), Resolver};
}),
CompileLayer(ObjectLayer, SimpleCompiler(*TM)) {
llvm::sys::DynamicLibrary::LoadLibraryPermanently(nullptr);
}
唯一的变化是,如果在调用ObjectLayer.findSymbol()
后未找到任何符号,它将转向RTDyldMemoryManager::getSymbolAddressInProcess()
查找并创建JITSymbol对象。