llvm链接：我可以用公共名称链接具有不同函数的.ll文件吗

我有3个文件，第一个文件是库代码mylib.c，第二个是myProgram1.c，第三个是myProgram2.c。我需要一个组合的llvm位代码文件。所以我做了以下几件事

clangmylib.c-S-emit llvm-o mylib.ll

clangmyprogram1.c-S-emit llvm-o myProgram1.ll

clangmyprogram2.c-S-emit llvm-o myProgram2.ll

llvm链接mylib.llmyprogram1.llmyprogram2.ll-o final.ll-S

但问题是我在myProgram1.c和myProgram2.c中都有主函数。因此，无法链接表示存在重复符号。

---

那么，有没有办法通过llvm链接将所有3个文件链接起来？

我有一个想法，可以使用

llvm extract

假设我们有以下两个源代码

$cat prog1.c

#include <stdlib.h>
#include <stdio.h>

void f1() {
  printf("f1\n");
}

int main() {
  f1();
  return 0;
}

然后用llvm nm列出字节码中定义的符号

$ llvm-nm prog1.bc |grep -v main
---------------- T f1
                 U printf

然后使用llvm extract来提取排除main之外的所有内容

$ llvm-extract -func=f1 prog1.bc -o prog1_f1.bc  

最后，使用llvm链接

$ llvm-link prog2.bc prog1_f1.bc -o link.bc  
$ llvm-dis link.bc -o -

看起来字节码是有效的

; ModuleID = 'link.bc'
source_filename = "llvm-link"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@.str.4 = private unnamed_addr constant [4 x i8] c"f2\0A\00", align 1
@.str = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: noinline nounwind uwtable
define void @f2() #0 {
entry:
  %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i32 0, i32 0))
  ret void
}

declare i32 @printf(i8*, ...) #1

; Function Attrs: noinline nounwind uwtable
define i32 @main() #0 {
entry:
  %retval = alloca i32, align 4
  store i32 0, i32* %retval, align 4
  call void (...) bitcast (void ()* @f1 to void (...)*)()
  call void @f2()
  ret i32 0
}

; Function Attrs: noinline nounwind uwtable
define void @f1() #0 {
entry:
  %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i32 0, i32 0))
  ret void
}

attributes #0 = { noinline nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "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"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="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"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }

!llvm.ident = !{!0, !0}

!0 = !{!"clang version 4.0.0 (tags/RELEASE_400/final)"}

---

我有一个想法，可以使用

llvmextract

假设我们有以下两个源代码

$cat prog1.c

#include <stdlib.h>
#include <stdio.h>

void f1() {
  printf("f1\n");
}

int main() {
  f1();
  return 0;
}

然后用llvm nm列出字节码中定义的符号

$ llvm-nm prog1.bc |grep -v main
---------------- T f1
                 U printf

然后使用llvm extract来提取排除main之外的所有内容

$ llvm-extract -func=f1 prog1.bc -o prog1_f1.bc  

最后，使用llvm链接

$ llvm-link prog2.bc prog1_f1.bc -o link.bc  
$ llvm-dis link.bc -o -

看起来字节码是有效的

; ModuleID = 'link.bc'
source_filename = "llvm-link"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@.str.4 = private unnamed_addr constant [4 x i8] c"f2\0A\00", align 1
@.str = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: noinline nounwind uwtable
define void @f2() #0 {
entry:
  %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i32 0, i32 0))
  ret void
}

declare i32 @printf(i8*, ...) #1

; Function Attrs: noinline nounwind uwtable
define i32 @main() #0 {
entry:
  %retval = alloca i32, align 4
  store i32 0, i32* %retval, align 4
  call void (...) bitcast (void ()* @f1 to void (...)*)()
  call void @f2()
  ret i32 0
}

; Function Attrs: noinline nounwind uwtable
define void @f1() #0 {
entry:
  %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i32 0, i32 0))
  ret void
}

attributes #0 = { noinline nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "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"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="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"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }

!llvm.ident = !{!0, !0}

!0 = !{!"clang version 4.0.0 (tags/RELEASE_400/final)"}

---

为什么有两个

main

s？您希望链接器对它们做什么？链接时不能多次使用同一命名函数，无论使用哪个链接器。@arrowd。我刚才举了一个例子。没有必要有两个main，两个文件中可以有两个'foo（）'函数。@FrankC。llvm会将两个不同的文件视为两个不同的模块。对吗？那么，难道没有模块：myProgram1函数：main和模块：myProgram2函数：main这样的区别吗？那么，您可以为这些函数将链接类型设置为“internal”。为什么有两个

main

s？您希望链接器对它们做什么？链接时不能多次使用同一命名函数，无论使用哪个链接器。@arrowd。我刚才举了一个例子。没有必要有两个main，两个文件中可以有两个'foo（）'函数。@FrankC。llvm会将两个不同的文件视为两个不同的模块。对吗？那么，难道没有什么区别像module:myProgram1 function:main和module:myProgram2 function:main吗？好吧，你可以为这些函数设置链接类型为“internal”。非常有创意。。。我太专注于链接和碰撞了，正如你所说的，我忘记了最终转换的想法+1对于创造力的水平，希望这能减少芥末！你能告诉我在这里使用llvm nm命令有什么意义吗？非常有创意。。。我太专注于链接和碰撞了，正如你所说的，我忘记了最终转换的想法+1对于创造力的水平，希望这能减少芥末！您能告诉我在这里使用llvm nm命令有什么意义吗？