blob: 67cbaa327f3e6d112b3623aa0a08330807fb7df3 [file] [log] [blame]
Rafael Espindolabeee25e2015-08-14 14:12:54 +00001//===- Symbols.h ------------------------------------------------*- C++ -*-===//
Michael J. Spencer84487f12015-07-24 21:03:07 +00002//
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//===----------------------------------------------------------------------===//
Rui Ueyama34f29242015-10-13 19:51:57 +00009//
10// All symbols are handled as SymbolBodies regardless of their types.
11// This file defines various types of SymbolBodies.
12//
13// File-scope symbols in ELF objects are the only exception of SymbolBody
14// instantiation. We will never create SymbolBodies for them for performance
15// reason. They are often represented as nullptrs. This is fine for symbol
16// resolution because the symbol table naturally cares only about
17// externally-visible symbols. For relocations, you have to deal with both
18// local and non-local functions, and we have two different functions
19// where we need them.
20//
21//===----------------------------------------------------------------------===//
Michael J. Spencer84487f12015-07-24 21:03:07 +000022
23#ifndef LLD_ELF_SYMBOLS_H
24#define LLD_ELF_SYMBOLS_H
25
Rafael Espindola9d06ab62015-09-22 00:01:39 +000026#include "InputSection.h"
Rafael Espindola832b93f2015-08-24 20:06:32 +000027
Michael J. Spencer84487f12015-07-24 21:03:07 +000028#include "lld/Core/LLVM.h"
Michael J. Spencer1b348a62015-09-04 22:28:10 +000029#include "llvm/Object/Archive.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000030#include "llvm/Object/ELF.h"
31
32namespace lld {
33namespace elf2 {
34
Michael J. Spencer1b348a62015-09-04 22:28:10 +000035class ArchiveFile;
Michael J. Spencer84487f12015-07-24 21:03:07 +000036class InputFile;
37class SymbolBody;
Michael J. Spencercdae0a42015-07-28 22:58:25 +000038template <class ELFT> class ObjectFile;
Michael J. Spencer658dccd2015-09-18 22:13:25 +000039template <class ELFT> class OutputSection;
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +000040template <class ELFT> class OutputSectionBase;
Rui Ueyama35da9b62015-10-11 20:59:12 +000041template <class ELFT> class SharedFile;
Michael J. Spencer84487f12015-07-24 21:03:07 +000042
Rui Ueyama9ea49c72015-10-07 23:46:11 +000043// Initializes global objects defined in this file.
44// Called at the beginning of main().
45void initSymbols();
46
Rui Ueyamaa4a628f2016-01-13 18:55:39 +000047// Returns a demangled C++ symbol name. If Name is not a mangled
48// name or the system does not provide __cxa_demangle function,
49// it returns the unmodified string.
50std::string demangle(StringRef Name);
51
Michael J. Spencer84487f12015-07-24 21:03:07 +000052// A real symbol object, SymbolBody, is usually accessed indirectly
53// through a Symbol. There's always one Symbol for each symbol name.
54// The resolver updates SymbolBody pointers as it resolves symbols.
55struct Symbol {
Michael J. Spencer84487f12015-07-24 21:03:07 +000056 SymbolBody *Body;
57};
58
59// The base class for real symbol classes.
60class SymbolBody {
61public:
62 enum Kind {
Rafael Espindola84aff152015-09-25 21:20:23 +000063 DefinedFirst,
64 DefinedRegularKind = DefinedFirst,
Rafael Espindola84aff152015-09-25 21:20:23 +000065 SharedKind,
Rafael Espindola4d4b06a2015-12-24 00:47:42 +000066 DefinedElfLast = SharedKind,
Rafael Espindola11191912015-12-24 16:23:37 +000067 DefinedCommonKind,
Rafael Espindola4d4b06a2015-12-24 00:47:42 +000068 DefinedSyntheticKind,
69 DefinedLast = DefinedSyntheticKind,
Rafael Espindola5d7593b2015-12-22 23:00:50 +000070 UndefinedElfKind,
Rafael Espindola84aff152015-09-25 21:20:23 +000071 UndefinedKind,
72 LazyKind
Michael J. Spencer84487f12015-07-24 21:03:07 +000073 };
74
Michael J. Spencercdae0a42015-07-28 22:58:25 +000075 Kind kind() const { return static_cast<Kind>(SymbolKind); }
Michael J. Spencer84487f12015-07-24 21:03:07 +000076
Rafael Espindola3a63f3f2015-08-28 20:19:34 +000077 bool isWeak() const { return IsWeak; }
Rafael Espindola5d7593b2015-12-22 23:00:50 +000078 bool isUndefined() const {
79 return SymbolKind == UndefinedKind || SymbolKind == UndefinedElfKind;
80 }
Michael J. Spencer1b348a62015-09-04 22:28:10 +000081 bool isDefined() const { return SymbolKind <= DefinedLast; }
Rafael Espindola30e17972015-08-30 23:17:30 +000082 bool isCommon() const { return SymbolKind == DefinedCommonKind; }
Michael J. Spencer1b348a62015-09-04 22:28:10 +000083 bool isLazy() const { return SymbolKind == LazyKind; }
Rafael Espindola18173d42015-09-08 15:50:05 +000084 bool isShared() const { return SymbolKind == SharedKind; }
85 bool isUsedInRegularObj() const { return IsUsedInRegularObj; }
Rafael Espindola05a3dd22015-09-22 23:38:23 +000086 bool isUsedInDynamicReloc() const { return IsUsedInDynamicReloc; }
87 void setUsedInDynamicReloc() { IsUsedInDynamicReloc = true; }
Rui Ueyama61805ec2015-12-17 00:12:03 +000088 bool isTls() const { return IsTls; }
Rafael Espindola1bd885a2015-08-14 16:46:28 +000089
Michael J. Spencer84487f12015-07-24 21:03:07 +000090 // Returns the symbol name.
Michael J. Spencercdae0a42015-07-28 22:58:25 +000091 StringRef getName() const { return Name; }
Michael J. Spencer84487f12015-07-24 21:03:07 +000092
Rui Ueyama8f2c4da2015-10-21 18:13:47 +000093 uint8_t getVisibility() const { return Visibility; }
Rafael Espindola78471f02015-09-01 23:12:52 +000094
Rui Ueyama572a6f72016-01-29 01:49:33 +000095 unsigned DynsymIndex = 0;
George Rimar90cd0a82015-12-01 19:20:26 +000096 uint32_t GlobalDynIndex = -1;
Rui Ueyama49c68a72015-10-09 00:42:06 +000097 uint32_t GotIndex = -1;
George Rimar648a2c32015-10-20 08:54:27 +000098 uint32_t GotPltIndex = -1;
Rui Ueyama49c68a72015-10-09 00:42:06 +000099 uint32_t PltIndex = -1;
George Rimar90cd0a82015-12-01 19:20:26 +0000100 bool hasGlobalDynIndex() { return GlobalDynIndex != uint32_t(-1); }
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000101 bool isInGot() const { return GotIndex != -1U; }
Rafael Espindolaeb792732015-09-21 15:11:29 +0000102 bool isInPlt() const { return PltIndex != -1U; }
Rafael Espindolaeb792732015-09-21 15:11:29 +0000103
Rui Ueyamab5a69702016-02-01 21:00:35 +0000104 template <class ELFT>
105 typename llvm::object::ELFFile<ELFT>::uintX_t getVA() const;
106 template <class ELFT>
107 typename llvm::object::ELFFile<ELFT>::uintX_t getGotVA() const;
108 template <class ELFT>
109 typename llvm::object::ELFFile<ELFT>::uintX_t getGotPltVA() const;
110 template <class ELFT>
111 typename llvm::object::ELFFile<ELFT>::uintX_t getPltVA() const;
112
Michael J. Spencer84487f12015-07-24 21:03:07 +0000113 // A SymbolBody has a backreference to a Symbol. Originally they are
114 // doubly-linked. A backreference will never change. But the pointer
115 // in the Symbol may be mutated by the resolver. If you have a
116 // pointer P to a SymbolBody and are not sure whether the resolver
117 // has chosen the object among other objects having the same name,
118 // you can access P->Backref->Body to get the resolver's result.
119 void setBackref(Symbol *P) { Backref = P; }
Rui Ueyamae66e0012015-10-07 23:20:23 +0000120 SymbolBody *repl() { return Backref ? Backref->Body : this; }
Rui Ueyamadeb15402016-01-07 17:20:07 +0000121 Symbol *getSymbol() { return Backref; }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000122
123 // Decides which symbol should "win" in the symbol table, this or
124 // the Other. Returns 1 if this wins, -1 if the Other wins, or 0 if
125 // they are duplicate (conflicting) symbols.
Rafael Espindoladaa92a62015-08-31 01:16:19 +0000126 template <class ELFT> int compare(SymbolBody *Other);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000127
128protected:
Igor Kudrin65bddea2015-10-09 09:58:39 +0000129 SymbolBody(Kind K, StringRef Name, bool IsWeak, uint8_t Visibility,
Rui Ueyama61805ec2015-12-17 00:12:03 +0000130 bool IsTls)
131 : SymbolKind(K), IsWeak(IsWeak), Visibility(Visibility), IsTls(IsTls),
Rui Ueyama8f2c4da2015-10-21 18:13:47 +0000132 Name(Name) {
Rafael Espindola18173d42015-09-08 15:50:05 +0000133 IsUsedInRegularObj = K != SharedKind && K != LazyKind;
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000134 IsUsedInDynamicReloc = 0;
Rafael Espindola18173d42015-09-08 15:50:05 +0000135 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000136
Michael J. Spencercdae0a42015-07-28 22:58:25 +0000137 const unsigned SymbolKind : 8;
Rafael Espindola8614c562015-10-06 14:33:58 +0000138 unsigned IsWeak : 1;
Rui Ueyama8f2c4da2015-10-21 18:13:47 +0000139 unsigned Visibility : 2;
Rui Ueyama7d332f52015-12-25 06:55:39 +0000140
141 // True if the symbol was used for linking and thus need to be
142 // added to the output file's symbol table. It is usually true,
143 // but if it is a shared symbol that were not referenced by anyone,
144 // it can be false.
Rafael Espindola18173d42015-09-08 15:50:05 +0000145 unsigned IsUsedInRegularObj : 1;
Rui Ueyama7d332f52015-12-25 06:55:39 +0000146
147 // If true, the symbol is added to .dynsym symbol table.
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000148 unsigned IsUsedInDynamicReloc : 1;
Rui Ueyama7d332f52015-12-25 06:55:39 +0000149
Rui Ueyama61805ec2015-12-17 00:12:03 +0000150 unsigned IsTls : 1;
Michael J. Spencercdae0a42015-07-28 22:58:25 +0000151 StringRef Name;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000152 Symbol *Backref = nullptr;
153};
154
Rafael Espindola02ce26a2015-12-24 14:22:24 +0000155// The base class for any defined symbols.
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000156class Defined : public SymbolBody {
157public:
158 Defined(Kind K, StringRef Name, bool IsWeak, uint8_t Visibility, bool IsTls);
159 static bool classof(const SymbolBody *S) { return S->isDefined(); }
160};
161
162// Any defined symbol from an ELF file.
163template <class ELFT> class DefinedElf : public Defined {
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000164protected:
Rafael Espindola88dddf92015-12-21 21:07:31 +0000165 typedef typename llvm::object::ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000166
167public:
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000168 DefinedElf(Kind K, StringRef N, const Elf_Sym &Sym)
169 : Defined(K, N, Sym.getBinding() == llvm::ELF::STB_WEAK,
170 Sym.getVisibility(), Sym.getType() == llvm::ELF::STT_TLS),
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000171 Sym(Sym) {}
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000172
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000173 const Elf_Sym &Sym;
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000174 static bool classof(const SymbolBody *S) {
175 return S->kind() <= DefinedElfLast;
176 }
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000177};
178
Rafael Espindola11191912015-12-24 16:23:37 +0000179class DefinedCommon : public Defined {
Rafael Espindola51d46902015-08-28 21:26:51 +0000180public:
Rafael Espindola11191912015-12-24 16:23:37 +0000181 DefinedCommon(StringRef N, uint64_t Size, uint64_t Alignment, bool IsWeak,
182 uint8_t Visibility);
Rafael Espindola51d46902015-08-28 21:26:51 +0000183
184 static bool classof(const SymbolBody *S) {
Rafael Espindola1e2967e2015-12-21 20:47:33 +0000185 return S->kind() == SymbolBody::DefinedCommonKind;
Rafael Espindola51d46902015-08-28 21:26:51 +0000186 }
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000187
188 // The output offset of this common symbol in the output bss. Computed by the
189 // writer.
Rui Ueyamae57c4872016-01-05 16:35:43 +0000190 uint64_t OffsetInBss;
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000191
192 // The maximum alignment we have seen for this symbol.
Rafael Espindola11191912015-12-24 16:23:37 +0000193 uint64_t MaxAlignment;
194
195 uint64_t Size;
Rafael Espindola51d46902015-08-28 21:26:51 +0000196};
197
Michael J. Spencer84487f12015-07-24 21:03:07 +0000198// Regular defined symbols read from object file symbol tables.
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000199template <class ELFT> class DefinedRegular : public DefinedElf<ELFT> {
Rafael Espindola88dddf92015-12-21 21:07:31 +0000200 typedef typename llvm::object::ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000201
Michael J. Spencer84487f12015-07-24 21:03:07 +0000202public:
Rafael Espindolac159c962015-10-19 21:00:02 +0000203 DefinedRegular(StringRef N, const Elf_Sym &Sym,
Rafael Espindola02ce26a2015-12-24 14:22:24 +0000204 InputSectionBase<ELFT> *Section)
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000205 : DefinedElf<ELFT>(SymbolBody::DefinedRegularKind, N, Sym),
Rafael Espindola1e2967e2015-12-21 20:47:33 +0000206 Section(Section) {}
Michael J. Spencer84487f12015-07-24 21:03:07 +0000207
208 static bool classof(const SymbolBody *S) {
Rafael Espindola1e2967e2015-12-21 20:47:33 +0000209 return S->kind() == SymbolBody::DefinedRegularKind;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000210 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000211
Rafael Espindola02ce26a2015-12-24 14:22:24 +0000212 // If this is null, the symbol is absolute.
213 InputSectionBase<ELFT> *Section;
Rafael Espindolab13df652015-08-11 17:33:02 +0000214};
215
Rui Ueyama8b75b9a2015-12-17 00:48:16 +0000216// DefinedSynthetic is a class to represent linker-generated ELF symbols.
217// The difference from the regular symbol is that DefinedSynthetic symbols
218// don't belong to any input files or sections. Thus, its constructor
219// takes an output section to calculate output VA, etc.
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000220template <class ELFT> class DefinedSynthetic : public Defined {
Rafael Espindola0e604f92015-09-25 18:56:53 +0000221public:
Rafael Espindola88dddf92015-12-21 21:07:31 +0000222 typedef typename llvm::object::ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000223 typedef typename llvm::object::ELFFile<ELFT>::uintX_t uintX_t;
224 DefinedSynthetic(StringRef N, uintX_t Value,
225 OutputSectionBase<ELFT> &Section);
Rafael Espindola0e604f92015-09-25 18:56:53 +0000226
227 static bool classof(const SymbolBody *S) {
Rafael Espindola1e2967e2015-12-21 20:47:33 +0000228 return S->kind() == SymbolBody::DefinedSyntheticKind;
Rafael Espindola0e604f92015-09-25 18:56:53 +0000229 }
230
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000231 uintX_t Value;
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000232 const OutputSectionBase<ELFT> &Section;
Rafael Espindola0e604f92015-09-25 18:56:53 +0000233};
234
Rafael Espindolaf7d45f02015-08-31 01:46:20 +0000235// Undefined symbol.
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000236class Undefined : public SymbolBody {
237 typedef SymbolBody::Kind Kind;
238 bool CanKeepUndefined;
239
240protected:
241 Undefined(Kind K, StringRef N, bool IsWeak, uint8_t Visibility, bool IsTls);
242
243public:
244 Undefined(StringRef N, bool IsWeak, uint8_t Visibility,
245 bool CanKeepUndefined);
246
247 static bool classof(const SymbolBody *S) { return S->isUndefined(); }
248
249 bool canKeepUndefined() const { return CanKeepUndefined; }
250};
251
252template <class ELFT> class UndefinedElf : public Undefined {
Rafael Espindola88dddf92015-12-21 21:07:31 +0000253 typedef typename llvm::object::ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000254
Rafael Espindola76e24ea2015-08-11 17:57:05 +0000255public:
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000256 UndefinedElf(StringRef N, const Elf_Sym &Sym);
257 const Elf_Sym &Sym;
Rafael Espindola5f2c46d2015-12-23 01:06:39 +0000258
259 static bool classof(const SymbolBody *S) {
260 return S->kind() == SymbolBody::UndefinedElfKind;
261 }
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000262};
263
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000264template <class ELFT> class SharedSymbol : public DefinedElf<ELFT> {
Rafael Espindola88dddf92015-12-21 21:07:31 +0000265 typedef typename llvm::object::ELFFile<ELFT>::Elf_Sym Elf_Sym;
George Rimarbc590fe2015-10-28 16:48:58 +0000266 typedef typename llvm::object::ELFFile<ELFT>::uintX_t uintX_t;
Rafael Espindola18173d42015-09-08 15:50:05 +0000267
268public:
269 static bool classof(const SymbolBody *S) {
Rafael Espindola1e2967e2015-12-21 20:47:33 +0000270 return S->kind() == SymbolBody::SharedKind;
Rafael Espindola18173d42015-09-08 15:50:05 +0000271 }
272
Rui Ueyama35da9b62015-10-11 20:59:12 +0000273 SharedSymbol(SharedFile<ELFT> *F, StringRef Name, const Elf_Sym &Sym)
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000274 : DefinedElf<ELFT>(SymbolBody::SharedKind, Name, Sym), File(F) {}
Rui Ueyama35da9b62015-10-11 20:59:12 +0000275
276 SharedFile<ELFT> *File;
George Rimarbc590fe2015-10-28 16:48:58 +0000277
Rui Ueyamabb936062015-12-17 01:14:23 +0000278 // True if the linker has to generate a copy relocation for this shared
Rui Ueyamae57c4872016-01-05 16:35:43 +0000279 // symbol. OffsetInBss is significant only when NeedsCopy is true.
Rui Ueyamabb936062015-12-17 01:14:23 +0000280 bool NeedsCopy = false;
Rui Ueyamae57c4872016-01-05 16:35:43 +0000281 uintX_t OffsetInBss = 0;
Rafael Espindola18173d42015-09-08 15:50:05 +0000282};
283
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000284// This class represents a symbol defined in an archive file. It is
285// created from an archive file header, and it knows how to load an
286// object file from an archive to replace itself with a defined
287// symbol. If the resolver finds both Undefined and Lazy for
288// the same name, it will ask the Lazy to load a file.
289class Lazy : public SymbolBody {
290public:
291 Lazy(ArchiveFile *F, const llvm::object::Archive::Symbol S)
Igor Kudrin65bddea2015-10-09 09:58:39 +0000292 : SymbolBody(LazyKind, S.getName(), false, llvm::ELF::STV_DEFAULT, false),
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000293 File(F), Sym(S) {}
294
295 static bool classof(const SymbolBody *S) { return S->kind() == LazyKind; }
296
297 // Returns an object file for this symbol, or a nullptr if the file
298 // was already returned.
299 std::unique_ptr<InputFile> getMember();
300
Rafael Espindola8614c562015-10-06 14:33:58 +0000301 void setWeak() { IsWeak = true; }
302 void setUsedInRegularObj() { IsUsedInRegularObj = true; }
303
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000304private:
305 ArchiveFile *File;
306 const llvm::object::Archive::Symbol Sym;
307};
308
Rui Ueyamaa246e0942015-12-25 06:12:18 +0000309// Some linker-generated symbols need to be created as
310// DefinedRegular symbols, so they need Elf_Sym symbols.
311// Here we allocate such Elf_Sym symbols statically.
312template <class ELFT> struct ElfSym {
313 typedef typename llvm::object::ELFFile<ELFT>::Elf_Sym Elf_Sym;
314
Rafael Espindola65e80b92016-01-19 21:19:52 +0000315 // Used to represent an undefined symbol which we don't want to add to the
316 // output file's symbol table. It has weak binding and can be substituted.
317 static Elf_Sym Ignored;
Rui Ueyamaa246e0942015-12-25 06:12:18 +0000318
319 // The content for _end and end symbols.
320 static Elf_Sym End;
321
322 // The content for _gp symbol for MIPS target.
323 static Elf_Sym MipsGp;
324
325 // __rel_iplt_start/__rel_iplt_end for signaling
326 // where R_[*]_IRELATIVE relocations do live.
327 static Elf_Sym RelaIpltStart;
328 static Elf_Sym RelaIpltEnd;
329};
330
Rafael Espindola65e80b92016-01-19 21:19:52 +0000331template <class ELFT> typename ElfSym<ELFT>::Elf_Sym ElfSym<ELFT>::Ignored;
Rui Ueyamaa246e0942015-12-25 06:12:18 +0000332template <class ELFT> typename ElfSym<ELFT>::Elf_Sym ElfSym<ELFT>::End;
333template <class ELFT> typename ElfSym<ELFT>::Elf_Sym ElfSym<ELFT>::MipsGp;
334template <class ELFT>
335typename ElfSym<ELFT>::Elf_Sym ElfSym<ELFT>::RelaIpltStart;
336template <class ELFT> typename ElfSym<ELFT>::Elf_Sym ElfSym<ELFT>::RelaIpltEnd;
337
Michael J. Spencer84487f12015-07-24 21:03:07 +0000338} // namespace elf2
339} // namespace lld
340
341#endif