[PATCH] D64304: [X86] -fno-plt: use GOT __tls_get_addr only if GOTPCRELX is enabled

[Fangrui Song via Phabricator via llvm-commits]

MaskRay created this revision.
MaskRay added reviewers: dalias, hjl.tools, nikic, rnk.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

As of binutils 2.32, ld has a bogus TLS relaxation error when the GD/LD
code sequence using R_X86_64_GOTPCREL (instead of R_X86_64_GOTPCRELX) is
attempted to be relaxed to IE/LE (binutils PR24784). gold and lld are good.

In gcc/config/i386/i386.md, there is a configure-time check of as/ld
support and the GOT relaxation will not be used if as/ld doesn't support
it:

  if (flag_plt || !HAVE_AS_IX86_TLS_GET_ADDR_GOT)
    return "call\t%P2";
  return "call\t{*%p2 at GOT(%1)|[DWORD PTR %p2 at GOT[%1]]}";

In clang, -DENABLE_X86_RELAX_RELOCATIONS=OFF is the default. The ld.bfd
bogus error can be reproduced with:

  thread_local int a;
  int main() { return a; }

clang -fno-plt -fpic a.cc -fuse-ld=bfd

GOTPCRELX gained relative good support in 2016, which is considered
relatively new.  It is even difficult to conditionally default to
-DENABLE_X86_RELAX_RELOCATIONS=ON due to cross compilation reasons. So
work around the ld.bfd bug by only using GOT when GOTPCRELX is enabled.


Repository:
  rL LLVM

https://reviews.llvm.org/D64304

Files:
  lib/Target/X86/X86MCInstLower.cpp
  test/CodeGen/X86/tls-no-plt.ll


Index: test/CodeGen/X86/tls-no-plt.ll
===================================================================
--- test/CodeGen/X86/tls-no-plt.ll
+++ test/CodeGen/X86/tls-no-plt.ll
@@ -1,5 +1,10 @@
-; RUN: llc < %s -mtriple=i386-linux-musl -relocation-model=pic | FileCheck --check-prefixes=CHECK,X86 %s
-; RUN: llc < %s -mtriple=x86_64-linux-musl -relocation-model=pic | FileCheck --check-prefixes=CHECK,X64 %s
+; RUN: llc < %s -mtriple=i386-linux-musl -relocation-model=pic -relax-elf-relocations=true | FileCheck --check-prefixes=CHECK,X86 %s
+; RUN: llc < %s -mtriple=x86_64-linux-musl -relocation-model=pic -relax-elf-relocations=true | FileCheck --check-prefixes=CHECK,X64 %s
+
+;; If GOTPCRELX is disabled, don't use GOT for __tls_get_addr to work around
+;; a ld.bfd bug (binutils PR24784).
+; RUN: llc < %s -mtriple=i386-linux-musl -relocation-model=pic | FileCheck --check-prefixes=CHECK,X86-PLT %s
+; RUN: llc < %s -mtriple=x86_64-linux-musl -relocation-model=pic | FileCheck --check-prefixes=CHECK,X64-PLT %s
 
 @gd = thread_local global i32 0
 @ld = internal thread_local global i32 0
@@ -9,9 +14,11 @@
 ; CHECK-LABEL: get_gd:
 ; X86: leal gd at TLSGD(%ebx), %eax
 ; X86: calll *___tls_get_addr at GOT(%ebx)
+; X86-PLT: calll ___tls_get_addr at PLT
 
 ; X64: leaq gd at TLSGD(%rip), %rdi
 ; X64: callq *__tls_get_addr at GOTPCREL(%rip)
+; X64-PLT: callq __tls_get_addr at PLT
   ret i32* @gd
 }
 
@@ -20,9 +27,11 @@
 ; CHECK-LABEL: get_ld:
 ; X86: leal ld at TLSLDM(%ebx), %eax
 ; X86: calll *___tls_get_addr at GOT(%ebx)
+; X86-PLT: calll ___tls_get_addr at PLT
 
 ; X64: leaq ld at TLSLD(%rip), %rdi
 ; X64: callq *__tls_get_addr at GOTPCREL(%rip)
+; X64-PLT: callq __tls_get_addr at PLT
   ret i32* @ld
 }
 
Index: lib/Target/X86/X86MCInstLower.cpp
===================================================================
--- lib/Target/X86/X86MCInstLower.cpp
+++ lib/Target/X86/X86MCInstLower.cpp
@@ -705,7 +705,13 @@
 
   const MCSymbolRefExpr *Sym = MCSymbolRefExpr::create(
       MCInstLowering.GetSymbolFromOperand(MI.getOperand(3)), SRVK, Ctx);
-  bool UseGot = MMI->getModule()->getRtLibUseGOT();
+
+  // As of binutils 2.32, ld has a bogus TLS relaxation error when the GD/LD
+  // code sequence using R_X86_64_GOTPCREL (instead of R_X86_64_GOTPCRELX) is
+  // attempted to be relaxed to IE/LE (binutils PR24784). Work around the bug by
+  // only using GOT when GOTPCRELX is enabled.
+  bool UseGot = MMI->getModule()->getRtLibUseGOT() &&
+                Ctx.getAsmInfo()->canRelaxRelocations();
 
   if (Is64Bits) {
     bool NeedsPadding = SRVK == MCSymbolRefExpr::VK_TLSGD;


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D64304.208307.patch
Type: text/x-patch
Size: 2558 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190708/a7ffd9f1/attachment.bin>