blob: ba91b10bcac5a1ac142241f7980f26db35d91ed4 [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
Rui Ueyamac9559d92016-01-05 20:47:37 +000011// all input files to the symbol table. The symbol table is basically
Rui Ueyama34f29242015-10-13 19:51:57 +000012// 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"
Rafael Espindola9f77ef02016-02-12 20:54:57 +000021#include "llvm/Bitcode/ReaderWriter.h"
Rui Ueyamadeb15402016-01-07 17:20:07 +000022#include "llvm/Support/StringSaver.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000023
24using namespace llvm;
Rafael Espindoladaa92a62015-08-31 01:16:19 +000025using namespace llvm::object;
Rafael Espindola01205f72015-09-22 18:19:46 +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 Ueyamac9559d92016-01-05 20:47:37 +000031// All input object files must be for the same architecture
32// (e.g. it does not make sense to link x86 object files with
33// MIPS object files.) This function checks for that error.
Rui Ueyama16ba6692016-01-29 19:41:13 +000034template <class ELFT> static bool isCompatible(InputFile *FileP) {
Rui Ueyama25b44c92015-12-16 23:31:22 +000035 auto *F = dyn_cast<ELFFileBase<ELFT>>(FileP);
36 if (!F)
Rui Ueyama16ba6692016-01-29 19:41:13 +000037 return true;
Rui Ueyama25b44c92015-12-16 23:31:22 +000038 if (F->getELFKind() == Config->EKind && F->getEMachine() == Config->EMachine)
Rui Ueyama16ba6692016-01-29 19:41:13 +000039 return true;
Rui Ueyama25b44c92015-12-16 23:31:22 +000040 StringRef A = F->getName();
41 StringRef B = Config->Emulation;
42 if (B.empty())
43 B = Config->FirstElf->getName();
Rui Ueyama16ba6692016-01-29 19:41:13 +000044 error(A + " is incompatible with " + B);
45 return false;
Rui Ueyama25b44c92015-12-16 23:31:22 +000046}
47
Rui Ueyamac9559d92016-01-05 20:47:37 +000048// Add symbols in File to the symbol table.
Rui Ueyama25b44c92015-12-16 23:31:22 +000049template <class ELFT>
Rui Ueyama3ce825e2015-10-09 21:07:25 +000050void SymbolTable<ELFT>::addFile(std::unique_ptr<InputFile> File) {
Rafael Espindola21f7bd42015-12-23 14:35:51 +000051 InputFile *FileP = File.get();
Rui Ueyama16ba6692016-01-29 19:41:13 +000052 if (!isCompatible<ELFT>(FileP))
53 return;
Rafael Espindola525914d2015-10-11 03:36:49 +000054
Rui Ueyama89575742015-12-16 22:59:13 +000055 // .a file
56 if (auto *F = dyn_cast<ArchiveFile>(FileP)) {
Rafael Espindola21f7bd42015-12-23 14:35:51 +000057 ArchiveFiles.emplace_back(cast<ArchiveFile>(File.release()));
Rui Ueyama89575742015-12-16 22:59:13 +000058 F->parse();
59 for (Lazy &Sym : F->getLazySymbols())
Michael J. Spencer1b348a62015-09-04 22:28:10 +000060 addLazy(&Sym);
61 return;
62 }
Rui Ueyama3d451792015-10-12 18:03:21 +000063
Rui Ueyama89575742015-12-16 22:59:13 +000064 // .so file
65 if (auto *F = dyn_cast<SharedFile<ELFT>>(FileP)) {
66 // DSOs are uniquified not by filename but by soname.
67 F->parseSoName();
Rui Ueyama131e0ff2016-01-08 22:17:42 +000068 if (!SoNames.insert(F->getSoName()).second)
Rafael Espindola6a3b5de2015-10-01 19:52:48 +000069 return;
Rui Ueyama89575742015-12-16 22:59:13 +000070
Rafael Espindola21f7bd42015-12-23 14:35:51 +000071 SharedFiles.emplace_back(cast<SharedFile<ELFT>>(File.release()));
Rui Ueyama7c713312016-01-06 01:56:36 +000072 F->parseRest();
Rui Ueyama89575742015-12-16 22:59:13 +000073 for (SharedSymbol<ELFT> &B : F->getSharedSymbols())
74 resolve(&B);
75 return;
Rafael Espindola6a3b5de2015-10-01 19:52:48 +000076 }
Rui Ueyama89575742015-12-16 22:59:13 +000077
Rafael Espindola9f77ef02016-02-12 20:54:57 +000078 // LLVM bitcode file.
79 if (auto *F = dyn_cast<BitcodeFile>(FileP)) {
80 BitcodeFiles.emplace_back(cast<BitcodeFile>(File.release()));
Rafael Espindola4de44b72016-03-02 15:43:50 +000081 F->parse(ComdatGroups);
Rafael Espindola297ce4e2016-02-26 21:31:34 +000082 for (SymbolBody *B : F->getSymbols())
Rui Ueyamaf7149552016-03-11 18:46:51 +000083 if (B)
84 resolve(B);
Rafael Espindola9f77ef02016-02-12 20:54:57 +000085 return;
86 }
87
Rui Ueyama89575742015-12-16 22:59:13 +000088 // .o file
89 auto *F = cast<ObjectFile<ELFT>>(FileP);
Rafael Espindola21f7bd42015-12-23 14:35:51 +000090 ObjectFiles.emplace_back(cast<ObjectFile<ELFT>>(File.release()));
Rui Ueyama52d3b672016-01-06 02:06:33 +000091 F->parse(ComdatGroups);
Rafael Espindola67d72c02016-03-11 12:06:30 +000092 for (SymbolBody *B : F->getNonLocalSymbols())
Rui Ueyama89575742015-12-16 22:59:13 +000093 resolve(B);
Michael J. Spencer84487f12015-07-24 21:03:07 +000094}
95
Rafael Espindola9f77ef02016-02-12 20:54:57 +000096template <class ELFT> void SymbolTable<ELFT>::addCombinedLtoObject() {
97 if (BitcodeFiles.empty())
98 return;
Rui Ueyama25992482016-03-22 20:52:10 +000099
100 // Compile bitcode files.
101 Lto.reset(new BitcodeCompiler);
102 for (const std::unique_ptr<BitcodeFile> &F : BitcodeFiles)
103 Lto->add(*F);
Rui Ueyama01ddc062016-03-29 19:08:46 +0000104 std::unique_ptr<InputFile> IF = Lto->compile();
105 ObjectFile<ELFT> *Obj = cast<ObjectFile<ELFT>>(IF.release());
Rui Ueyama25992482016-03-22 20:52:10 +0000106
107 // Replace bitcode symbols.
Rafael Espindola4de44b72016-03-02 15:43:50 +0000108 llvm::DenseSet<StringRef> DummyGroups;
109 Obj->parse(DummyGroups);
Rafael Espindola67d72c02016-03-11 12:06:30 +0000110 for (SymbolBody *Body : Obj->getNonLocalSymbols()) {
Rafael Espindola9f77ef02016-02-12 20:54:57 +0000111 Symbol *Sym = insert(Body);
Davide Italiano04d6aa22016-03-29 00:15:52 +0000112 Sym->Body->setUsedInRegularObj();
Rafael Espindolacdf3a2a2016-03-02 18:21:46 +0000113 if (!Sym->Body->isUndefined() && Body->isUndefined())
114 continue;
Peter Collingbournee8afa492016-04-05 00:47:55 +0000115 if (Sym->Body->MustBeInDynSym)
116 Body->MustBeInDynSym = true;
Rafael Espindola9f77ef02016-02-12 20:54:57 +0000117 Sym->Body = Body;
118 }
Rui Ueyama01ddc062016-03-29 19:08:46 +0000119 ObjectFiles.emplace_back(Obj);
Rafael Espindola9f77ef02016-02-12 20:54:57 +0000120}
121
Rui Ueyama01a65b12015-12-24 10:37:32 +0000122// Add an undefined symbol.
Rui Ueyamaff777682015-10-09 21:12:40 +0000123template <class ELFT>
124SymbolBody *SymbolTable<ELFT>::addUndefined(StringRef Name) {
Rafael Espindolaf4765732016-04-06 13:22:41 +0000125 auto *Sym = new (Alloc)
126 UndefinedElf<ELFT>(Name, STB_GLOBAL, STV_DEFAULT, /*Type*/ 0, false);
Rui Ueyamaff777682015-10-09 21:12:40 +0000127 resolve(Sym);
128 return Sym;
Rafael Espindola1d6063e2015-09-22 21:24:52 +0000129}
130
Rui Ueyama01a65b12015-12-24 10:37:32 +0000131// Add an undefined symbol. Unlike addUndefined, that symbol
132// doesn't have to be resolved, thus "opt" (optional).
Rui Ueyamaff777682015-10-09 21:12:40 +0000133template <class ELFT>
134SymbolBody *SymbolTable<ELFT>::addUndefinedOpt(StringRef Name) {
Rafael Espindolaf4765732016-04-06 13:22:41 +0000135 auto *Sym = new (Alloc)
136 UndefinedElf<ELFT>(Name, STB_GLOBAL, STV_HIDDEN, /*Type*/ 0, true);
Rui Ueyamaff777682015-10-09 21:12:40 +0000137 resolve(Sym);
138 return Sym;
Denis Protivensky22220d52015-10-05 09:43:57 +0000139}
140
Rafael Espindola0e604f92015-09-25 18:56:53 +0000141template <class ELFT>
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000142DefinedRegular<ELFT> *SymbolTable<ELFT>::addAbsolute(StringRef Name,
143 uint8_t Visibility) {
Rui Ueyama79c73732016-01-08 21:53:28 +0000144 // Pass nullptr because absolute symbols have no corresponding input sections.
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000145 auto *Sym = new (Alloc) DefinedRegular<ELFT>(Name, STB_GLOBAL, Visibility);
Rui Ueyama79c73732016-01-08 21:53:28 +0000146 resolve(Sym);
147 return Sym;
Igor Kudrin15cd9ff2015-11-06 07:43:03 +0000148}
149
150template <class ELFT>
Rui Ueyama79c73732016-01-08 21:53:28 +0000151SymbolBody *SymbolTable<ELFT>::addSynthetic(StringRef Name,
George Rimaraa4dc202016-03-01 16:23:13 +0000152 OutputSectionBase<ELFT> &Sec,
153 uintX_t Val, uint8_t Visibility) {
154 auto *Sym = new (Alloc) DefinedSynthetic<ELFT>(Name, Val, Sec, Visibility);
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000155 resolve(Sym);
Rui Ueyama79c73732016-01-08 21:53:28 +0000156 return Sym;
Rafael Espindola0e604f92015-09-25 18:56:53 +0000157}
158
Rui Ueyamac9559d92016-01-05 20:47:37 +0000159// Add Name as an "ignored" symbol. An ignored symbol is a regular
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000160// linker-synthesized defined symbol, but is only defined if needed.
Simon Atanasyan09dae7c2015-12-16 14:45:09 +0000161template <class ELFT>
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000162DefinedRegular<ELFT> *SymbolTable<ELFT>::addIgnored(StringRef Name,
163 uint8_t Visibility) {
164 if (!find(Name))
165 return nullptr;
166 return addAbsolute(Name, Visibility);
Rafael Espindola5d413262015-10-01 21:22:26 +0000167}
168
Rui Ueyamadeb15402016-01-07 17:20:07 +0000169// Rename SYM as __wrap_SYM. The original symbol is preserved as __real_SYM.
170// Used to implement --wrap.
171template <class ELFT> void SymbolTable<ELFT>::wrap(StringRef Name) {
172 if (Symtab.count(Name) == 0)
173 return;
174 StringSaver Saver(Alloc);
175 Symbol *Sym = addUndefined(Name)->getSymbol();
176 Symbol *Real = addUndefined(Saver.save("__real_" + Name))->getSymbol();
177 Symbol *Wrap = addUndefined(Saver.save("__wrap_" + Name))->getSymbol();
178 Real->Body = Sym->Body;
179 Sym->Body = Wrap->Body;
180}
181
Rui Ueyama533336a2015-12-16 22:26:48 +0000182// Returns a file from which symbol B was created.
Rui Ueyama2a65a492016-01-05 20:01:29 +0000183// If B does not belong to any file, returns a nullptr.
Rafael Espindola18f09502016-02-26 21:49:38 +0000184template <class ELFT> InputFile *SymbolTable<ELFT>::findFile(SymbolBody *B) {
Rui Ueyama533336a2015-12-16 22:26:48 +0000185 for (const std::unique_ptr<ObjectFile<ELFT>> &F : ObjectFiles) {
Rafael Espindola5d7593b2015-12-22 23:00:50 +0000186 ArrayRef<SymbolBody *> Syms = F->getSymbols();
187 if (std::find(Syms.begin(), Syms.end(), B) != Syms.end())
Rui Ueyama533336a2015-12-16 22:26:48 +0000188 return F.get();
Rafael Espindola1a49e582015-09-23 14:10:24 +0000189 }
Rafael Espindola18f09502016-02-26 21:49:38 +0000190 for (const std::unique_ptr<BitcodeFile> &F : BitcodeFiles) {
191 ArrayRef<SymbolBody *> Syms = F->getSymbols();
192 if (std::find(Syms.begin(), Syms.end(), B) != Syms.end())
193 return F.get();
194 }
Rui Ueyama533336a2015-12-16 22:26:48 +0000195 return nullptr;
196}
197
Rui Ueyama71c066d2016-02-02 08:22:41 +0000198// Returns "(internal)", "foo.a(bar.o)" or "baz.o".
Rafael Espindola18f09502016-02-26 21:49:38 +0000199static std::string getFilename(InputFile *F) {
Rui Ueyama71c066d2016-02-02 08:22:41 +0000200 if (!F)
201 return "(internal)";
202 if (!F->ArchiveName.empty())
203 return (F->ArchiveName + "(" + F->getName() + ")").str();
204 return F->getName();
205}
206
Rui Ueyamab4de5952016-01-08 22:01:33 +0000207// Construct a string in the form of "Sym in File1 and File2".
208// Used to construct an error message.
Rui Ueyama533336a2015-12-16 22:26:48 +0000209template <class ELFT>
210std::string SymbolTable<ELFT>::conflictMsg(SymbolBody *Old, SymbolBody *New) {
Rafael Espindola18f09502016-02-26 21:49:38 +0000211 InputFile *F1 = findFile(Old);
212 InputFile *F2 = findFile(New);
Rui Ueyamaf0904012015-12-16 22:26:45 +0000213 StringRef Sym = Old->getName();
Rui Ueyama71c066d2016-02-02 08:22:41 +0000214 return demangle(Sym) + " in " + getFilename(F1) + " and " + getFilename(F2);
Rafael Espindola1a49e582015-09-23 14:10:24 +0000215}
216
Michael J. Spencer84487f12015-07-24 21:03:07 +0000217// This function resolves conflicts if there's an existing symbol with
218// the same name. Decisions are made based on symbol type.
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000219template <class ELFT> void SymbolTable<ELFT>::resolve(SymbolBody *New) {
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000220 Symbol *Sym = insert(New);
221 if (Sym->Body == New)
222 return;
223
224 SymbolBody *Existing = Sym->Body;
225
Davide Italianoc4965002016-04-02 23:47:54 +0000226 if (auto *L = dyn_cast<Lazy>(Existing)) {
Rafael Espindolaf4765732016-04-06 13:22:41 +0000227 if (New->isUndefined()) {
228 addMemberFile(New, L);
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000229 return;
230 }
Rui Ueyamac5b95122015-12-16 23:23:14 +0000231 // Found a definition for something also in an archive.
232 // Ignore the archive definition.
Rafael Espindola5cea9692016-04-05 01:38:43 +0000233 if (L->isUsedInRegularObj())
234 New->setUsedInRegularObj();
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000235 Sym->Body = New;
236 return;
237 }
238
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000239 if (New->isTls() != Existing->isTls()) {
Rui Ueyama16ba6692016-01-29 19:41:13 +0000240 error("TLS attribute mismatch for symbol: " + conflictMsg(Existing, New));
241 return;
242 }
Igor Kudrin65bddea2015-10-09 09:58:39 +0000243
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000244 // compare() returns -1, 0, or 1 if the lhs symbol is less preferable,
245 // equivalent (conflicting), or more preferable, respectively.
Peter Collingbourned0856a62016-04-05 00:47:58 +0000246 int Comp = Existing->compare(New);
Rui Ueyama2e0a9ff2016-01-06 00:09:39 +0000247 if (Comp == 0) {
George Rimar57610422016-03-11 14:43:02 +0000248 std::string S = "duplicate symbol: " + conflictMsg(Existing, New);
Rui Ueyama16ba6692016-01-29 19:41:13 +0000249 if (Config->AllowMultipleDefinition)
250 warning(S);
251 else
252 error(S);
Rui Ueyamaf0904012015-12-16 22:26:45 +0000253 return;
254 }
Rui Ueyama2e0a9ff2016-01-06 00:09:39 +0000255 if (Comp < 0)
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000256 Sym->Body = New;
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000257}
258
Rui Ueyamab4de5952016-01-08 22:01:33 +0000259// Find an existing symbol or create and insert a new one.
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000260template <class ELFT> Symbol *SymbolTable<ELFT>::insert(SymbolBody *New) {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000261 StringRef Name = New->getName();
262 Symbol *&Sym = Symtab[Name];
Rui Ueyama38dcc9e2015-12-16 23:25:31 +0000263 if (!Sym)
Rui Ueyama3554f592015-12-17 00:01:25 +0000264 Sym = new (Alloc) Symbol{New};
Michael J. Spencer84487f12015-07-24 21:03:07 +0000265 New->setBackref(Sym);
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000266 return Sym;
267}
Michael J. Spencer84487f12015-07-24 21:03:07 +0000268
Rui Ueyamaf8432d92015-10-13 16:34:14 +0000269template <class ELFT> SymbolBody *SymbolTable<ELFT>::find(StringRef Name) {
270 auto It = Symtab.find(Name);
271 if (It == Symtab.end())
272 return nullptr;
273 return It->second->Body;
274}
275
Rui Ueyamac5b95122015-12-16 23:23:14 +0000276template <class ELFT> void SymbolTable<ELFT>::addLazy(Lazy *L) {
277 Symbol *Sym = insert(L);
Rafael Espindolaf4765732016-04-06 13:22:41 +0000278 SymbolBody *Cur = Sym->Body;
279 if (Cur == L)
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000280 return;
Rafael Espindolaf4765732016-04-06 13:22:41 +0000281 if (Cur->isUndefined()) {
Rui Ueyamac5b95122015-12-16 23:23:14 +0000282 Sym->Body = L;
Rafael Espindolaf4765732016-04-06 13:22:41 +0000283 addMemberFile(Cur, L);
Rafael Espindola8614c562015-10-06 14:33:58 +0000284 }
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000285}
286
Rui Ueyama3d451792015-10-12 18:03:21 +0000287template <class ELFT>
Rafael Espindolaf4765732016-04-06 13:22:41 +0000288void SymbolTable<ELFT>::addMemberFile(SymbolBody *Undef, Lazy *L) {
Rafael Espindola5cea9692016-04-05 01:38:43 +0000289 if (Undef->isUsedInRegularObj())
290 L->setUsedInRegularObj();
Rui Ueyamac5b95122015-12-16 23:23:14 +0000291 // Weak undefined symbols should not fetch members from archives.
292 // If we were to keep old symbol we would not know that an archive member was
293 // available if a strong undefined symbol shows up afterwards in the link.
294 // If a strong undefined symbol never shows up, this lazy symbol will
295 // get to the end of the link and must be treated as the weak undefined one.
296 // We set UsedInRegularObj in a similar way to what is done with shared
Rafael Espindola8176d572016-02-22 23:19:29 +0000297 // symbols and copy information to reduce how many special cases are needed.
Rui Ueyamac5b95122015-12-16 23:23:14 +0000298 if (Undef->isWeak()) {
299 L->setUsedInRegularObj();
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000300 L->Binding = Undef->Binding;
301 L->Type = Undef->Type;
Rafael Espindola8176d572016-02-22 23:19:29 +0000302
303 // FIXME: Do we need to copy more?
Rui Ueyamac5b95122015-12-16 23:23:14 +0000304 return;
305 }
306
307 // Fetch a member file that has the definition for L.
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000308 // getMember returns nullptr if the member was already read from the library.
Rui Ueyamac5b95122015-12-16 23:23:14 +0000309 if (std::unique_ptr<InputFile> File = L->getMember())
Rui Ueyama690db672015-10-14 22:32:10 +0000310 addFile(std::move(File));
Michael J. Spencer84487f12015-07-24 21:03:07 +0000311}
Rafael Espindola0e604f92015-09-25 18:56:53 +0000312
Rui Ueyama93bfee52015-10-13 18:10:33 +0000313// This function takes care of the case in which shared libraries depend on
314// the user program (not the other way, which is usual). Shared libraries
315// may have undefined symbols, expecting that the user program provides
316// the definitions for them. An example is BSD's __progname symbol.
317// We need to put such symbols to the main program's .dynsym so that
318// shared libraries can find them.
319// Except this, we ignore undefined symbols in DSOs.
320template <class ELFT> void SymbolTable<ELFT>::scanShlibUndefined() {
Rui Ueyamaf8432d92015-10-13 16:34:14 +0000321 for (std::unique_ptr<SharedFile<ELFT>> &File : SharedFiles)
322 for (StringRef U : File->getUndefinedSymbols())
323 if (SymbolBody *Sym = find(U))
324 if (Sym->isDefined())
Rafael Espindolaabebed92016-02-05 15:27:15 +0000325 Sym->MustBeInDynSym = true;
Rui Ueyamaf8432d92015-10-13 16:34:14 +0000326}
327
Rafael Espindolae0df00b2016-02-28 00:25:54 +0000328template class elf::SymbolTable<ELF32LE>;
329template class elf::SymbolTable<ELF32BE>;
330template class elf::SymbolTable<ELF64LE>;
331template class elf::SymbolTable<ELF64BE>;