blob: 00e21d0016f65da8eee3f5d2ee3248f8723e5d7d [file] [log] [blame]
Michael J. Spencer84487f12015-07-24 21:03:07 +00001//===- SymbolTable.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//===----------------------------------------------------------------------===//
Rui Ueyama34f29242015-10-13 19:51:57 +00009//
10// Symbol table is a bag of all known symbols. We put all symbols of
11// all input files to the symbol table. The symbol Table is basically
12// a hash table with the logic to resolve symbol name conflicts using
13// the symbol types.
14//
15//===----------------------------------------------------------------------===//
Michael J. Spencer84487f12015-07-24 21:03:07 +000016
17#include "SymbolTable.h"
Rafael Espindola4340aad2015-09-11 22:42:45 +000018#include "Config.h"
Rafael Espindola192e1fa2015-08-06 15:08:23 +000019#include "Error.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000020#include "Symbols.h"
21
22using namespace llvm;
Rafael Espindoladaa92a62015-08-31 01:16:19 +000023using namespace llvm::object;
Rafael Espindola01205f72015-09-22 18:19:46 +000024using namespace llvm::ELF;
Michael J. Spencer84487f12015-07-24 21:03:07 +000025
26using namespace lld;
27using namespace lld::elf2;
28
Rui Ueyama3ce825e2015-10-09 21:07:25 +000029template <class ELFT> SymbolTable<ELFT>::SymbolTable() {}
Michael J. Spencer84487f12015-07-24 21:03:07 +000030
Rui Ueyama3ce825e2015-10-09 21:07:25 +000031template <class ELFT>
Rui Ueyama25b44c92015-12-16 23:31:22 +000032static void checkCompatibility(InputFile *FileP) {
33 auto *F = dyn_cast<ELFFileBase<ELFT>>(FileP);
34 if (!F)
35 return;
36 if (F->getELFKind() == Config->EKind && F->getEMachine() == Config->EMachine)
37 return;
38 StringRef A = F->getName();
39 StringRef B = Config->Emulation;
40 if (B.empty())
41 B = Config->FirstElf->getName();
42 error(A + " is incompatible with " + B);
43}
44
45template <class ELFT>
Rui Ueyama3ce825e2015-10-09 21:07:25 +000046void SymbolTable<ELFT>::addFile(std::unique_ptr<InputFile> File) {
Rafael Espindola21f7bd42015-12-23 14:35:51 +000047 InputFile *FileP = File.get();
Rui Ueyama25b44c92015-12-16 23:31:22 +000048 checkCompatibility<ELFT>(FileP);
Rafael Espindola525914d2015-10-11 03:36:49 +000049
Rui Ueyama89575742015-12-16 22:59:13 +000050 // .a file
51 if (auto *F = dyn_cast<ArchiveFile>(FileP)) {
Rafael Espindola21f7bd42015-12-23 14:35:51 +000052 ArchiveFiles.emplace_back(cast<ArchiveFile>(File.release()));
Rui Ueyama89575742015-12-16 22:59:13 +000053 F->parse();
54 for (Lazy &Sym : F->getLazySymbols())
Michael J. Spencer1b348a62015-09-04 22:28:10 +000055 addLazy(&Sym);
56 return;
57 }
Rui Ueyama3d451792015-10-12 18:03:21 +000058
Rui Ueyama89575742015-12-16 22:59:13 +000059 // .so file
60 if (auto *F = dyn_cast<SharedFile<ELFT>>(FileP)) {
61 // DSOs are uniquified not by filename but by soname.
62 F->parseSoName();
Rafael Espindola21f7bd42015-12-23 14:35:51 +000063 if (!IncludedSoNames.insert(F->getSoName()).second)
Rafael Espindola6a3b5de2015-10-01 19:52:48 +000064 return;
Rui Ueyama89575742015-12-16 22:59:13 +000065
Rafael Espindola21f7bd42015-12-23 14:35:51 +000066 SharedFiles.emplace_back(cast<SharedFile<ELFT>>(File.release()));
Rui Ueyama89575742015-12-16 22:59:13 +000067 F->parse();
68 for (SharedSymbol<ELFT> &B : F->getSharedSymbols())
69 resolve(&B);
70 return;
Rafael Espindola6a3b5de2015-10-01 19:52:48 +000071 }
Rui Ueyama89575742015-12-16 22:59:13 +000072
73 // .o file
74 auto *F = cast<ObjectFile<ELFT>>(FileP);
Rafael Espindola21f7bd42015-12-23 14:35:51 +000075 ObjectFiles.emplace_back(cast<ObjectFile<ELFT>>(File.release()));
Rui Ueyama89575742015-12-16 22:59:13 +000076 F->parse(Comdats);
77 for (SymbolBody *B : F->getSymbols())
78 resolve(B);
Michael J. Spencer84487f12015-07-24 21:03:07 +000079}
80
Rui Ueyamaff777682015-10-09 21:12:40 +000081template <class ELFT>
82SymbolBody *SymbolTable<ELFT>::addUndefined(StringRef Name) {
Rafael Espindola5d7593b2015-12-22 23:00:50 +000083 auto *Sym = new (Alloc) Undefined(Name, false, STV_DEFAULT, false);
Rui Ueyamaff777682015-10-09 21:12:40 +000084 resolve(Sym);
85 return Sym;
Rafael Espindola1d6063e2015-09-22 21:24:52 +000086}
87
Rui Ueyamaff777682015-10-09 21:12:40 +000088template <class ELFT>
89SymbolBody *SymbolTable<ELFT>::addUndefinedOpt(StringRef Name) {
Rafael Espindola5d7593b2015-12-22 23:00:50 +000090 auto *Sym = new (Alloc) Undefined(Name, false, STV_HIDDEN, true);
Rui Ueyamaff777682015-10-09 21:12:40 +000091 resolve(Sym);
92 return Sym;
Denis Protivensky22220d52015-10-05 09:43:57 +000093}
94
Rafael Espindola0e604f92015-09-25 18:56:53 +000095template <class ELFT>
Rui Ueyamadd7d9982015-12-16 22:31:14 +000096void SymbolTable<ELFT>::addAbsolute(StringRef Name,
97 typename ELFFile<ELFT>::Elf_Sym &ESym) {
Igor Kudrin15cd9ff2015-11-06 07:43:03 +000098 resolve(new (Alloc) DefinedAbsolute<ELFT>(Name, ESym));
99}
100
101template <class ELFT>
Rui Ueyamadd7d9982015-12-16 22:31:14 +0000102void SymbolTable<ELFT>::addSynthetic(StringRef Name,
103 OutputSectionBase<ELFT> &Section,
104 typename ELFFile<ELFT>::uintX_t Value) {
Rafael Espindola4d4b06a2015-12-24 00:47:42 +0000105 auto *Sym = new (Alloc) DefinedSynthetic<ELFT>(Name, Value, Section);
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000106 resolve(Sym);
Rafael Espindola0e604f92015-09-25 18:56:53 +0000107}
108
Simon Atanasyan09dae7c2015-12-16 14:45:09 +0000109template <class ELFT>
Rui Ueyamadd7d9982015-12-16 22:31:14 +0000110SymbolBody *SymbolTable<ELFT>::addIgnored(StringRef Name) {
Rui Ueyamaa71f3a72015-12-16 22:36:10 +0000111 auto *Sym = new (Alloc)
Rafael Espindola5d413262015-10-01 21:22:26 +0000112 DefinedAbsolute<ELFT>(Name, DefinedAbsolute<ELFT>::IgnoreUndef);
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000113 resolve(Sym);
Simon Atanasyan09dae7c2015-12-16 14:45:09 +0000114 return Sym;
Rafael Espindola5d413262015-10-01 21:22:26 +0000115}
116
Rui Ueyamad9189ce2015-10-15 17:11:03 +0000117template <class ELFT> bool SymbolTable<ELFT>::isUndefined(StringRef Name) {
118 if (SymbolBody *Sym = find(Name))
119 return Sym->isUndefined();
120 return false;
121}
122
Rui Ueyama533336a2015-12-16 22:26:48 +0000123// Returns a file from which symbol B was created.
124// If B does not belong to any file in ObjectFiles, returns a nullptr.
Rafael Espindola1a49e582015-09-23 14:10:24 +0000125template <class ELFT>
Rafael Espindola8a9f90e2015-12-21 19:09:19 +0000126ELFFileBase<ELFT> *
127elf2::findFile(ArrayRef<std::unique_ptr<ObjectFile<ELFT>>> ObjectFiles,
128 const SymbolBody *B) {
Rui Ueyama533336a2015-12-16 22:26:48 +0000129 for (const std::unique_ptr<ObjectFile<ELFT>> &F : ObjectFiles) {
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000130 ArrayRef<SymbolBody *> Syms = F->getSymbols();
131 if (std::find(Syms.begin(), Syms.end(), B) != Syms.end())
Rui Ueyama533336a2015-12-16 22:26:48 +0000132 return F.get();
Rafael Espindola1a49e582015-09-23 14:10:24 +0000133 }
Rui Ueyama533336a2015-12-16 22:26:48 +0000134 return nullptr;
135}
136
137template <class ELFT>
138std::string SymbolTable<ELFT>::conflictMsg(SymbolBody *Old, SymbolBody *New) {
Rafael Espindola8a9f90e2015-12-21 19:09:19 +0000139 ELFFileBase<ELFT> *OldFile = findFile<ELFT>(ObjectFiles, Old);
140 ELFFileBase<ELFT> *NewFile = findFile<ELFT>(ObjectFiles, New);
Rafael Espindola1a49e582015-09-23 14:10:24 +0000141
Rui Ueyamaf0904012015-12-16 22:26:45 +0000142 StringRef Sym = Old->getName();
143 StringRef F1 = OldFile ? OldFile->getName() : "(internal)";
144 StringRef F2 = NewFile ? NewFile->getName() : "(internal)";
145 return (Sym + " in " + F1 + " and " + F2).str();
Rafael Espindola1a49e582015-09-23 14:10:24 +0000146}
147
Michael J. Spencer84487f12015-07-24 21:03:07 +0000148// This function resolves conflicts if there's an existing symbol with
149// the same name. Decisions are made based on symbol type.
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000150template <class ELFT> void SymbolTable<ELFT>::resolve(SymbolBody *New) {
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000151 Symbol *Sym = insert(New);
152 if (Sym->Body == New)
153 return;
154
155 SymbolBody *Existing = Sym->Body;
156
157 if (Lazy *L = dyn_cast<Lazy>(Existing)) {
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000158 if (auto *Undef = dyn_cast<Undefined>(New)) {
Rui Ueyamac5b95122015-12-16 23:23:14 +0000159 addMemberFile(Undef, L);
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000160 return;
161 }
Rui Ueyamac5b95122015-12-16 23:23:14 +0000162 // Found a definition for something also in an archive.
163 // Ignore the archive definition.
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000164 Sym->Body = New;
165 return;
166 }
167
Rui Ueyama62d0e322015-12-17 00:04:18 +0000168 if (New->isTls() != Existing->isTls())
Rui Ueyamaf0904012015-12-16 22:26:45 +0000169 error("TLS attribute mismatch for symbol: " + conflictMsg(Existing, New));
Igor Kudrin65bddea2015-10-09 09:58:39 +0000170
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000171 // compare() returns -1, 0, or 1 if the lhs symbol is less preferable,
172 // equivalent (conflicting), or more preferable, respectively.
173 int comp = Existing->compare<ELFT>(New);
Rui Ueyamaf0904012015-12-16 22:26:45 +0000174 if (comp == 0) {
175 std::string S = "duplicate symbol: " + conflictMsg(Existing, New);
176 if (!Config->AllowMultipleDefinition)
177 error(S);
178 warning(S);
179 return;
180 }
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000181 if (comp < 0)
182 Sym->Body = New;
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000183}
184
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000185template <class ELFT> Symbol *SymbolTable<ELFT>::insert(SymbolBody *New) {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000186 // Find an existing Symbol or create and insert a new one.
187 StringRef Name = New->getName();
188 Symbol *&Sym = Symtab[Name];
Rui Ueyama38dcc9e2015-12-16 23:25:31 +0000189 if (!Sym)
Rui Ueyama3554f592015-12-17 00:01:25 +0000190 Sym = new (Alloc) Symbol{New};
Michael J. Spencer84487f12015-07-24 21:03:07 +0000191 New->setBackref(Sym);
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000192 return Sym;
193}
Michael J. Spencer84487f12015-07-24 21:03:07 +0000194
Rui Ueyamaf8432d92015-10-13 16:34:14 +0000195template <class ELFT> SymbolBody *SymbolTable<ELFT>::find(StringRef Name) {
196 auto It = Symtab.find(Name);
197 if (It == Symtab.end())
198 return nullptr;
199 return It->second->Body;
200}
201
Rui Ueyamac5b95122015-12-16 23:23:14 +0000202template <class ELFT> void SymbolTable<ELFT>::addLazy(Lazy *L) {
203 Symbol *Sym = insert(L);
204 if (Sym->Body == L)
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000205 return;
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000206 if (auto *Undef = dyn_cast<Undefined>(Sym->Body)) {
Rui Ueyamac5b95122015-12-16 23:23:14 +0000207 Sym->Body = L;
208 addMemberFile(Undef, L);
Rafael Espindola8614c562015-10-06 14:33:58 +0000209 }
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000210}
211
Rui Ueyama3d451792015-10-12 18:03:21 +0000212template <class ELFT>
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000213void SymbolTable<ELFT>::addMemberFile(Undefined *Undef, Lazy *L) {
Rui Ueyamac5b95122015-12-16 23:23:14 +0000214 // Weak undefined symbols should not fetch members from archives.
215 // If we were to keep old symbol we would not know that an archive member was
216 // available if a strong undefined symbol shows up afterwards in the link.
217 // If a strong undefined symbol never shows up, this lazy symbol will
218 // get to the end of the link and must be treated as the weak undefined one.
219 // We set UsedInRegularObj in a similar way to what is done with shared
220 // symbols and mark it as weak to reduce how many special cases are needed.
221 if (Undef->isWeak()) {
222 L->setUsedInRegularObj();
223 L->setWeak();
224 return;
225 }
226
227 // Fetch a member file that has the definition for L.
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000228 // getMember returns nullptr if the member was already read from the library.
Rui Ueyamac5b95122015-12-16 23:23:14 +0000229 if (std::unique_ptr<InputFile> File = L->getMember())
Rui Ueyama690db672015-10-14 22:32:10 +0000230 addFile(std::move(File));
Michael J. Spencer84487f12015-07-24 21:03:07 +0000231}
Rafael Espindola0e604f92015-09-25 18:56:53 +0000232
Rui Ueyama93bfee52015-10-13 18:10:33 +0000233// This function takes care of the case in which shared libraries depend on
234// the user program (not the other way, which is usual). Shared libraries
235// may have undefined symbols, expecting that the user program provides
236// the definitions for them. An example is BSD's __progname symbol.
237// We need to put such symbols to the main program's .dynsym so that
238// shared libraries can find them.
239// Except this, we ignore undefined symbols in DSOs.
240template <class ELFT> void SymbolTable<ELFT>::scanShlibUndefined() {
Rui Ueyamaf8432d92015-10-13 16:34:14 +0000241 for (std::unique_ptr<SharedFile<ELFT>> &File : SharedFiles)
242 for (StringRef U : File->getUndefinedSymbols())
243 if (SymbolBody *Sym = find(U))
244 if (Sym->isDefined())
245 Sym->setUsedInDynamicReloc();
246}
247
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000248template class lld::elf2::SymbolTable<ELF32LE>;
249template class lld::elf2::SymbolTable<ELF32BE>;
250template class lld::elf2::SymbolTable<ELF64LE>;
251template class lld::elf2::SymbolTable<ELF64BE>;
Rafael Espindola8a9f90e2015-12-21 19:09:19 +0000252
253template ELFFileBase<ELF32LE> *
254lld::elf2::findFile(ArrayRef<std::unique_ptr<ObjectFile<ELF32LE>>>,
255 const SymbolBody *);
256template ELFFileBase<ELF32BE> *
257lld::elf2::findFile(ArrayRef<std::unique_ptr<ObjectFile<ELF32BE>>>,
258 const SymbolBody *);
259template ELFFileBase<ELF64LE> *
260lld::elf2::findFile(ArrayRef<std::unique_ptr<ObjectFile<ELF64LE>>>,
261 const SymbolBody *);
262template ELFFileBase<ELF64BE> *
263lld::elf2::findFile(ArrayRef<std::unique_ptr<ObjectFile<ELF64BE>>>,
264 const SymbolBody *);