[LTO] Add a test to ensure we treat externally available symbols correctly.
authorDavide Italiano <davide@freebsd.org>
Wed, 30 Mar 2016 21:01:14 +0000 (21:01 +0000)
committerDavide Italiano <davide@freebsd.org>
Wed, 30 Mar 2016 21:01:14 +0000 (21:01 +0000)
We already get it right, but there was no coverage for it.

llvm-svn: 264925

lld/test/ELF/lto/Inputs/available-externally.ll [new file with mode: 0644]
lld/test/ELF/lto/available-externally.ll [new file with mode: 0644]

diff --git a/lld/test/ELF/lto/Inputs/available-externally.ll b/lld/test/ELF/lto/Inputs/available-externally.ll
new file mode 100644 (file)
index 0000000..b8583ea
--- /dev/null
@@ -0,0 +1,6 @@
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux-gnu"
+
+define void @zed() {
+  ret void
+}
diff --git a/lld/test/ELF/lto/available-externally.ll b/lld/test/ELF/lto/available-externally.ll
new file mode 100644 (file)
index 0000000..74aa860
--- /dev/null
@@ -0,0 +1,22 @@
+; RUN: llvm-as %s -o %t1.o
+; RUN: llvm-as %p/Inputs/available-externally.ll -o %t2.o
+; RUN: ld.lld %t1.o %t2.o -m elf_x86_64 -o %t.so -shared -save-temps
+; RUN: llvm-dis < %t.so.lto.bc | FileCheck %s
+
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux-gnu"
+
+define void @foo() {
+  call void @bar()
+  call void @zed()
+  ret void
+}
+define available_externally void @bar() {
+  ret void
+}
+define available_externally void @zed() {
+  ret void
+}
+
+; CHECK: define available_externally void @bar() {
+; CHECK: define void @zed() {