我正在使用 LLVM 将用户定义的语言转换为字节码,但我不确定应该如何使用模块。
一开始,我认为它类似于 C/C++ 目标文件(以避免在编辑单个文件时对每个文件进行字节码重新编译)。但是,我在LLVMpy 文档中找到了这一行,这似乎表明情况并非如此:
模块间引用是不可能的。也就是说,模块 A 不能直接调用模块 B 中的函数。
如果我们不能为单个上下文提供多个模块,有人可以解释为什么模块与上下文分开吗?
这是可能的,但就像.o
你提到的文件一样,它们必须首先链接到一个二进制文件中。
给定一对比特码文件:
$ llvm-dis a.bc -o -
; ModuleID = 'a.bc'
@0 = global [13 x i8] c"Hello world!\0A"
declare i32 @printf(i8*)
define void @f() {
%1 = call i32 @printf(i8* getelementptr inbounds ([13 x i8]* @0, i64 0, i64 0))
ret void
}
$ llvm-dis b.bc -o -
; ModuleID = 'b.bc'
declare void @f()
define i32 @main() {
call void @f()
ret i32 0
}
这不起作用:
$ lli b.bc
LLVM ERROR: Program used external function 'f' which could not be resolved!
但是,如果将它们链接在一起,它将:
$ llvm-ld a.bc b.bc -disable-opt -o c
$ llvm-dis c.bc -o -
; ModuleID = 'c.bc'
@0 = global [13 x i8] c"Hello world!\0A"
declare i32 @printf(i8*)
define void @f() {
%1 = call i32 @printf(i8* getelementptr inbounds ([13 x i8]* @0, i64 0, i64 0))
ret void
}
define i32 @main() {
call void @f()
ret i32 0
}
$ lli c.bc
Hello world!