LLVM

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 中正确使用全局变量？

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

感谢任何反馈！

Answer 1

我发现了我的问题。

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

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

LLVM - How to properly use globals with MCJIT

c++

jit

global

mcjit