[MC][ELF] Don't create relocations with section symbols for STB_LOCAL ifunc

We should keep the symbol type (STT_GNU_IFUNC) for a local ifunc because
it may result in an IRELATIVE reloc that the dynamic loader will use to
resolve the address at startup time.

There is another problem that is not fixed by this patch: a PC relative
relocation should also create a relocation with the ifunc symbol.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@362767 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/MC/ELFObjectWriter.cpp b/lib/MC/ELFObjectWriter.cpp
index 95b0e27452669ea258a3e51d5da0857fa247aad0..99cab4e8c5dbaf0b2136017840bf1f9ee4f06503 100644 (file)
--- a/lib/MC/ELFObjectWriter.cpp
+++ b/lib/MC/ELFObjectWriter.cpp
@@ -1373,6 +1373,12 @@ bool ELFObjectWriter::shouldRelocateWithSymbol(const MCAssembler &Asm,
     return true;
   }
 
+  // Keep symbol type for a local ifunc because it may result in an IRELATIVE
+  // reloc that the dynamic loader will use to resolve the address at startup
+  // time.
+  if (Sym->getType() == ELF::STT_GNU_IFUNC)
+    return true;
+
   // If a relocation points to a mergeable section, we have to be careful.
   // If the offset is zero, a relocation with the section will encode the
   // same information. With a non-zero offset, the situation is different.

diff --git a/test/MC/ELF/ifunc-reloc.s b/test/MC/ELF/ifunc-reloc.s
index b4917371b0fd3fe8344eee0e5b3758e179ed5c63..101e6b83f84eaf02710ff33658d85a5b77aa2bb0 100644 (file)
--- a/test/MC/ELF/ifunc-reloc.s
+++ b/test/MC/ELF/ifunc-reloc.s
@@ -1,16 +1,29 @@
-// RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - | llvm-readobj -r | FileCheck %s
-        .global sym
-        .type sym, @gnu_indirect_function
-alias: 
-        .global alias
-        .type alias, @function
-        .set sym, alias
+# RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - | llvm-readobj -r | FileCheck %s
+.global alias
+.type alias, @function
+alias:
+  callq global
 
+.global global
+.type global, @gnu_indirect_function
+.set global, alias
 
-        callq sym
+.type local, @gnu_indirect_function
+.set local, alias
 
-// CHECK: Relocations [
-// CHECK-NEXT:   Section {{.*}} .rela.text {
-// CHECK-NEXT:     0x1 R_X86_64_PLT32 sym 0xFFFFFFFFFFFFFFFC
-// CHECK-NEXT:   }
-// CHECK-NEXT: ]
+## Check we don't create the relocations with a section symbol for both global
+## They may result in IRELATIVE relocs that the dynamic loader will use to
+## resolve addresses at startup time.
+.data
+.quad global
+.quad local
+
+# CHECK:      Relocations [
+# CHECK-NEXT:   Section {{.*}} .rela.text {
+# CHECK-NEXT:     0x1 R_X86_64_PLT32 global 0xFFFFFFFFFFFFFFFC
+# CHECK-NEXT:   }
+# CHECK-NEXT:   Section {{.*}} .rela.data {
+# CHECK-NEXT:     0x0 R_X86_64_64 global 0x0
+# CHECK-NEXT:     0x8 R_X86_64_64 local 0x0
+# CHECK-NEXT:   }
+# CHECK-NEXT: ]