如何通过编程方式链接两个LLVM模块？

核心依赖 #

LLVM 内置了llvm/Linker/Linker.h头文件提供的Linker类，这就是llvm-link工具底层的核心实现，逻辑和命令行工具完全一致，不需要走文件系统导出比特码再读取的流程。

实现前提 #

两个待合并的llvm::Module必须绑定到同一个LLVMContext实例，上下文不一致会直接触发断言或运行错误。

实现步骤 #

• 选择其中一个Module作为目标模块，另一个作为源模块，合并后源模块的所有内容会被整合到目标模块中；也可以新建空Module作为合并目标
• 构造Linker实例绑定目标模块
• 调用linkInModule接口完成合并，处理返回值判断是否合并成功

示例代码 #

#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Module.h"
#include "llvm/Linker/Linker.h"
#include "llvm/IR/Verifier.h"

using namespace llvm;

// 返回值：合并成功返回true，失败返回false
// 参数Dest为目标模块，合并后Src的内容会被追加到Dest中
bool mergeModules(Module &Dest, std::unique_ptr<Module> Src) {
    // 先校验两个模块本身结构合法
    if (verifyModule(Dest, &errs()) || verifyModule(*Src, &errs())) {
        return false;
    }
    // 检查上下文是否一致
    if (&Dest.getContext() != &Src->getContext()) {
        return false;
    }
    Linker L(Dest);
    // Flags参数可按需调整合并规则
    return L.linkInModule(std::move(Src), Linker::Flags::None);
}

常用合并规则说明 #

linkInModule的Flags参数可自定义合并行为：

• Linker::Flags::None：默认行为，遇到重复强符号直接返回合并失败
• Linker::Flags::OverrideFromSrc：源模块的符号覆盖目标模块的同名符号
• Linker::Flags::LinkOnlyNeeded：仅合并源模块中被目标模块引用的内容，自动裁剪无用代码
• Linker::Flags::InternalizeLinkedSymbols：将合并进来的非导出符号标记为internal，避免和外部符号冲突

注意事项 #

• 合并前建议先对齐两个模块的目标三元组、数据布局等模块级元数据，避免合并后生成的二进制存在兼容性问题
• 如果需要保留调试信息，建议提前开启调试信息合并的相关编译选项，避免合并后调试信息丢失

内容的提问来源于stack exchange，提问作者harry