LLVM - 如何在 MCJIT 中正确使用全局变量答案

【问题标题】：LLVM - How to properly use globals with MCJITLLVM - 如何在 MCJIT 中正确使用全局变量
【发布时间】：2017-08-02 03:58:07
【问题描述】：

所以我正在构建一个可以在编译时调用代码的编译器。一切编译成功后，我创建一个llvm::ExecutionEngine 并添加程序所需的每个llvm::Module。

最后我调用llvm::ExecutionEngine::finalizeObject 并在模块中执行一个函数。

llvm::ExecutionEngine* execution_engine = llvm::EngineBuilder(std::move(module)).setErrorStr(&error_str).create();

// Ensure execution engine was created successfully
if(!execution_engine){
    std::cerr << "Failed to construct ExecutionEngine: " << error_str << std::endl;
    return 1;
}

// Add all of the dependencies to the execution engine
for(size_t i = 0; i != dependencies.size(); i++){
    ModuleDependency* dependency = &dependencies[i];

    if(!dependency->is_nothing){
        llvm::SMDiagnostic sm_diagnostic;
        std::unique_ptr<llvm::Module> required_module = llvm::parseIRFile(dependency->bytecode_filename, sm_diagnostic, llvm_context);

        if (!required_module) {
            sm_diagnostic.print("Failed to parse IR File: ", llvm::errs());
            return false;
        }

        required_module->setModuleIdentifier(dependency->bytecode_filename.c_str());
        execution_engine->addModule(std::move(required_module));
    }
}

execution_engine->finalizeObject();
llvm::GenericValue returned_value = execution_engine->runFunction(entry_point, args);

除了一件事，一切都很好：

只要模块包含全局变量，llvm::ExecutionEngine::finalizeObject 就会崩溃并出现 Integer division by zero 错误。

所以我的问题： 如何在 MCJIT 中正确使用全局变量？

注意：
- 全局变量在本机可执行文件中工作正常
- 执行引擎在不使用全局变量时工作正常
- 我认为问题可能与全局变量的链接或执行引擎的数据布局有关

感谢您的任何反馈！

【问题讨论】：

标签： c++ llvm jit globals mcjit

【解决方案1】：

我发现了我的问题。

我的全局变量有 CommonLinkage，这对 JIT 代码没有意义。将全局变量的链接更改为 InernalLinkage 使我的代码可以正常工作。

【讨论】：