blob: b536defca5525967727343912c382e663b219482 [file] [log] [blame]
Michael J. Spencer84487f12015-07-24 21:03:07 +00001//===- Symbols.cpp --------------------------------------------------------===//
2//
3// The LLVM Linker
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "Symbols.h"
Rafael Espindola49a2ca62015-08-06 15:33:19 +000011#include "Error.h"
Michael J. Spencercdae0a42015-07-28 22:58:25 +000012#include "InputFiles.h"
Rui Ueyamab5a69702016-02-01 21:00:35 +000013#include "InputSection.h"
14#include "OutputSections.h"
15#include "Target.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000016
Michael J. Spencer1b348a62015-09-04 22:28:10 +000017#include "llvm/ADT/STLExtras.h"
Rui Ueyamaa4a628f2016-01-13 18:55:39 +000018#include "llvm/Config/config.h"
19
20#ifdef HAVE_CXXABI_H
21#include <cxxabi.h>
22#endif
Michael J. Spencer1b348a62015-09-04 22:28:10 +000023
24using namespace llvm;
Michael J. Spencer84487f12015-07-24 21:03:07 +000025using namespace llvm::object;
Rafael Espindola78471f02015-09-01 23:12:52 +000026using namespace llvm::ELF;
Michael J. Spencer84487f12015-07-24 21:03:07 +000027
28using namespace lld;
Rafael Espindolae0df00b2016-02-28 00:25:54 +000029using namespace lld::elf;
Michael J. Spencer84487f12015-07-24 21:03:07 +000030
Rui Ueyamab5a69702016-02-01 21:00:35 +000031template <class ELFT>
Rui Ueyama9328b2c2016-03-14 23:16:09 +000032static typename ELFT::uint getSymVA(const SymbolBody &Body,
33 typename ELFT::uint &Addend) {
34 typedef typename ELFT::Sym Elf_Sym;
35 typedef typename ELFT::uint uintX_t;
Rafael Espindola87d9f102016-03-11 12:19:05 +000036
37 switch (Body.kind()) {
38 case SymbolBody::DefinedSyntheticKind: {
39 auto &D = cast<DefinedSynthetic<ELFT>>(Body);
Simon Atanasyan13f6da12016-03-31 21:26:23 +000040 if (D.Value == DefinedSynthetic<ELFT>::SectionEnd)
41 return D.Section.getVA() + D.Section.getSize();
Rafael Espindola87d9f102016-03-11 12:19:05 +000042 return D.Section.getVA() + D.Value;
Rui Ueyamab5a69702016-02-01 21:00:35 +000043 }
Rafael Espindola87d9f102016-03-11 12:19:05 +000044 case SymbolBody::DefinedRegularKind: {
45 auto &D = cast<DefinedRegular<ELFT>>(Body);
46 InputSectionBase<ELFT> *SC = D.Section;
Rui Ueyamab5a69702016-02-01 21:00:35 +000047
48 // This is an absolute symbol.
49 if (!SC)
Rafael Espindola87d9f102016-03-11 12:19:05 +000050 return D.Sym.st_value;
Rui Ueyamab5a69702016-02-01 21:00:35 +000051
Rafael Espindola1f5b70f2016-03-11 14:21:37 +000052 const Elf_Sym &Sym = D.Sym;
53 uintX_t Offset = Sym.st_value;
54 if (Sym.getType() == STT_SECTION) {
55 Offset += Addend;
56 Addend = 0;
57 }
58 uintX_t VA = SC->OutSec->getVA() + SC->getOffset(Offset);
59 if (Sym.getType() == STT_TLS)
60 return VA - Out<ELFT>::TlsPhdr->p_vaddr;
61 return VA;
Rui Ueyamab5a69702016-02-01 21:00:35 +000062 }
Rafael Espindola87d9f102016-03-11 12:19:05 +000063 case SymbolBody::DefinedCommonKind:
64 return Out<ELFT>::Bss->getVA() + cast<DefinedCommon>(Body).OffsetInBss;
65 case SymbolBody::SharedKind: {
66 auto &SS = cast<SharedSymbol<ELFT>>(Body);
67 if (!SS.NeedsCopyOrPltAddr)
Rafael Espindolaa0a65f92016-02-09 15:11:01 +000068 return 0;
Rafael Espindola87d9f102016-03-11 12:19:05 +000069 if (SS.IsFunc)
70 return Body.getPltVA<ELFT>();
Rui Ueyama2df72892016-03-13 20:54:38 +000071 return Out<ELFT>::Bss->getVA() + SS.OffsetInBss;
Rui Ueyamab5a69702016-02-01 21:00:35 +000072 }
Rafael Espindola87d9f102016-03-11 12:19:05 +000073 case SymbolBody::UndefinedElfKind:
74 case SymbolBody::UndefinedKind:
Rui Ueyamab5a69702016-02-01 21:00:35 +000075 return 0;
Rafael Espindola87d9f102016-03-11 12:19:05 +000076 case SymbolBody::LazyKind:
George Rimar777f9632016-03-12 08:31:34 +000077 assert(Body.isUsedInRegularObj() && "lazy symbol reached writer");
Rui Ueyamab5a69702016-02-01 21:00:35 +000078 return 0;
Rafael Espindola87d9f102016-03-11 12:19:05 +000079 case SymbolBody::DefinedBitcodeKind:
Davide Italianof6523ae2016-03-29 02:20:10 +000080 llvm_unreachable("should have been replaced");
Rui Ueyamab5a69702016-02-01 21:00:35 +000081 }
George Rimar777f9632016-03-12 08:31:34 +000082 llvm_unreachable("invalid symbol kind");
Rui Ueyamab5a69702016-02-01 21:00:35 +000083}
84
Rui Ueyamac4466602016-03-13 19:48:18 +000085// Returns true if a symbol can be replaced at load-time by a symbol
86// with the same name defined in other ELF executable or DSO.
87bool SymbolBody::isPreemptible() const {
88 if (isLocal())
89 return false;
90
91 if (isShared())
92 return true;
93
94 if (isUndefined()) {
95 if (!isWeak())
96 return true;
97
98 // Ideally the static linker should see a definition for every symbol, but
99 // shared object are normally allowed to have undefined references that the
100 // static linker never sees a definition for.
101 if (Config->Shared)
102 return true;
103
104 // Otherwise, just resolve to 0.
105 return false;
106 }
107
108 if (!Config->Shared)
109 return false;
110 if (getVisibility() != STV_DEFAULT)
111 return false;
112 if (Config->Bsymbolic || (Config->BsymbolicFunctions && IsFunc))
113 return false;
114 return true;
115}
116
Rui Ueyamab5a69702016-02-01 21:00:35 +0000117template <class ELFT>
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000118typename ELFT::uint SymbolBody::getVA(typename ELFT::uint Addend) const {
Rafael Espindola8381c562016-03-17 23:36:19 +0000119 typename ELFT::uint OutVA = getSymVA<ELFT>(*this, Addend);
120 return OutVA + Addend;
Rafael Espindola87d9f102016-03-11 12:19:05 +0000121}
122
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000123template <class ELFT> typename ELFT::uint SymbolBody::getGotVA() const {
Rui Ueyamab5a69702016-02-01 21:00:35 +0000124 return Out<ELFT>::Got->getVA() +
125 (Out<ELFT>::Got->getMipsLocalEntriesNum() + GotIndex) *
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000126 sizeof(typename ELFT::uint);
Rui Ueyamab5a69702016-02-01 21:00:35 +0000127}
128
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000129template <class ELFT> typename ELFT::uint SymbolBody::getGotPltVA() const {
130 return Out<ELFT>::GotPlt->getVA() + GotPltIndex * sizeof(typename ELFT::uint);
Rui Ueyamab5a69702016-02-01 21:00:35 +0000131}
132
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000133template <class ELFT> typename ELFT::uint SymbolBody::getPltVA() const {
Rui Ueyamab5a69702016-02-01 21:00:35 +0000134 return Out<ELFT>::Plt->getVA() + Target->PltZeroSize +
135 PltIndex * Target->PltEntrySize;
136}
137
Simon Atanasyan13f6da12016-03-31 21:26:23 +0000138template <class ELFT> typename ELFT::uint SymbolBody::getThunkVA() const {
139 auto *D = cast<DefinedRegular<ELFT>>(this);
140 auto *S = cast<InputSection<ELFT>>(D->Section);
141 return S->OutSec->getVA() + S->OutSecOff + S->getThunkOff() +
142 ThunkIndex * Target->ThunkSize;
143}
144
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000145template <class ELFT> typename ELFT::uint SymbolBody::getSize() const {
Rui Ueyama512c61d2016-02-03 00:12:24 +0000146 if (auto *B = dyn_cast<DefinedElf<ELFT>>(this))
147 return B->Sym.st_size;
148 return 0;
149}
150
Rafael Espindola78471f02015-09-01 23:12:52 +0000151static uint8_t getMinVisibility(uint8_t VA, uint8_t VB) {
152 if (VA == STV_DEFAULT)
153 return VB;
154 if (VB == STV_DEFAULT)
155 return VA;
156 return std::min(VA, VB);
157}
158
George Rimar3498c7f2016-03-10 18:49:24 +0000159static int compareCommons(DefinedCommon *A, DefinedCommon *B) {
George Rimar34358002016-03-14 09:19:30 +0000160 if (Config->WarnCommon)
161 warning("multiple common of " + A->getName());
Rui Ueyama17d69832016-03-10 18:58:53 +0000162 A->Alignment = B->Alignment = std::max(A->Alignment, B->Alignment);
Davide Italiano901de032016-03-21 22:44:24 +0000163 return A->Size < B->Size ? -1 : 1;
George Rimar3498c7f2016-03-10 18:49:24 +0000164}
165
Michael J. Spencer84487f12015-07-24 21:03:07 +0000166// Returns 1, 0 or -1 if this symbol should take precedence
167// over the Other, tie or lose, respectively.
Rafael Espindoladaa92a62015-08-31 01:16:19 +0000168template <class ELFT> int SymbolBody::compare(SymbolBody *Other) {
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000169 assert(!isLazy() && !Other->isLazy());
Rafael Espindola0bc0c022016-01-18 23:54:05 +0000170 std::tuple<bool, bool, bool> L(isDefined(), !isShared(), !isWeak());
171 std::tuple<bool, bool, bool> R(Other->isDefined(), !Other->isShared(),
172 !Other->isWeak());
Rui Ueyamaa7ccb292015-07-27 20:39:01 +0000173
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000174 // Normalize
175 if (L > R)
Rafael Espindoladaa92a62015-08-31 01:16:19 +0000176 return -Other->compare<ELFT>(this);
Rui Ueyamaa7ccb292015-07-27 20:39:01 +0000177
Rui Ueyama8f2c4da2015-10-21 18:13:47 +0000178 Visibility = Other->Visibility =
179 getMinVisibility(Visibility, Other->Visibility);
Rafael Espindola78471f02015-09-01 23:12:52 +0000180
Rui Ueyama86696f32015-10-21 19:41:03 +0000181 if (IsUsedInRegularObj || Other->IsUsedInRegularObj)
182 IsUsedInRegularObj = Other->IsUsedInRegularObj = true;
Rafael Espindola18173d42015-09-08 15:50:05 +0000183
George Rimar02ca1792016-01-25 08:44:38 +0000184 // We want to export all symbols that exist both in the executable
185 // and in DSOs, so that the symbols in the executable can interrupt
186 // symbols in the DSO at runtime.
187 if (isShared() != Other->isShared())
188 if (isa<DefinedRegular<ELFT>>(isShared() ? Other : this))
Rafael Espindolaabebed92016-02-05 15:27:15 +0000189 MustBeInDynSym = Other->MustBeInDynSym = true;
George Rimar02ca1792016-01-25 08:44:38 +0000190
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000191 if (L != R)
192 return -1;
George Rimar3498c7f2016-03-10 18:49:24 +0000193 if (!isDefined() || isShared() || isWeak())
Rafael Espindola8e5560d2015-09-23 14:23:59 +0000194 return 1;
George Rimar3498c7f2016-03-10 18:49:24 +0000195 if (!isCommon() && !Other->isCommon())
196 return 0;
197 if (isCommon() && Other->isCommon())
198 return compareCommons(cast<DefinedCommon>(this),
199 cast<DefinedCommon>(Other));
George Rimar34358002016-03-14 09:19:30 +0000200 if (Config->WarnCommon)
201 warning("common " + this->getName() + " is overridden");
George Rimar3498c7f2016-03-10 18:49:24 +0000202 return isCommon() ? -1 : 1;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000203}
Rafael Espindoladaa92a62015-08-31 01:16:19 +0000204
Rafael Espindola1f5b70f2016-03-11 14:21:37 +0000205Defined::Defined(Kind K, StringRef Name, bool IsWeak, bool IsLocal,
206 uint8_t Visibility, uint8_t Type)
207 : SymbolBody(K, Name, IsWeak, IsLocal, Visibility, Type) {}
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000208
Rafael Espindola4f29c1a2016-03-07 17:14:36 +0000209DefinedBitcode::DefinedBitcode(StringRef Name, bool IsWeak, uint8_t Visibility)
Rafael Espindola1f5b70f2016-03-11 14:21:37 +0000210 : Defined(DefinedBitcodeKind, Name, IsWeak, false, Visibility,
211 0 /* Type */) {}
Rafael Espindola9f77ef02016-02-12 20:54:57 +0000212
213bool DefinedBitcode::classof(const SymbolBody *S) {
214 return S->kind() == DefinedBitcodeKind;
215}
216
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000217Undefined::Undefined(SymbolBody::Kind K, StringRef N, bool IsWeak,
Davide Italiano255730c2016-03-04 01:55:28 +0000218 uint8_t Visibility, uint8_t Type)
Rafael Espindola1f5b70f2016-03-11 14:21:37 +0000219 : SymbolBody(K, N, IsWeak, false, Visibility, Type),
George Rimar5c36e592016-02-02 09:28:53 +0000220 CanKeepUndefined(false) {}
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000221
222Undefined::Undefined(StringRef N, bool IsWeak, uint8_t Visibility,
223 bool CanKeepUndefined)
Davide Italiano255730c2016-03-04 01:55:28 +0000224 : Undefined(SymbolBody::UndefinedKind, N, IsWeak, Visibility, 0 /* Type */) {
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000225 this->CanKeepUndefined = CanKeepUndefined;
226}
227
228template <typename ELFT>
229UndefinedElf<ELFT>::UndefinedElf(StringRef N, const Elf_Sym &Sym)
230 : Undefined(SymbolBody::UndefinedElfKind, N,
231 Sym.getBinding() == llvm::ELF::STB_WEAK, Sym.getVisibility(),
Davide Italiano255730c2016-03-04 01:55:28 +0000232 Sym.getType()),
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000233 Sym(Sym) {}
234
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000235template <typename ELFT>
236DefinedSynthetic<ELFT>::DefinedSynthetic(StringRef N, uintX_t Value,
George Rimaraa4dc202016-03-01 16:23:13 +0000237 OutputSectionBase<ELFT> &Section,
238 uint8_t Visibility)
Rafael Espindola1f5b70f2016-03-11 14:21:37 +0000239 : Defined(SymbolBody::DefinedSyntheticKind, N, false, false, Visibility,
Davide Italiano255730c2016-03-04 01:55:28 +0000240 0 /* Type */),
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000241 Value(Value), Section(Section) {}
242
Rafael Espindola11191912015-12-24 16:23:37 +0000243DefinedCommon::DefinedCommon(StringRef N, uint64_t Size, uint64_t Alignment,
244 bool IsWeak, uint8_t Visibility)
Rafael Espindola1f5b70f2016-03-11 14:21:37 +0000245 : Defined(SymbolBody::DefinedCommonKind, N, IsWeak, false, Visibility,
Rui Ueyama17d69832016-03-10 18:58:53 +0000246 0 /* Type */),
247 Alignment(Alignment), Size(Size) {}
Rafael Espindola11191912015-12-24 16:23:37 +0000248
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000249std::unique_ptr<InputFile> Lazy::getMember() {
250 MemoryBufferRef MBRef = File->getMember(&Sym);
251
252 // getMember returns an empty buffer if the member was already
253 // read from the library.
254 if (MBRef.getBuffer().empty())
255 return std::unique_ptr<InputFile>(nullptr);
Rui Ueyama71c066d2016-02-02 08:22:41 +0000256 return createObjectFile(MBRef, File->getName());
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000257}
258
Rui Ueyamaa4a628f2016-01-13 18:55:39 +0000259// Returns the demangled C++ symbol name for Name.
Rafael Espindolae0df00b2016-02-28 00:25:54 +0000260std::string elf::demangle(StringRef Name) {
Rui Ueyamaa4a628f2016-01-13 18:55:39 +0000261#if !defined(HAVE_CXXABI_H)
262 return Name;
263#else
264 if (!Config->Demangle)
265 return Name;
Rui Ueyama5fa978b2016-01-13 19:40:13 +0000266
Rui Ueyamadf154512016-01-13 22:09:09 +0000267 // __cxa_demangle can be used to demangle strings other than symbol
268 // names which do not necessarily start with "_Z". Name can be
269 // either a C or C++ symbol. Don't call __cxa_demangle if the name
270 // does not look like a C++ symbol name to avoid getting unexpected
271 // result for a C symbol that happens to match a mangled type name.
Rui Ueyama5fa978b2016-01-13 19:40:13 +0000272 if (!Name.startswith("_Z"))
273 return Name;
274
Rui Ueyamaa4a628f2016-01-13 18:55:39 +0000275 char *Buf =
276 abi::__cxa_demangle(Name.str().c_str(), nullptr, nullptr, nullptr);
277 if (!Buf)
278 return Name;
279 std::string S(Buf);
280 free(Buf);
281 return S;
282#endif
283}
284
Rafael Espindola87d9f102016-03-11 12:19:05 +0000285template uint32_t SymbolBody::template getVA<ELF32LE>(uint32_t) const;
286template uint32_t SymbolBody::template getVA<ELF32BE>(uint32_t) const;
287template uint64_t SymbolBody::template getVA<ELF64LE>(uint64_t) const;
288template uint64_t SymbolBody::template getVA<ELF64BE>(uint64_t) const;
Rui Ueyamab5a69702016-02-01 21:00:35 +0000289
290template uint32_t SymbolBody::template getGotVA<ELF32LE>() const;
291template uint32_t SymbolBody::template getGotVA<ELF32BE>() const;
292template uint64_t SymbolBody::template getGotVA<ELF64LE>() const;
293template uint64_t SymbolBody::template getGotVA<ELF64BE>() const;
294
295template uint32_t SymbolBody::template getGotPltVA<ELF32LE>() const;
296template uint32_t SymbolBody::template getGotPltVA<ELF32BE>() const;
297template uint64_t SymbolBody::template getGotPltVA<ELF64LE>() const;
298template uint64_t SymbolBody::template getGotPltVA<ELF64BE>() const;
299
300template uint32_t SymbolBody::template getPltVA<ELF32LE>() const;
301template uint32_t SymbolBody::template getPltVA<ELF32BE>() const;
302template uint64_t SymbolBody::template getPltVA<ELF64LE>() const;
303template uint64_t SymbolBody::template getPltVA<ELF64BE>() const;
304
Rui Ueyama512c61d2016-02-03 00:12:24 +0000305template uint32_t SymbolBody::template getSize<ELF32LE>() const;
306template uint32_t SymbolBody::template getSize<ELF32BE>() const;
307template uint64_t SymbolBody::template getSize<ELF64LE>() const;
308template uint64_t SymbolBody::template getSize<ELF64BE>() const;
309
Simon Atanasyan13f6da12016-03-31 21:26:23 +0000310template uint32_t SymbolBody::template getThunkVA<ELF32LE>() const;
311template uint32_t SymbolBody::template getThunkVA<ELF32BE>() const;
312template uint64_t SymbolBody::template getThunkVA<ELF64LE>() const;
313template uint64_t SymbolBody::template getThunkVA<ELF64BE>() const;
314
Rafael Espindoladaa92a62015-08-31 01:16:19 +0000315template int SymbolBody::compare<ELF32LE>(SymbolBody *Other);
316template int SymbolBody::compare<ELF32BE>(SymbolBody *Other);
317template int SymbolBody::compare<ELF64LE>(SymbolBody *Other);
318template int SymbolBody::compare<ELF64BE>(SymbolBody *Other);
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000319
Rafael Espindolae0df00b2016-02-28 00:25:54 +0000320template class elf::UndefinedElf<ELF32LE>;
321template class elf::UndefinedElf<ELF32BE>;
322template class elf::UndefinedElf<ELF64LE>;
323template class elf::UndefinedElf<ELF64BE>;
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000324
Rafael Espindolae0df00b2016-02-28 00:25:54 +0000325template class elf::DefinedSynthetic<ELF32LE>;
326template class elf::DefinedSynthetic<ELF32BE>;
327template class elf::DefinedSynthetic<ELF64LE>;
328template class elf::DefinedSynthetic<ELF64BE>;