[ELF][PPC32] Don't report "relocation refers to a discarded section" for .got2

Similar to D63182 [ELF][PPC64] Don't report "relocation refers to a discarded section" for .toc

Reviewed By: Bdragon28

Differential Revision: https://reviews.llvm.org/D75419

diff --git a/lld/ELF/InputSection.cpp b/lld/ELF/InputSection.cpp
index 7aec542575a4334f6e3fc034bd85870519bf7490..b3031a3723c2bd19d3cdcbb959528ddae72aca71 100644 (file)
--- a/lld/ELF/InputSection.cpp
+++ b/lld/ELF/InputSection.cpp
@@ -438,11 +438,12 @@ void InputSection::copyRelocations(uint8_t *buf, ArrayRef<RelTy> rels) {
       // hopefully creates a frame that is ignored at runtime. Also, don't warn
       // on .gcc_except_table and debug sections.
       //
-      // See the comment in maybeReportUndefined for PPC64 .toc .
+      // See the comment in maybeReportUndefined for PPC32 .got2 and PPC64 .toc
       auto *d = dyn_cast<Defined>(&sym);
       if (!d) {
         if (!isDebugSection(*sec) && sec->name != ".eh_frame" &&
-            sec->name != ".gcc_except_table" && sec->name != ".toc") {
+            sec->name != ".gcc_except_table" && sec->name != ".got2" &&
+            sec->name != ".toc") {
           uint32_t secIdx = cast<Undefined>(sym).discardedSecIdx;
           Elf_Shdr_Impl<ELFT> sec =
               CHECK(file->getObj().sections(), file)[secIdx];

diff --git a/lld/ELF/Relocations.cpp b/lld/ELF/Relocations.cpp
index 60972e839ca3cfd7b259b0715273f00d777a4387..280173c5420e09e542d305913b4656d89d19c151 100644 (file)
--- a/lld/ELF/Relocations.cpp
+++ b/lld/ELF/Relocations.cpp
@@ -946,8 +946,12 @@ static bool maybeReportUndefined(Symbol &sym, InputSectionBase &sec,
   // .toc and the .rela.toc are incorrectly not placed in the comdat. The ELF
   // spec says references from outside the group to a STB_LOCAL symbol are not
   // allowed. Work around the bug.
-  if (config->emachine == EM_PPC64 &&
-      cast<Undefined>(sym).discardedSecIdx != 0 && sec.name == ".toc")
+  //
+  // PPC32 .got2 is similar but cannot be fixed. Multiple .got2 is infeasible
+  // because .LC0-.LTOC is not representable if the two labels are in different
+  // .got2
+  if (cast<Undefined>(sym).discardedSecIdx != 0 &&
+      (sec.name == ".got2" || sec.name == ".toc"))
     return false;
 
   bool isWarning =

diff --git a/lld/test/ELF/comdat-discarded-ppc32.s b/lld/test/ELF/comdat-discarded-ppc32.s
new file mode 100644 (file)
index 0000000..9b72784
--- /dev/null
+++ b/lld/test/ELF/comdat-discarded-ppc32.s
@@ -0,0 +1,21 @@
+# REQUIRES: ppc
+# RUN: llvm-mc -filetype=obj -triple=powerpc %s -o %t.o
+# RUN: ld.lld %t.o %t.o -o /dev/null
+# RUN: ld.lld -r --fatal-warnings %t.o %t.o -o /dev/null
+
+## Similar to PPC64, clang/gcc PPC32 may emit a .rela.got2 which references a local symbol
+## defined in a discarded .rodata section. Unfortunately, .got2 cannot be placed in a comdat
+## because for lwz 3, .LC0-.LTOC(30), we cannot define .LC0 in a different .got2 section.
+
+## Don't error "relocation refers to a discarded section".
+
+.section .text.foo,"axG",@progbits,foo,comdat
+.globl foo
+foo:
+ lwz 3, .LC0-.LTOC(30)
+.L0:
+
+.section .got2,"aw",@progbits
+.set .LTOC, .got2+32768
+.LC0:
+.long .L0