c++ - LLVM - 如何通过 MCJIT 正确使用全局变量

Question

所以我正在构建一个可以在编译时调用代码的编译器。一切都成功编译后，我创建一个 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 中正确使用全局变量？

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

感谢任何反馈!

Answer 1

我发现了我的问题。

我的全局变量有 CommonLinkage，这对 JIT 代码没有意义。将全局变量的链接更改为 InernalLinkage 使我的代码运行良好。