[ELF][RISCV] Create dummy .sdata for __global_pointer$ if .sdata does not exist
If .sdata is absent, linker synthesized __global_pointer$ gets a section index of SHN_ABS.
(ld.bfd has a similar issue: binutils PR24678)
Scrt1.o may use `lla gp, __global_pointer$` to reference the symbol PC
relatively. In -pie/-shared mode, lld complains if a PC relative
relocation references an absolute symbol (SHN_ABS) but ld.bfd doesn't:
ld.lld: error: relocation R_RISCV_PCREL_HI20 cannot refer to lute symbol: __global_pointer$
Let the reference of __global_pointer$ to force creation of .sdata to
fix the problem. This is similar to _GLOBAL_OFFSET_TABLE_, which forces
creation of .got or .got.plt .
Also, change the visibility from STV_HIDDEN to STV_DEFAULT and don't
define the symbol for -shared. This matches ld.bfd, though I don't
understand why it uses STV_DEFAULT.
Reviewed By: ruiu, jrtc27
Differential Revision: https://reviews.llvm.org/D63132
git-svn-id: https://llvm.org/svn/llvm-project/lld/trunk@363351 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/ELF/Symbols.cpp b/ELF/Symbols.cpp
index 231ba7c..a5bc49d 100644
--- a/ELF/Symbols.cpp
+++ b/ELF/Symbols.cpp
@@ -39,6 +39,7 @@
Defined *ElfSym::MipsLocalGp;
Defined *ElfSym::RelaIpltStart;
Defined *ElfSym::RelaIpltEnd;
+Defined *ElfSym::RISCVGlobalPointer;
Defined *ElfSym::TlsModuleBase;
static uint64_t getSymVA(const Symbol &Sym, int64_t &Addend) {
diff --git a/ELF/Symbols.h b/ELF/Symbols.h
index 685f254..0782cf0 100644
--- a/ELF/Symbols.h
+++ b/ELF/Symbols.h
@@ -437,6 +437,9 @@
static Defined *RelaIpltStart;
static Defined *RelaIpltEnd;
+ // __global_pointer$ for RISC-V.
+ static Defined *RISCVGlobalPointer;
+
// _TLS_MODULE_BASE_ on targets that support TLSDESC.
static Defined *TlsModuleBase;
};
diff --git a/ELF/SyntheticSections.cpp b/ELF/SyntheticSections.cpp
index 15433de..53c347f 100644
--- a/ELF/SyntheticSections.cpp
+++ b/ELF/SyntheticSections.cpp
@@ -3386,6 +3386,23 @@
return !Finalized || !Entries.empty();
}
+RISCVSdataSection::RISCVSdataSection()
+ : SyntheticSection(SHF_ALLOC | SHF_WRITE, SHT_PROGBITS, 1, ".sdata") {}
+
+bool RISCVSdataSection::isNeeded() const {
+ if (!ElfSym::RISCVGlobalPointer)
+ return false;
+
+ // __global_pointer$ is defined relative to .sdata . If the section does not
+ // exist, create a dummy one.
+ for (BaseCommand *Base : getParent()->SectionCommands)
+ if (auto *ISD = dyn_cast<InputSectionDescription>(Base))
+ for (InputSection *IS : ISD->Sections)
+ if (IS != this)
+ return false;
+ return true;
+}
+
static uint8_t getAbiVersion() {
// MIPS non-PIC executable gets ABI version 1.
if (Config->EMachine == EM_MIPS) {
diff --git a/ELF/SyntheticSections.h b/ELF/SyntheticSections.h
index 0dcc44e..ace9f26 100644
--- a/ELF/SyntheticSections.h
+++ b/ELF/SyntheticSections.h
@@ -1098,6 +1098,15 @@
void writeTo(uint8_t *Buf) override;
};
+// Create a dummy .sdata for __global_pointer$ if .sdata does not exist.
+class RISCVSdataSection final : public SyntheticSection {
+public:
+ RISCVSdataSection();
+ size_t getSize() const override { return 0; }
+ bool isNeeded() const override;
+ void writeTo(uint8_t *Buf) override {}
+};
+
InputSection *createInterpSection();
MergeInputSection *createCommentSection();
template <class ELFT> void splitSections();
@@ -1162,6 +1171,7 @@
PltSection *Plt;
PltSection *Iplt;
PPC32Got2Section *PPC32Got2;
+ RISCVSdataSection *RISCVSdata;
RelocationBaseSection *RelaPlt;
RelocationBaseSection *RelaIplt;
StringTableSection *ShStrTab;
diff --git a/ELF/Writer.cpp b/ELF/Writer.cpp
index c6ba893..a667c9b 100644
--- a/ELF/Writer.cpp
+++ b/ELF/Writer.cpp
@@ -476,6 +476,11 @@
Add(In.PPC64LongBranchTarget);
}
+ if (Config->EMachine == EM_RISCV) {
+ In.RISCVSdata = make<RISCVSdataSection>();
+ Add(In.RISCVSdata);
+ }
+
In.GotPlt = make<GotPltSection>();
Add(In.GotPlt);
In.IgotPlt = make<IgotPltSection>();
@@ -1692,9 +1697,11 @@
addRelIpltSymbols();
// RISC-V's gp can address +/- 2 KiB, set it to .sdata + 0x800 if not defined.
- if (Config->EMachine == EM_RISCV)
- if (!dyn_cast_or_null<Defined>(Symtab->find("__global_pointer$")))
- addOptionalRegular("__global_pointer$", findSection(".sdata"), 0x800);
+ // This symbol should only be defined in an executable.
+ if (Config->EMachine == EM_RISCV && !Config->Shared)
+ ElfSym::RISCVGlobalPointer =
+ addOptionalRegular("__global_pointer$", findSection(".sdata"), 0x800,
+ STV_DEFAULT, STB_GLOBAL);
if (Config->EMachine == EM_X86_64) {
// On targets that support TLSDESC, _TLS_MODULE_BASE_ is defined in such a
@@ -1871,6 +1878,7 @@
finalizeSynthetic(In.Plt);
finalizeSynthetic(In.Iplt);
finalizeSynthetic(In.PPC32Got2);
+ finalizeSynthetic(In.RISCVSdata);
finalizeSynthetic(In.PartIndex);
// Dynamic section must be the last one in this list and dynamic
diff --git a/test/ELF/riscv-gp-dummy-sdata.s b/test/ELF/riscv-gp-dummy-sdata.s
new file mode 100644
index 0000000..e04b170
--- /dev/null
+++ b/test/ELF/riscv-gp-dummy-sdata.s
@@ -0,0 +1,25 @@
+# REQUIRES: riscv
+# RUN: llvm-mc -filetype=obj -triple=riscv32 %s -o %t.32.o
+# RUN: ld.lld -pie %t.32.o -o %t.32
+# RUN: llvm-readelf -S %t.32 | FileCheck --check-prefix=SEC %s
+# RUN: llvm-readelf -s %t.32 | FileCheck --check-prefix=SYM %s
+
+# RUN: llvm-mc -filetype=obj -triple=riscv64 %s -o %t.64.o
+# RUN: ld.lld -pie %t.64.o -o %t.64
+# RUN: llvm-readelf -S %t.64 | FileCheck --check-prefix=SEC %s
+# RUN: llvm-readelf -s %t.64 | FileCheck --check-prefix=SYM %s
+
+## If there is an undefined reference to __global_pointer$ but .sdata doesn't
+## exist, create a dummy one.
+
+## __global_pointer$ = .sdata+0x800
+# SEC: [ 7] .sdata PROGBITS {{0*}}00003000
+# SYM: {{0*}}00003800 0 NOTYPE GLOBAL DEFAULT 7 __global_pointer$
+
+## If __global_pointer$ is not used, don't create .sdata .
+
+# RUN: llvm-mc -filetype=obj -triple=riscv32 /dev/null -o %t.32.o
+# RUN: ld.lld -pie %t.32.o -o %t.32
+# RUN: llvm-readelf -S %t.32 | FileCheck --implicit-check-not=.sdata /dev/null
+
+lla gp, __global_pointer$
diff --git a/test/ELF/riscv-gp.s b/test/ELF/riscv-gp.s
new file mode 100644
index 0000000..83b5f0d
--- /dev/null
+++ b/test/ELF/riscv-gp.s
@@ -0,0 +1,26 @@
+# REQUIRES: riscv
+# RUN: llvm-mc -filetype=obj -triple=riscv32 %s -o %t.32.o
+# RUN: ld.lld -pie %t.32.o -o %t.32
+# RUN: llvm-readelf -s %t.32 | FileCheck --check-prefix=SYM %s
+# RUN: llvm-readelf -S %t.32 | FileCheck --check-prefix=SEC %s
+# RUN: not ld.lld -shared %t.32.o -o /dev/null 2>&1 | FileCheck --check-prefix=ERR %s
+
+# RUN: llvm-mc -filetype=obj -triple=riscv64 %s -o %t.64.o
+# RUN: ld.lld -pie %t.64.o -o %t.64
+# RUN: llvm-readelf -s %t.64 | FileCheck --check-prefix=SYM %s
+# RUN: llvm-readelf -S %t.64 | FileCheck --check-prefix=SEC %s
+# RUN: not ld.lld -shared %t.64.o -o /dev/null 2>&1 | FileCheck --check-prefix=ERR %s
+
+## __global_pointer$ = .sdata+0x800 = 0x3800
+# SEC: [ 7] .sdata PROGBITS {{0*}}00003000
+# SYM: {{0*}}00003800 0 NOTYPE GLOBAL DEFAULT 7 __global_pointer$
+
+## __global_pointer$ - 0x1000 = 4096*3-2048
+# DIS: 1000: auipc gp, 3
+# DIS-NEXT: addi gp, gp, -2048
+
+# ERR: error: relocation R_RISCV_PCREL_HI20 cannot be used against symbol __global_pointer$; recompile with -fPIC
+
+lla gp, __global_pointer$
+
+.section .sdata,"aw"