blob: a6e62fc4b43af78aeac0177b9b3214c33d21254e [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//===----------------------------------------------------------------------===//
9
10#ifndef LLD_ELF_SYMBOLS_H
11#define LLD_ELF_SYMBOLS_H
12
Rafael Espindola9d06ab62015-09-22 00:01:39 +000013#include "InputSection.h"
Rafael Espindola832b93f2015-08-24 20:06:32 +000014
Michael J. Spencer84487f12015-07-24 21:03:07 +000015#include "lld/Core/LLVM.h"
Michael J. Spencer1b348a62015-09-04 22:28:10 +000016#include "llvm/Object/Archive.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000017#include "llvm/Object/ELF.h"
18
19namespace lld {
20namespace elf2 {
21
Michael J. Spencer1b348a62015-09-04 22:28:10 +000022class ArchiveFile;
Michael J. Spencer84487f12015-07-24 21:03:07 +000023class InputFile;
24class SymbolBody;
Michael J. Spencercdae0a42015-07-28 22:58:25 +000025template <class ELFT> class ObjectFile;
Michael J. Spencer658dccd2015-09-18 22:13:25 +000026template <class ELFT> class OutputSection;
Michael J. Spencer84487f12015-07-24 21:03:07 +000027
Rui Ueyama9ea49c72015-10-07 23:46:11 +000028// Initializes global objects defined in this file.
29// Called at the beginning of main().
30void initSymbols();
31
Michael J. Spencer84487f12015-07-24 21:03:07 +000032// A real symbol object, SymbolBody, is usually accessed indirectly
33// through a Symbol. There's always one Symbol for each symbol name.
34// The resolver updates SymbolBody pointers as it resolves symbols.
35struct Symbol {
36 explicit Symbol(SymbolBody *P) : Body(P) {}
37 SymbolBody *Body;
38};
39
40// The base class for real symbol classes.
41class SymbolBody {
42public:
43 enum Kind {
Rafael Espindola84aff152015-09-25 21:20:23 +000044 DefinedFirst,
45 DefinedRegularKind = DefinedFirst,
46 DefinedAbsoluteKind,
47 DefinedCommonKind,
48 DefinedSyntheticKind,
49 SharedKind,
50 DefinedLast = SharedKind,
51 UndefinedKind,
52 LazyKind
Michael J. Spencer84487f12015-07-24 21:03:07 +000053 };
54
Michael J. Spencercdae0a42015-07-28 22:58:25 +000055 Kind kind() const { return static_cast<Kind>(SymbolKind); }
Michael J. Spencer84487f12015-07-24 21:03:07 +000056
Rafael Espindola3a63f3f2015-08-28 20:19:34 +000057 bool isWeak() const { return IsWeak; }
Rafael Espindolaf7d45f02015-08-31 01:46:20 +000058 bool isUndefined() const { return SymbolKind == UndefinedKind; }
Michael J. Spencer1b348a62015-09-04 22:28:10 +000059 bool isDefined() const { return SymbolKind <= DefinedLast; }
Rafael Espindola30e17972015-08-30 23:17:30 +000060 bool isCommon() const { return SymbolKind == DefinedCommonKind; }
Michael J. Spencer1b348a62015-09-04 22:28:10 +000061 bool isLazy() const { return SymbolKind == LazyKind; }
Rafael Espindola18173d42015-09-08 15:50:05 +000062 bool isShared() const { return SymbolKind == SharedKind; }
63 bool isUsedInRegularObj() const { return IsUsedInRegularObj; }
Rafael Espindola05a3dd22015-09-22 23:38:23 +000064 bool isUsedInDynamicReloc() const { return IsUsedInDynamicReloc; }
65 void setUsedInDynamicReloc() { IsUsedInDynamicReloc = true; }
Rafael Espindola1bd885a2015-08-14 16:46:28 +000066
Michael J. Spencer84487f12015-07-24 21:03:07 +000067 // Returns the symbol name.
Michael J. Spencercdae0a42015-07-28 22:58:25 +000068 StringRef getName() const { return Name; }
Michael J. Spencer84487f12015-07-24 21:03:07 +000069
Rafael Espindola78471f02015-09-01 23:12:52 +000070 uint8_t getMostConstrainingVisibility() const {
71 return MostConstrainingVisibility;
72 }
73
Rafael Espindola19e38892015-09-16 15:54:15 +000074 unsigned getDynamicSymbolTableIndex() const {
75 return DynamicSymbolTableIndex;
76 }
77 void setDynamicSymbolTableIndex(unsigned V) { DynamicSymbolTableIndex = V; }
78
Rui Ueyama49c68a72015-10-09 00:42:06 +000079 uint32_t GotIndex = -1;
80 uint32_t PltIndex = -1;
Rafael Espindola5c2310c2015-09-18 14:40:19 +000081 bool isInGot() const { return GotIndex != -1U; }
Rafael Espindolaeb792732015-09-21 15:11:29 +000082 bool isInPlt() const { return PltIndex != -1U; }
Rafael Espindolaeb792732015-09-21 15:11:29 +000083
Michael J. Spencer84487f12015-07-24 21:03:07 +000084 // A SymbolBody has a backreference to a Symbol. Originally they are
85 // doubly-linked. A backreference will never change. But the pointer
86 // in the Symbol may be mutated by the resolver. If you have a
87 // pointer P to a SymbolBody and are not sure whether the resolver
88 // has chosen the object among other objects having the same name,
89 // you can access P->Backref->Body to get the resolver's result.
90 void setBackref(Symbol *P) { Backref = P; }
Rui Ueyamae66e0012015-10-07 23:20:23 +000091 SymbolBody *repl() { return Backref ? Backref->Body : this; }
Michael J. Spencer84487f12015-07-24 21:03:07 +000092
93 // Decides which symbol should "win" in the symbol table, this or
94 // the Other. Returns 1 if this wins, -1 if the Other wins, or 0 if
95 // they are duplicate (conflicting) symbols.
Rafael Espindoladaa92a62015-08-31 01:16:19 +000096 template <class ELFT> int compare(SymbolBody *Other);
Michael J. Spencer84487f12015-07-24 21:03:07 +000097
98protected:
Rafael Espindola78471f02015-09-01 23:12:52 +000099 SymbolBody(Kind K, StringRef Name, bool IsWeak, uint8_t Visibility)
100 : SymbolKind(K), IsWeak(IsWeak), MostConstrainingVisibility(Visibility),
Rafael Espindola18173d42015-09-08 15:50:05 +0000101 Name(Name) {
102 IsUsedInRegularObj = K != SharedKind && K != LazyKind;
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000103 IsUsedInDynamicReloc = 0;
Rafael Espindola18173d42015-09-08 15:50:05 +0000104 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000105
Michael J. Spencercdae0a42015-07-28 22:58:25 +0000106 const unsigned SymbolKind : 8;
Rafael Espindola8614c562015-10-06 14:33:58 +0000107 unsigned IsWeak : 1;
Rafael Espindola78471f02015-09-01 23:12:52 +0000108 unsigned MostConstrainingVisibility : 2;
Rafael Espindola18173d42015-09-08 15:50:05 +0000109 unsigned IsUsedInRegularObj : 1;
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000110 unsigned IsUsedInDynamicReloc : 1;
Rafael Espindola19e38892015-09-16 15:54:15 +0000111 unsigned DynamicSymbolTableIndex = 0;
Michael J. Spencercdae0a42015-07-28 22:58:25 +0000112 StringRef Name;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000113 Symbol *Backref = nullptr;
114};
115
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000116// This is for symbols created from elf files and not from the command line.
117// Since they come from object files, they have a Elf_Sym.
118//
119// FIXME: Another alternative is to give every symbol an Elf_Sym. To do that
120// we have to delay creating the symbol table until the output format is
121// known and some of its methods will be templated. We should experiment with
122// that once we have a bit more code.
123template <class ELFT> class ELFSymbolBody : public SymbolBody {
124protected:
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000125 typedef typename llvm::object::ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000126 ELFSymbolBody(Kind K, StringRef Name, const Elf_Sym &Sym)
Rafael Espindola78471f02015-09-01 23:12:52 +0000127 : SymbolBody(K, Name, Sym.getBinding() == llvm::ELF::STB_WEAK,
128 Sym.getVisibility()),
129 Sym(Sym) {}
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000130
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000131public:
132 const Elf_Sym &Sym;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000133
134 static bool classof(const SymbolBody *S) {
135 Kind K = S->kind();
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000136 return K >= DefinedFirst && K <= UndefinedKind;
137 }
138};
139
140// The base class for any defined symbols, including absolute symbols,
141// etc.
142template <class ELFT> class Defined : public ELFSymbolBody<ELFT> {
143 typedef ELFSymbolBody<ELFT> Base;
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000144
145protected:
146 typedef typename Base::Kind Kind;
147 typedef typename Base::Elf_Sym Elf_Sym;
148
149public:
Rui Ueyama294b1362015-09-30 02:06:17 +0000150 Defined(Kind K, StringRef N, const Elf_Sym &Sym)
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000151 : ELFSymbolBody<ELFT>(K, N, Sym) {}
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000152
153 static bool classof(const SymbolBody *S) { return S->isDefined(); }
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000154};
155
156template <class ELFT> class DefinedAbsolute : public Defined<ELFT> {
157 typedef ELFSymbolBody<ELFT> Base;
158 typedef typename Base::Elf_Sym Elf_Sym;
159
160public:
Rafael Espindolad27adc42e2015-09-24 13:34:01 +0000161 static Elf_Sym IgnoreUndef;
162
Rui Ueyama294b1362015-09-30 02:06:17 +0000163 DefinedAbsolute(StringRef N, const Elf_Sym &Sym)
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000164 : Defined<ELFT>(Base::DefinedAbsoluteKind, N, Sym) {}
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000165
166 static bool classof(const SymbolBody *S) {
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000167 return S->kind() == Base::DefinedAbsoluteKind;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000168 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000169};
170
Rafael Espindolad27adc42e2015-09-24 13:34:01 +0000171template <class ELFT>
172typename DefinedAbsolute<ELFT>::Elf_Sym DefinedAbsolute<ELFT>::IgnoreUndef;
173
Rafael Espindola51d46902015-08-28 21:26:51 +0000174template <class ELFT> class DefinedCommon : public Defined<ELFT> {
175 typedef ELFSymbolBody<ELFT> Base;
176 typedef typename Base::Elf_Sym Elf_Sym;
177
178public:
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000179 typedef typename std::conditional<ELFT::Is64Bits, uint64_t, uint32_t>::type
180 uintX_t;
Rui Ueyama294b1362015-09-30 02:06:17 +0000181 DefinedCommon(StringRef N, const Elf_Sym &Sym)
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000182 : Defined<ELFT>(Base::DefinedCommonKind, N, Sym) {
183 MaxAlignment = Sym.st_value;
184 }
Rafael Espindola51d46902015-08-28 21:26:51 +0000185
186 static bool classof(const SymbolBody *S) {
187 return S->kind() == Base::DefinedCommonKind;
188 }
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000189
190 // The output offset of this common symbol in the output bss. Computed by the
191 // writer.
192 uintX_t OffsetInBSS;
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000193
194 // The maximum alignment we have seen for this symbol.
195 uintX_t MaxAlignment;
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 Espindola3a63f3f2015-08-28 20:19:34 +0000199template <class ELFT> class DefinedRegular : public Defined<ELFT> {
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000200 typedef Defined<ELFT> Base;
201 typedef typename Base::Elf_Sym Elf_Sym;
202
Michael J. Spencer84487f12015-07-24 21:03:07 +0000203public:
Rui Ueyama294b1362015-09-30 02:06:17 +0000204 DefinedRegular(StringRef N, const Elf_Sym &Sym, InputSection<ELFT> &Section)
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000205 : Defined<ELFT>(Base::DefinedRegularKind, N, Sym), Section(Section) {}
Michael J. Spencer84487f12015-07-24 21:03:07 +0000206
207 static bool classof(const SymbolBody *S) {
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000208 return S->kind() == Base::DefinedRegularKind;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000209 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000210
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000211 const InputSection<ELFT> &Section;
Rafael Espindolab13df652015-08-11 17:33:02 +0000212};
213
Rafael Espindola0e604f92015-09-25 18:56:53 +0000214template <class ELFT> class DefinedSynthetic : public Defined<ELFT> {
215 typedef Defined<ELFT> Base;
216
217public:
218 typedef typename Base::Elf_Sym Elf_Sym;
Rui Ueyama294b1362015-09-30 02:06:17 +0000219 DefinedSynthetic(StringRef N, const Elf_Sym &Sym,
220 OutputSection<ELFT> &Section)
Rafael Espindola0e604f92015-09-25 18:56:53 +0000221 : Defined<ELFT>(Base::DefinedSyntheticKind, N, Sym), Section(Section) {}
222
223 static bool classof(const SymbolBody *S) {
224 return S->kind() == Base::DefinedSyntheticKind;
225 }
226
227 const OutputSection<ELFT> &Section;
228};
229
Rafael Espindolaf7d45f02015-08-31 01:46:20 +0000230// Undefined symbol.
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000231template <class ELFT> class Undefined : public ELFSymbolBody<ELFT> {
232 typedef ELFSymbolBody<ELFT> Base;
233 typedef typename Base::Elf_Sym Elf_Sym;
234
Rafael Espindola76e24ea2015-08-11 17:57:05 +0000235public:
Rui Ueyama833ce282015-10-08 00:29:00 +0000236 static Elf_Sym Required;
237 static Elf_Sym Optional;
Rafael Espindolaf7d45f02015-08-31 01:46:20 +0000238
Rui Ueyama294b1362015-09-30 02:06:17 +0000239 Undefined(StringRef N, const Elf_Sym &Sym)
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000240 : ELFSymbolBody<ELFT>(Base::UndefinedKind, N, Sym) {}
Rafael Espindola76e24ea2015-08-11 17:57:05 +0000241
242 static bool classof(const SymbolBody *S) {
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000243 return S->kind() == Base::UndefinedKind;
244 }
Denis Protivensky22220d52015-10-05 09:43:57 +0000245
Rui Ueyama833ce282015-10-08 00:29:00 +0000246 bool canKeepUndefined() const { return &this->Sym == &Optional; }
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000247};
248
Rafael Espindolaf7d45f02015-08-31 01:46:20 +0000249template <class ELFT>
Rui Ueyama833ce282015-10-08 00:29:00 +0000250typename Undefined<ELFT>::Elf_Sym Undefined<ELFT>::Required;
Denis Protivensky22220d52015-10-05 09:43:57 +0000251template <class ELFT>
Rui Ueyama833ce282015-10-08 00:29:00 +0000252typename Undefined<ELFT>::Elf_Sym Undefined<ELFT>::Optional;
Rafael Espindolaf7d45f02015-08-31 01:46:20 +0000253
Rafael Espindola38af1272015-09-25 15:34:03 +0000254template <class ELFT> class SharedSymbol : public Defined<ELFT> {
Rafael Espindola5b197f02015-09-25 18:32:09 +0000255 typedef Defined<ELFT> Base;
Rafael Espindola18173d42015-09-08 15:50:05 +0000256 typedef typename Base::Elf_Sym Elf_Sym;
257
258public:
259 static bool classof(const SymbolBody *S) {
260 return S->kind() == Base::SharedKind;
261 }
262
263 SharedSymbol(StringRef Name, const Elf_Sym &Sym)
Rafael Espindola38af1272015-09-25 15:34:03 +0000264 : Defined<ELFT>(Base::SharedKind, Name, Sym) {}
Rafael Espindola18173d42015-09-08 15:50:05 +0000265};
266
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000267// This class represents a symbol defined in an archive file. It is
268// created from an archive file header, and it knows how to load an
269// object file from an archive to replace itself with a defined
270// symbol. If the resolver finds both Undefined and Lazy for
271// the same name, it will ask the Lazy to load a file.
272class Lazy : public SymbolBody {
273public:
274 Lazy(ArchiveFile *F, const llvm::object::Archive::Symbol S)
275 : SymbolBody(LazyKind, S.getName(), false, llvm::ELF::STV_DEFAULT),
276 File(F), Sym(S) {}
277
278 static bool classof(const SymbolBody *S) { return S->kind() == LazyKind; }
279
280 // Returns an object file for this symbol, or a nullptr if the file
281 // was already returned.
282 std::unique_ptr<InputFile> getMember();
283
Rafael Espindola8614c562015-10-06 14:33:58 +0000284 void setWeak() { IsWeak = true; }
285 void setUsedInRegularObj() { IsUsedInRegularObj = true; }
286
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000287private:
288 ArchiveFile *File;
289 const llvm::object::Archive::Symbol Sym;
290};
291
Michael J. Spencer84487f12015-07-24 21:03:07 +0000292} // namespace elf2
293} // namespace lld
294
295#endif