blob: 7ace59292626b923e3b27c1164ab64c37bde4bb6 [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 Espindola832b93f2015-08-24 20:06:32 +000013#include "Chunks.h"
14
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 Chunk;
24class InputFile;
25class SymbolBody;
Michael J. Spencercdae0a42015-07-28 22:58:25 +000026template <class ELFT> class ObjectFile;
Michael J. Spencer84487f12015-07-24 21:03:07 +000027
28// A real symbol object, SymbolBody, is usually accessed indirectly
29// through a Symbol. There's always one Symbol for each symbol name.
30// The resolver updates SymbolBody pointers as it resolves symbols.
31struct Symbol {
32 explicit Symbol(SymbolBody *P) : Body(P) {}
33 SymbolBody *Body;
34};
35
36// The base class for real symbol classes.
37class SymbolBody {
38public:
39 enum Kind {
Rafael Espindolaae1b23b2015-08-11 17:10:02 +000040 DefinedFirst = 0,
41 DefinedRegularKind = 0,
Rafael Espindola0e0c1902015-08-27 12:40:06 +000042 DefinedAbsoluteKind = 1,
Rafael Espindola51d46902015-08-28 21:26:51 +000043 DefinedCommonKind = 2,
Rafael Espindola18173d42015-09-08 15:50:05 +000044 SharedKind = 3,
45 DefinedLast = 3,
46 UndefinedKind = 4,
47 LazyKind = 5,
Michael J. Spencer84487f12015-07-24 21:03:07 +000048 };
49
Michael J. Spencercdae0a42015-07-28 22:58:25 +000050 Kind kind() const { return static_cast<Kind>(SymbolKind); }
Michael J. Spencer84487f12015-07-24 21:03:07 +000051
Rafael Espindola3a63f3f2015-08-28 20:19:34 +000052 bool isWeak() const { return IsWeak; }
Rafael Espindolaf7d45f02015-08-31 01:46:20 +000053 bool isUndefined() const { return SymbolKind == UndefinedKind; }
Michael J. Spencer1b348a62015-09-04 22:28:10 +000054 bool isDefined() const { return SymbolKind <= DefinedLast; }
Rafael Espindola30e17972015-08-30 23:17:30 +000055 bool isStrongUndefined() const { return !IsWeak && isUndefined(); }
56 bool isCommon() const { return SymbolKind == DefinedCommonKind; }
Michael J. Spencer1b348a62015-09-04 22:28:10 +000057 bool isLazy() const { return SymbolKind == LazyKind; }
Rafael Espindola18173d42015-09-08 15:50:05 +000058 bool isShared() const { return SymbolKind == SharedKind; }
59 bool isUsedInRegularObj() const { return IsUsedInRegularObj; }
Rafael Espindola1bd885a2015-08-14 16:46:28 +000060
Michael J. Spencer84487f12015-07-24 21:03:07 +000061 // Returns the symbol name.
Michael J. Spencercdae0a42015-07-28 22:58:25 +000062 StringRef getName() const { return Name; }
Michael J. Spencer84487f12015-07-24 21:03:07 +000063
Rafael Espindola78471f02015-09-01 23:12:52 +000064 uint8_t getMostConstrainingVisibility() const {
65 return MostConstrainingVisibility;
66 }
67
Rafael Espindola19e38892015-09-16 15:54:15 +000068 unsigned getDynamicSymbolTableIndex() const {
69 return DynamicSymbolTableIndex;
70 }
71 void setDynamicSymbolTableIndex(unsigned V) { DynamicSymbolTableIndex = V; }
72
Michael J. Spencer84487f12015-07-24 21:03:07 +000073 // A SymbolBody has a backreference to a Symbol. Originally they are
74 // doubly-linked. A backreference will never change. But the pointer
75 // in the Symbol may be mutated by the resolver. If you have a
76 // pointer P to a SymbolBody and are not sure whether the resolver
77 // has chosen the object among other objects having the same name,
78 // you can access P->Backref->Body to get the resolver's result.
79 void setBackref(Symbol *P) { Backref = P; }
Michael J. Spencer67bc8d62015-08-27 23:15:56 +000080 SymbolBody *getReplacement() { return Backref ? Backref->Body : this; }
Michael J. Spencer84487f12015-07-24 21:03:07 +000081
82 // Decides which symbol should "win" in the symbol table, this or
83 // the Other. Returns 1 if this wins, -1 if the Other wins, or 0 if
84 // they are duplicate (conflicting) symbols.
Rafael Espindoladaa92a62015-08-31 01:16:19 +000085 template <class ELFT> int compare(SymbolBody *Other);
Michael J. Spencer84487f12015-07-24 21:03:07 +000086
87protected:
Rafael Espindola78471f02015-09-01 23:12:52 +000088 SymbolBody(Kind K, StringRef Name, bool IsWeak, uint8_t Visibility)
89 : SymbolKind(K), IsWeak(IsWeak), MostConstrainingVisibility(Visibility),
Rafael Espindola18173d42015-09-08 15:50:05 +000090 Name(Name) {
91 IsUsedInRegularObj = K != SharedKind && K != LazyKind;
92 }
Michael J. Spencer84487f12015-07-24 21:03:07 +000093
Michael J. Spencercdae0a42015-07-28 22:58:25 +000094 const unsigned SymbolKind : 8;
Rafael Espindola3a63f3f2015-08-28 20:19:34 +000095 const unsigned IsWeak : 1;
Rafael Espindola78471f02015-09-01 23:12:52 +000096 unsigned MostConstrainingVisibility : 2;
Rafael Espindola18173d42015-09-08 15:50:05 +000097 unsigned IsUsedInRegularObj : 1;
Rafael Espindola19e38892015-09-16 15:54:15 +000098 unsigned DynamicSymbolTableIndex = 0;
Michael J. Spencercdae0a42015-07-28 22:58:25 +000099 StringRef Name;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000100 Symbol *Backref = nullptr;
101};
102
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000103// This is for symbols created from elf files and not from the command line.
104// Since they come from object files, they have a Elf_Sym.
105//
106// FIXME: Another alternative is to give every symbol an Elf_Sym. To do that
107// we have to delay creating the symbol table until the output format is
108// known and some of its methods will be templated. We should experiment with
109// that once we have a bit more code.
110template <class ELFT> class ELFSymbolBody : public SymbolBody {
111protected:
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000112 typedef typename llvm::object::ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000113 ELFSymbolBody(Kind K, StringRef Name, const Elf_Sym &Sym)
Rafael Espindola78471f02015-09-01 23:12:52 +0000114 : SymbolBody(K, Name, Sym.getBinding() == llvm::ELF::STB_WEAK,
115 Sym.getVisibility()),
116 Sym(Sym) {}
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000117
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000118public:
119 const Elf_Sym &Sym;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000120
121 static bool classof(const SymbolBody *S) {
122 Kind K = S->kind();
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000123 return K >= DefinedFirst && K <= UndefinedKind;
124 }
125};
126
127// The base class for any defined symbols, including absolute symbols,
128// etc.
129template <class ELFT> class Defined : public ELFSymbolBody<ELFT> {
130 typedef ELFSymbolBody<ELFT> Base;
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000131
132protected:
133 typedef typename Base::Kind Kind;
134 typedef typename Base::Elf_Sym Elf_Sym;
135
136public:
137 explicit Defined(Kind K, StringRef N, const Elf_Sym &Sym)
138 : ELFSymbolBody<ELFT>(K, N, Sym) {}
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000139
140 static bool classof(const SymbolBody *S) { return S->isDefined(); }
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000141};
142
143template <class ELFT> class DefinedAbsolute : public Defined<ELFT> {
144 typedef ELFSymbolBody<ELFT> Base;
145 typedef typename Base::Elf_Sym Elf_Sym;
146
147public:
148 explicit DefinedAbsolute(StringRef N, const Elf_Sym &Sym)
149 : Defined<ELFT>(Base::DefinedAbsoluteKind, N, Sym) {}
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000150
151 static bool classof(const SymbolBody *S) {
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000152 return S->kind() == Base::DefinedAbsoluteKind;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000153 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000154};
155
Rafael Espindola51d46902015-08-28 21:26:51 +0000156template <class ELFT> class DefinedCommon : public Defined<ELFT> {
157 typedef ELFSymbolBody<ELFT> Base;
158 typedef typename Base::Elf_Sym Elf_Sym;
159
160public:
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000161 typedef typename std::conditional<ELFT::Is64Bits, uint64_t, uint32_t>::type
162 uintX_t;
Rafael Espindola51d46902015-08-28 21:26:51 +0000163 explicit DefinedCommon(StringRef N, const Elf_Sym &Sym)
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000164 : Defined<ELFT>(Base::DefinedCommonKind, N, Sym) {
165 MaxAlignment = Sym.st_value;
166 }
Rafael Espindola51d46902015-08-28 21:26:51 +0000167
168 static bool classof(const SymbolBody *S) {
169 return S->kind() == Base::DefinedCommonKind;
170 }
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000171
172 // The output offset of this common symbol in the output bss. Computed by the
173 // writer.
174 uintX_t OffsetInBSS;
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000175
176 // The maximum alignment we have seen for this symbol.
177 uintX_t MaxAlignment;
Rafael Espindola51d46902015-08-28 21:26:51 +0000178};
179
Michael J. Spencer84487f12015-07-24 21:03:07 +0000180// Regular defined symbols read from object file symbol tables.
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000181template <class ELFT> class DefinedRegular : public Defined<ELFT> {
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000182 typedef Defined<ELFT> Base;
183 typedef typename Base::Elf_Sym Elf_Sym;
184
Michael J. Spencer84487f12015-07-24 21:03:07 +0000185public:
Rafael Espindola832b93f2015-08-24 20:06:32 +0000186 explicit DefinedRegular(StringRef N, const Elf_Sym &Sym,
187 SectionChunk<ELFT> &Section)
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000188 : Defined<ELFT>(Base::DefinedRegularKind, N, Sym), Section(Section) {}
Michael J. Spencer84487f12015-07-24 21:03:07 +0000189
190 static bool classof(const SymbolBody *S) {
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000191 return S->kind() == Base::DefinedRegularKind;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000192 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000193
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000194 const SectionChunk<ELFT> &Section;
Rafael Espindolab13df652015-08-11 17:33:02 +0000195};
196
Rafael Espindolaf7d45f02015-08-31 01:46:20 +0000197// Undefined symbol.
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000198template <class ELFT> class Undefined : public ELFSymbolBody<ELFT> {
199 typedef ELFSymbolBody<ELFT> Base;
200 typedef typename Base::Elf_Sym Elf_Sym;
201
Rafael Espindola76e24ea2015-08-11 17:57:05 +0000202public:
Rafael Espindolaf7d45f02015-08-31 01:46:20 +0000203 static Elf_Sym Synthetic;
204
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000205 explicit Undefined(StringRef N, const Elf_Sym &Sym)
206 : ELFSymbolBody<ELFT>(Base::UndefinedKind, N, Sym) {}
Rafael Espindola76e24ea2015-08-11 17:57:05 +0000207
208 static bool classof(const SymbolBody *S) {
Rafael Espindola1bd885a2015-08-14 16:46:28 +0000209 return S->kind() == Base::UndefinedKind;
210 }
211};
212
Rafael Espindolaf7d45f02015-08-31 01:46:20 +0000213template <class ELFT>
214typename Undefined<ELFT>::Elf_Sym Undefined<ELFT>::Synthetic;
215
Rafael Espindola18173d42015-09-08 15:50:05 +0000216template <class ELFT> class SharedSymbol : public ELFSymbolBody<ELFT> {
217 typedef ELFSymbolBody<ELFT> Base;
218 typedef typename Base::Elf_Sym Elf_Sym;
219
220public:
221 static bool classof(const SymbolBody *S) {
222 return S->kind() == Base::SharedKind;
223 }
224
225 SharedSymbol(StringRef Name, const Elf_Sym &Sym)
226 : ELFSymbolBody<ELFT>(Base::SharedKind, Name, Sym) {}
227};
228
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000229// This class represents a symbol defined in an archive file. It is
230// created from an archive file header, and it knows how to load an
231// object file from an archive to replace itself with a defined
232// symbol. If the resolver finds both Undefined and Lazy for
233// the same name, it will ask the Lazy to load a file.
234class Lazy : public SymbolBody {
235public:
236 Lazy(ArchiveFile *F, const llvm::object::Archive::Symbol S)
237 : SymbolBody(LazyKind, S.getName(), false, llvm::ELF::STV_DEFAULT),
238 File(F), Sym(S) {}
239
240 static bool classof(const SymbolBody *S) { return S->kind() == LazyKind; }
241
242 // Returns an object file for this symbol, or a nullptr if the file
243 // was already returned.
244 std::unique_ptr<InputFile> getMember();
245
246private:
247 ArchiveFile *File;
248 const llvm::object::Archive::Symbol Sym;
249};
250
Michael J. Spencer84487f12015-07-24 21:03:07 +0000251} // namespace elf2
252} // namespace lld
253
254#endif