blob: e66a399084e6a939abf1f0f2629c77d73654aada [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//===----------------------------------------------------------------------===//
9
10#include "SymbolTable.h"
Rafael Espindola192e1fa2015-08-06 15:08:23 +000011#include "Error.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000012#include "Symbols.h"
13
14using namespace llvm;
Rafael Espindoladaa92a62015-08-31 01:16:19 +000015using namespace llvm::object;
Michael J. Spencer84487f12015-07-24 21:03:07 +000016
17using namespace lld;
18using namespace lld::elf2;
19
Rafael Espindola1bd885a2015-08-14 16:46:28 +000020SymbolTable::SymbolTable() {
Rafael Espindola1bd885a2015-08-14 16:46:28 +000021}
Michael J. Spencer84487f12015-07-24 21:03:07 +000022
Rafael Espindola2ffdd4d2015-08-04 14:29:01 +000023void SymbolTable::addFile(std::unique_ptr<InputFile> File) {
Michael J. Spencer84487f12015-07-24 21:03:07 +000024 File->parse();
25 InputFile *FileP = File.release();
Michael J. Spencer1b348a62015-09-04 22:28:10 +000026 if (auto *AF = dyn_cast<ArchiveFile>(FileP)) {
27 ArchiveFiles.emplace_back(AF);
28 for (Lazy &Sym : AF->getLazySymbols())
29 addLazy(&Sym);
30 return;
31 }
32 addELFFile(cast<ELFFileBase>(FileP));
Michael J. Spencer84487f12015-07-24 21:03:07 +000033}
34
Rafael Espindolaf7d45f02015-08-31 01:46:20 +000035template <class ELFT> void SymbolTable::init() {
36 resolve<ELFT>(new (Alloc)
37 Undefined<ELFT>("_start", Undefined<ELFT>::Synthetic));
38}
39
Rafael Espindola824d1a92015-09-04 00:09:43 +000040template <class ELFT> void SymbolTable::addELFFile(ELFFileBase *File) {
Rafael Espindolaf98d6d82015-09-03 20:03:54 +000041 if (const ELFFileBase *Old = getFirstELF()) {
Rafael Espindola8aeb13f2015-09-03 19:13:13 +000042 if (!Old->isCompatibleWith(*File))
43 error(Twine(Old->getName() + " is incompatible with " + File->getName()));
Rafael Espindoladaa92a62015-08-31 01:16:19 +000044 } else {
Rafael Espindola824d1a92015-09-04 00:09:43 +000045 init<ELFT>();
Rafael Espindola3c9cb4b2015-08-05 12:03:34 +000046 }
47
Rafael Espindolaf98d6d82015-09-03 20:03:54 +000048 if (auto *O = dyn_cast<ObjectFileBase>(File)) {
49 ObjectFiles.emplace_back(O);
Rafael Espindola824d1a92015-09-04 00:09:43 +000050 for (SymbolBody *Body : O->getSymbols())
51 resolve<ELFT>(Body);
Rafael Espindoladaa92a62015-08-31 01:16:19 +000052 }
Rafael Espindolaf98d6d82015-09-03 20:03:54 +000053
Rafael Espindola18173d42015-09-08 15:50:05 +000054 if (auto *S = dyn_cast<SharedFile<ELFT>>(File)) {
Rafael Espindolaf98d6d82015-09-03 20:03:54 +000055 SharedFiles.emplace_back(S);
Rafael Espindola18173d42015-09-08 15:50:05 +000056 for (SharedSymbol<ELFT> &Body : S->getSharedSymbols())
57 resolve<ELFT>(&Body);
58 }
Michael J. Spencer84487f12015-07-24 21:03:07 +000059}
60
Rafael Espindola824d1a92015-09-04 00:09:43 +000061void SymbolTable::addELFFile(ELFFileBase *File) {
62 switch (File->getELFKind()) {
63 case ELF32LEKind:
64 addELFFile<ELF32LE>(File);
65 break;
66 case ELF32BEKind:
67 addELFFile<ELF32BE>(File);
68 break;
69 case ELF64LEKind:
70 addELFFile<ELF64LE>(File);
71 break;
72 case ELF64BEKind:
73 addELFFile<ELF64BE>(File);
74 break;
75 }
76}
77
Michael J. Spencer84487f12015-07-24 21:03:07 +000078// This function resolves conflicts if there's an existing symbol with
79// the same name. Decisions are made based on symbol type.
Rafael Espindoladaa92a62015-08-31 01:16:19 +000080template <class ELFT> void SymbolTable::resolve(SymbolBody *New) {
Michael J. Spencer1b348a62015-09-04 22:28:10 +000081 Symbol *Sym = insert(New);
82 if (Sym->Body == New)
83 return;
84
85 SymbolBody *Existing = Sym->Body;
86
87 if (Lazy *L = dyn_cast<Lazy>(Existing)) {
88 if (New->isUndefined()) {
89 addMemberFile(L);
90 return;
91 }
92
93 // Found a definition for something also in an archive. Ignore the archive
94 // definition.
95 Sym->Body = New;
96 return;
97 }
98
99 // compare() returns -1, 0, or 1 if the lhs symbol is less preferable,
100 // equivalent (conflicting), or more preferable, respectively.
101 int comp = Existing->compare<ELFT>(New);
102 if (comp < 0)
103 Sym->Body = New;
104 if (comp == 0)
105 error(Twine("duplicate symbol: ") + Sym->Body->getName());
106}
107
108Symbol *SymbolTable::insert(SymbolBody *New) {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000109 // Find an existing Symbol or create and insert a new one.
110 StringRef Name = New->getName();
111 Symbol *&Sym = Symtab[Name];
112 if (!Sym) {
113 Sym = new (Alloc) Symbol(New);
114 New->setBackref(Sym);
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000115 return Sym;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000116 }
117 New->setBackref(Sym);
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000118 return Sym;
119}
Michael J. Spencer84487f12015-07-24 21:03:07 +0000120
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000121void SymbolTable::addLazy(Lazy *New) {
122 Symbol *Sym = insert(New);
123 if (Sym->Body == New)
124 return;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000125 SymbolBody *Existing = Sym->Body;
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000126 if (Existing->isDefined() || Existing->isLazy())
127 return;
128 Sym->Body = New;
129 assert(Existing->isUndefined() && "Unexpected symbol kind.");
130 addMemberFile(New);
131}
132
133void SymbolTable::addMemberFile(Lazy *Body) {
134 std::unique_ptr<InputFile> File = Body->getMember();
135
136 // getMember returns nullptr if the member was already read from the library.
137 if (!File)
138 return;
139
140 addFile(std::move(File));
Michael J. Spencer84487f12015-07-24 21:03:07 +0000141}