Windows平台LLVM类Pascal前端链接同名DLL导出函数的方案咨询

阿华AIGC实验室

2026-5-15

这确实是Windows平台下基于LLVM开发类Pascal前端时，处理同名导入函数的一个棘手问题——尤其是LLD-Link不支持GNU链接脚本的情况下。结合Windows链接器的原生特性和LLVM的能力，我整理了几个按推荐度排序的理想解决方案：

方案1：使用Windows .def导入定义文件（最推荐）

这是最贴合Windows平台原生机制的方案，不需要额外的汇编或复杂LLVM IR技巧，而且lld-link完全支持.def文件的导入映射。

步骤：

在你的LLVM前端中，直接用Pascal代码里的别名（比如FooExecute和BarExecute）作为LLVM符号名，保证每个别名唯一。
自动生成一个.def文件，在IMPORTS段中明确映射你的LLVM符号到对应DLL的原符号：
```
IMPORTS
    FooExecute = Foo.dll.Execute
    BarExecute = Bar.dll.Execute
```
注意：如果你的LLVM前端生成的符号带C风格下划线前缀（比如_FooExecute），要把下划线加到.def文件的符号名里。

链接时，将这个.def文件传递给lld-link：

lld-link.exe your-compiled.o Foo.lib Bar.lib /def:imports.def /out:your-program.exe

优点：

完全利用Windows链接器的原生能力，无需额外工具
符号映射逻辑清晰，彻底避免导入库的同名符号冲突
前端只需额外生成一个简单的.def文件，无需修改核心IR生成逻辑

缺点：

需要维护一个额外的.def文件（不过前端可以自动生成，和IR文件同步输出）

方案2：LLVM IR层面生成包装函数 + 链接器别名映射

如果不想依赖.def文件，你可以在LLVM IR中为每个别名生成轻量包装函数，再通过lld-link的/alternatename选项完成符号映射。

步骤：

在LLVM IR中，为每个Pascal别名声明唯一的外部全局变量（对应DLL函数的导入指针）：

@__imp_Foo_Execute = external dllimport global void ()*
@__imp_Bar_Execute = external dllimport global void ()*

生成包装函数，通过导入指针间接调用原DLL函数：

define void @FooExecute() {
  %func_ptr = load void ()*, void ()** @__imp_Foo_Execute
  call void %func_ptr()
  ret void
}

define void @BarExecute() {
  %func_ptr = load void ()*, void ()** @__imp_Bar_Execute
  call void %func_ptr()
  ret void
}

链接时，用/alternatename将你的唯一导入指针符号映射到对应导入库的标准导入符号：

lld-link.exe your-ir.o Foo.lib Bar.lib /alternatename:__imp_Foo_Execute=__imp_Execute /alternatename:__imp_Bar_Execute=__imp_Execute /out:your-program.exe

优点：

所有逻辑都在LLVM IR层面完成，不需要额外的.def文件
包装函数逻辑简单，前端容易实现自动化生成

缺点：

会增加少量运行时开销（一次间接调用），但对于研究用途完全可以忽略
需要处理LLVM IR中导入指针的声明和加载逻辑

方案3：汇编包装层（兼容老版本工具）

如果你更熟悉汇编层面的操作（类似你之前用Flat-Assembler的思路），可以写一个简单的汇编包装文件，直接将别名跳转到对应DLL的函数，再配合链接器别名映射。

步骤：

用x86汇编（比如NASM或MASM）编写包装函数，示例NASM代码：

global FooExecute
global BarExecute

section .text
FooExecute:
    jmp [__imp_Foo_Execute]
BarExecute:
    jmp [__imp_Bar_Execute]

将汇编文件编译成目标文件（以32位为例）：
```
nasm -f win32 wrapper.asm -o wrapper.o
```

链接时，用/alternatename映射符号：

lld-link.exe your-llvm.o wrapper.o Foo.lib Bar.lib /alternatename:__imp_Foo_Execute=__imp_Execute /alternatename:__imp_Bar_Execute=__imp_Execute /out:your-program.exe