summaryrefslogtreecommitdiffstats
path: root/llvm
diff options
context:
space:
mode:
Diffstat (limited to 'llvm')
-rw-r--r--llvm/lib/MC/ELFObjectWriter.cpp24
-rw-r--r--llvm/test/LTO/X86/symver-asm.ll4
-rw-r--r--llvm/test/LTO/X86/symver-asm2.ll3
-rw-r--r--llvm/test/MC/ARM/arm-elf-symver.s27
-rw-r--r--llvm/test/MC/ELF/multiple-different-symver.s6
-rw-r--r--llvm/test/MC/ELF/symver-multiple-version.s20
-rw-r--r--llvm/test/MC/ELF/symver.s174
-rw-r--r--llvm/test/MC/PowerPC/ppc64-localentry-symbols.s2
8 files changed, 170 insertions, 90 deletions
diff --git a/llvm/lib/MC/ELFObjectWriter.cpp b/llvm/lib/MC/ELFObjectWriter.cpp
index f9b1ad38400..014eafed588 100644
--- a/llvm/lib/MC/ELFObjectWriter.cpp
+++ b/llvm/lib/MC/ELFObjectWriter.cpp
@@ -1285,21 +1285,8 @@ void ELFObjectWriter::executePostLayoutBinding(MCAssembler &Asm,
Alias->setBinding(Symbol.getBinding());
Alias->setOther(Symbol.getOther());
- // Record the rename. This serves two purposes: 1) detect multiple symbol
- // version definitions, 2) consistently suppress the original symbol in the
- // symbol table. GNU as keeps the original symbol for defined @ and @@, but
- // suppresses in for other cases (@@@ or undefined). The original symbol is
- // usually undesired and difficult to remove in an archive. Moreoever, it
- // can cause linker issues like binutils PR/18703. If the user wants other
- // aliases to the versioned symbol, they can copy the original symbol to
- // other symbol names with .set directive.
- auto R = Renames.try_emplace(&Symbol, Alias);
- if (!R.second && R.first->second != Alias) {
- Asm.getContext().reportError(
- SMLoc(), llvm::Twine("multiple symbol versions defined for ") +
- Symbol.getName());
+ if (!Symbol.isUndefined() && !Rest.startswith("@@@"))
continue;
- }
// FIXME: Get source locations for these errors or diagnose them earlier.
if (Symbol.isUndefined() && Rest.startswith("@@") &&
@@ -1308,6 +1295,15 @@ void ELFObjectWriter::executePostLayoutBinding(MCAssembler &Asm,
" must be defined");
continue;
}
+
+ if (Renames.count(&Symbol) && Renames[&Symbol] != Alias) {
+ Asm.getContext().reportError(
+ SMLoc(), llvm::Twine("multiple symbol versions defined for ") +
+ Symbol.getName());
+ continue;
+ }
+
+ Renames.insert(std::make_pair(&Symbol, Alias));
}
for (const MCSymbol *&Sym : AddrsigSyms) {
diff --git a/llvm/test/LTO/X86/symver-asm.ll b/llvm/test/LTO/X86/symver-asm.ll
index 6797527e3ad..85d032ba1ab 100644
--- a/llvm/test/LTO/X86/symver-asm.ll
+++ b/llvm/test/LTO/X86/symver-asm.ll
@@ -21,6 +21,7 @@ module asm ".symver foo,foo@@VER1"
define i32 @io_cancel_0_4() {
; CHECK-DAG: T io_cancel@@LIBAIO_0.4
+; CHECK-DAG: T io_cancel_0_4
ret i32 0
}
@@ -28,16 +29,19 @@ define internal i32 @io_cancel_local_0_4() {
; INTERN: llvm.compiler.used {{.*}} @io_cancel_local_0_4
; INTERN: define internal i32 @io_cancel_local_0_4()
; CHECK-DAG: t io_cancel_local@@LIBAIO_0.4
+; CHECK-DAG: t io_cancel_local_0_4
ret i32 0
}
define weak i32 @io_cancel_weak_0_4() {
; CHECK-DAG: W io_cancel_weak@@LIBAIO_0.4
; CHECK-DAG: W io_cancel_weak@@LIBAIO_0.4.1
+; CHECK-DAG: W io_cancel_weak_0_4
ret i32 0
}
define i32 @"\01foo"() {
; CHECK-DAG: T foo@@VER1
+; CHECK-DAG: T foo
ret i32 0
}
diff --git a/llvm/test/LTO/X86/symver-asm2.ll b/llvm/test/LTO/X86/symver-asm2.ll
index 6b7a542dcb1..42d6e54bd06 100644
--- a/llvm/test/LTO/X86/symver-asm2.ll
+++ b/llvm/test/LTO/X86/symver-asm2.ll
@@ -22,6 +22,9 @@ module asm ".symver _start3, foo@SOME_VERSION3"
module asm ".local _start2"
module asm ".weak _start3"
+; CHECK-DAG: T _start
+; CHECK-DAG: t _start2
+; CHECK-DAG: W _start3
; CHECK-DAG: T foo@@SOME_VERSION
; CHECK-DAG: t foo@SOME_VERSION2
; CHECK-DAG: W foo@SOME_VERSION3
diff --git a/llvm/test/MC/ARM/arm-elf-symver.s b/llvm/test/MC/ARM/arm-elf-symver.s
index e1f45459766..83313c103a1 100644
--- a/llvm/test/MC/ARM/arm-elf-symver.s
+++ b/llvm/test/MC/ARM/arm-elf-symver.s
@@ -60,6 +60,24 @@ global1:
@ CHECK-NEXT: Section: .text
@ CHECK-NEXT: }
@ CHECK-NEXT: Symbol {
+@ CHECK-NEXT: Name: defined1
+@ CHECK-NEXT: Value: 0x0
+@ CHECK-NEXT: Size: 0
+@ CHECK-NEXT: Binding: Local (0x0)
+@ CHECK-NEXT: Type: None (0x0)
+@ CHECK-NEXT: Other: 0
+@ CHECK-NEXT: Section: .text
+@ CHECK-NEXT: }
+@ CHECK-NEXT: Symbol {
+@ CHECK-NEXT: Name: defined2
+@ CHECK-NEXT: Value: 0x0
+@ CHECK-NEXT: Size: 0
+@ CHECK-NEXT: Binding: Local (0x0)
+@ CHECK-NEXT: Type: None (0x0)
+@ CHECK-NEXT: Other: 0
+@ CHECK-NEXT: Section: .text
+@ CHECK-NEXT: }
+@ CHECK-NEXT: Symbol {
@ CHECK-NEXT: Name: .text (0)
@ CHECK-NEXT: Value: 0x0
@ CHECK-NEXT: Size: 0
@@ -95,4 +113,13 @@ global1:
@ CHECK-NEXT: Other: 0
@ CHECK-NEXT: Section: .text
@ CHECK-NEXT: }
+@ CHECK-NEXT: Symbol {
+@ CHECK-NEXT: Name: global1
+@ CHECK-NEXT: Value: 0x14
+@ CHECK-NEXT: Size: 0
+@ CHECK-NEXT: Binding: Global (0x1)
+@ CHECK-NEXT: Type: None (0x0)
+@ CHECK-NEXT: Other: 0
+@ CHECK-NEXT: Section: .text
+@ CHECK-NEXT: }
@ CHECK-NEXT: ]
diff --git a/llvm/test/MC/ELF/multiple-different-symver.s b/llvm/test/MC/ELF/multiple-different-symver.s
new file mode 100644
index 00000000000..c34626c0817
--- /dev/null
+++ b/llvm/test/MC/ELF/multiple-different-symver.s
@@ -0,0 +1,6 @@
+// RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o %t 2>&1 | FileCheck %s
+
+// CHECK: error: multiple symbol versions defined for foo
+
+.symver foo, foo@1
+.symver foo, foo@2
diff --git a/llvm/test/MC/ELF/symver-multiple-version.s b/llvm/test/MC/ELF/symver-multiple-version.s
deleted file mode 100644
index bb296e8d0d9..00000000000
--- a/llvm/test/MC/ELF/symver-multiple-version.s
+++ /dev/null
@@ -1,20 +0,0 @@
-# RUN: not llvm-mc -filetype=obj -triple x86_64 %s -o %t 2>&1 | FileCheck %s
-
-# CHECK: error: multiple symbol versions defined for defined1
-# CHECK-NEXT: error: multiple symbol versions defined for defined2
-# CHECK-NEXT: error: multiple symbol versions defined for defined3
-# CHECK-NEXT: error: multiple symbol versions defined for undef
-
-defined1:
-defined2:
-defined3:
-
-.symver defined1, defined1@1
-.symver defined1, defined1@2
-.symver defined2, defined2@1
-.symver defined2, defined2@2
-.symver defined3, defined@@@1
-.symver defined3, defined@@@2
-
-.symver undef, undef@1
-.symver undef, undef@2
diff --git a/llvm/test/MC/ELF/symver.s b/llvm/test/MC/ELF/symver.s
index 5d01596e720..a591d5cec7b 100644
--- a/llvm/test/MC/ELF/symver.s
+++ b/llvm/test/MC/ELF/symver.s
@@ -1,62 +1,124 @@
-# RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o %t.o
-# RUN: llvm-readelf -s %t.o | FileCheck --check-prefix=SYM %s
-# RUN: llvm-readobj -r %t.o | FileCheck --check-prefix=REL %s
+// RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - | llvm-readobj -r --symbols | FileCheck %s
-.globl global1_impl, global2_impl, global3_impl
-local1_impl:
-local2_impl:
-local3_impl:
-global1_impl:
-global2_impl:
-global3_impl:
+defined1:
+defined2:
+defined3:
+ .symver defined1, bar1@zed
+ .symver undefined1, bar2@zed
-# SYM: 0000000000000000 0 NOTYPE LOCAL DEFAULT UND
-# SYM-NEXT: 0000000000000000 0 NOTYPE LOCAL DEFAULT 2 local1@zed
-# SYM-NEXT: 0000000000000000 0 NOTYPE LOCAL DEFAULT 2 local2@@zed
-# SYM-NEXT: 0000000000000000 0 NOTYPE LOCAL DEFAULT 2 local3@@zed
-# SYM-NEXT: 0000000000000000 0 SECTION LOCAL DEFAULT 2
-.symver local1_impl, local1@zed
-.symver local2_impl, local2@@zed
-.symver local3_impl, local3@@@zed
+ .symver defined2, bar3@@zed
-# SYM-NEXT: 0000000000000000 0 NOTYPE GLOBAL DEFAULT 2 global1@zed
-# SYM-NEXT: 0000000000000000 0 NOTYPE GLOBAL DEFAULT 2 global2@@zed
-# SYM-NEXT: 0000000000000000 0 NOTYPE GLOBAL DEFAULT 2 global3@@zed
-.symver global1_impl, global1@zed
-.symver global2_impl, global2@@zed
-.symver global3_impl, global3@@@zed
+ .symver defined3, bar5@@@zed
+ .symver undefined3, bar6@@@zed
-## undef3_impl@@@zed emits a non-default versioned undef3_impl@zed.
-# SYM-NEXT: 0000000000000000 0 NOTYPE GLOBAL DEFAULT UND undef1@zed
-# SYM-NEXT: 0000000000000000 0 NOTYPE GLOBAL DEFAULT UND undef3@zed
-.symver undef1_impl, undef1@zed
-.symver undef3_impl, undef3@@@zed
+ .long defined1
+ .long undefined1
+ .long defined2
+ .long defined3
+ .long undefined3
-## GNU as emits {local,global}{1,2}_impl (.symver acted as a copy) but not
-## {local,global}3_impl or undef{1,2,3}_impl (.symver acted as a rename).
-## We consistently treat .symver as a rename and suppress the original symbols.
-## This is advantageous because the original symbols are usually undesired
-## and can easily cause issues like binutils PR/18703.
-## If they want to retain the original symbol,
-# SYM-NOT: {{.}}
+ .global global1
+ .symver global1, g1@@zed
+global1:
-# REL: Relocations [
-# REL-NEXT: Section {{.*}} .rela.text {
-# REL-NEXT: 0x0 R_X86_64_32 .text 0x0
-# REL-NEXT: 0x4 R_X86_64_32 .text 0x0
-# REL-NEXT: 0x8 R_X86_64_32 .text 0x0
-# REL-NEXT: 0xC R_X86_64_32 global1@zed 0x0
-# REL-NEXT: 0x10 R_X86_64_32 global2@@zed 0x0
-# REL-NEXT: 0x14 R_X86_64_32 global3@@zed 0x0
-# REL-NEXT: 0x18 R_X86_64_32 undef1@zed 0x0
-# REL-NEXT: 0x1C R_X86_64_32 undef3@zed 0x0
-# REL-NEXT: }
-# REL-NEXT: ]
-.long local1_impl
-.long local2_impl
-.long local3_impl
-.long global1_impl
-.long global2_impl
-.long global3_impl
-.long undef1_impl
-.long undef3_impl
+// CHECK: Relocations [
+// CHECK-NEXT: Section {{.*}} .rela.text {
+// CHECK-NEXT: 0x0 R_X86_64_32 .text 0x0
+// CHECK-NEXT: 0x4 R_X86_64_32 bar2@zed 0x0
+// CHECK-NEXT: 0x8 R_X86_64_32 .text 0x0
+// CHECK-NEXT: 0xC R_X86_64_32 .text 0x0
+// CHECK-NEXT: 0x10 R_X86_64_32 bar6@zed 0x0
+// CHECK-NEXT: }
+// CHECK-NEXT: ]
+
+// CHECK: Symbol {
+// CHECK: Name: bar1@zed
+// CHECK-NEXT: Value: 0x0
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Local
+// CHECK-NEXT: Type: None
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: .text
+// CHECK-NEXT: }
+// CHECK-NEXT: Symbol {
+// CHECK-NEXT: Name: bar3@@zed
+// CHECK-NEXT: Value: 0x0
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Local
+// CHECK-NEXT: Type: None
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: .text
+// CHECK-NEXT: }
+// CHECK-NEXT: Symbol {
+// CHECK-NEXT: Name: bar5@@zed
+// CHECK-NEXT: Value: 0x0
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Local
+// CHECK-NEXT: Type: None
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: .text
+// CHECK-NEXT: }
+// CHECK-NEXT: Symbol {
+// CHECK-NEXT: Name: defined1
+// CHECK-NEXT: Value: 0x0
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Local
+// CHECK-NEXT: Type: None
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: .text
+// CHECK-NEXT: }
+// CHECK-NEXT: Symbol {
+// CHECK-NEXT: Name: defined2
+// CHECK-NEXT: Value: 0x0
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Local
+// CHECK-NEXT: Type: None
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: .text
+// CHECK-NEXT: }
+// CHECK-NEXT: Symbol {
+// CHECK-NEXT: Name: .text (0)
+// CHECK-NEXT: Value: 0x0
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Local
+// CHECK-NEXT: Type: Section
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: .text
+// CHECK-NEXT: }
+// CHECK-NEXT: Symbol {
+// CHECK-NEXT: Name: bar2@zed
+// CHECK-NEXT: Value: 0x0
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Global
+// CHECK-NEXT: Type: None
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: Undefined
+// CHECK-NEXT: }
+// CHECK-NEXT: Symbol {
+// CHECK-NEXT: Name: bar6@zed
+// CHECK-NEXT: Value: 0x0
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Global
+// CHECK-NEXT: Type: None
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: Undefined
+// CHECK-NEXT: }
+// CHECK-NEXT: Symbol {
+// CHECK-NEXT: Name: g1@@zed
+// CHECK-NEXT: Value: 0x14
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Global
+// CHECK-NEXT: Type: None
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: .text
+// CHECK-NEXT: }
+// CHECK-NEXT: Symbol {
+// CHECK-NEXT: Name: global1
+// CHECK-NEXT: Value: 0x14
+// CHECK-NEXT: Size: 0
+// CHECK-NEXT: Binding: Global
+// CHECK-NEXT: Type: None
+// CHECK-NEXT: Other: 0
+// CHECK-NEXT: Section: .text
+// CHECK-NEXT: }
+// CHECK-NEXT: ]
diff --git a/llvm/test/MC/PowerPC/ppc64-localentry-symbols.s b/llvm/test/MC/PowerPC/ppc64-localentry-symbols.s
index 927247a80bf..f1d5c5d0ab1 100644
--- a/llvm/test/MC/PowerPC/ppc64-localentry-symbols.s
+++ b/llvm/test/MC/PowerPC/ppc64-localentry-symbols.s
@@ -1,6 +1,8 @@
# RUN: llvm-mc -filetype=obj -triple=powerpc64-unknown-freebsd13.0 %s -o %t
# RUN: llvm-objdump -t %t | FileCheck %s
+# CHECK: 0000000000000000 gw F .text 00000000 0x60 __impl_foo
+# CHECK: 0000000000000000 g F .text 00000000 0x60 foo
# CHECK: 0000000000000000 gw F .text 00000000 0x60 foo@FBSD_1.1
# CHECK: 0000000000000008 g F .text 00000000 0x60 func
# CHECK: 0000000000000008 gw F .text 00000000 0x60 weak_func
OpenPOWER on IntegriCloud