无法将自定义生成的LLVM IR与Clang生成的IR链接

Question

我一直在尝试将用llvm的C++api生成的IR与Clang++生成的另一个IR文件链接起来。Clang的输入文件是我试图从第一个IR文件调用的函数fn。但是llvm-link并没有用它的定义来代替fn的声明。

main_ir.ll

source_filename = "top"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"
@0 = private unnamed_addr constant [5 x i8] c"%d A0", align 1
declare i32 @printf(...)
declare i32 @fn(i32, ...)
define internal i32 @main() {
entrypoint:
%f_call = call i32 (i32, ...) @fn(i32 2)
%printfCall = call i32 (...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @0, 
i32 0, i32 0), i32 %f_call)
br label %ProgramExit
ProgramExit:                                      ; preds = %entrypoint
ret i32 0
}

fn_ir.ll(使用Clang生成(

source_filename = "libDessin.cpp"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i32 @_Z2fni(i32) #0 {
%2 = alloca i32, align 4
store i32 %0, i32* %2, align 4
%3 = load i32, i32* %2, align 4
%4 = mul nsw i32 %3, 2
ret i32 %4
}
attributes #0 = { noinline nounwind optnone uwtable "correctly-rounded-divide-sqrt-fp- 
math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "min-legal-vector- 
width"="0" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp- 
math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp- 
math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target- 
cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" 
"use-soft-float"="false" }
!llvm.module.flags = !{!0}
!llvm.ident = !{!1}
!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{!"clang version 9.0.1-12 "}

llvm链接所做的只是在source_filename更改为llvm-link的情况下复制fn_ir.ll的内容。我真的很高兴知道我错过了什么。

Answer 1

答案在名称mangling中。

您"手动"生成的IR具有一个名为fn的函数，而clang++发出的名称为_Z2fni。

你需要使名字匹配。要么在main_ir.ll中发射_Z2fni，要么(在这种情况下可能更好(更改fn_ir中fn的定义，例如：

extern "C" void fn(int x) {
return x * 2;
}

extern "C"告诉编译器使用C mangling约定，这不那么脆弱，因为即使您更改fn的参数类型或数量，它也能工作。然而，如果您想将C++类型传递到fn中，那么它是不起作用的，那么您需要为main_ir.ll发出正确的函数名。

UPD:

还有两个"差异"：

1. fn在两个模块中有不同的参数：i32和i32, ...
2. 另一个问题是main被声明为内部。我想它只是被剥离了，因为它是内部的，没有被任何人调用

因此，只要删除internal标志就可以了。