annotate lld/COFF/Symbols.cpp @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 0572611fdcc8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===- Symbols.cpp --------------------------------------------------------===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 #include "Symbols.h"
anatofuz
parents:
diff changeset
10 #include "InputFiles.h"
anatofuz
parents:
diff changeset
11 #include "lld/Common/ErrorHandler.h"
anatofuz
parents:
diff changeset
12 #include "lld/Common/Memory.h"
anatofuz
parents:
diff changeset
13 #include "lld/Common/Strings.h"
anatofuz
parents:
diff changeset
14 #include "llvm/ADT/STLExtras.h"
anatofuz
parents:
diff changeset
15 #include "llvm/Demangle/Demangle.h"
anatofuz
parents:
diff changeset
16 #include "llvm/Support/Debug.h"
anatofuz
parents:
diff changeset
17 #include "llvm/Support/raw_ostream.h"
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 using namespace llvm;
anatofuz
parents:
diff changeset
20 using namespace llvm::object;
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 using namespace lld::coff;
anatofuz
parents:
diff changeset
23
anatofuz
parents:
diff changeset
24 namespace lld {
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 static_assert(sizeof(SymbolUnion) <= 48,
anatofuz
parents:
diff changeset
27 "symbols should be optimized for memory usage");
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 // Returns a symbol name for an error message.
anatofuz
parents:
diff changeset
30 static std::string maybeDemangleSymbol(StringRef symName) {
anatofuz
parents:
diff changeset
31 if (config->demangle) {
anatofuz
parents:
diff changeset
32 std::string prefix;
anatofuz
parents:
diff changeset
33 StringRef prefixless = symName;
anatofuz
parents:
diff changeset
34 if (prefixless.consume_front("__imp_"))
anatofuz
parents:
diff changeset
35 prefix = "__declspec(dllimport) ";
anatofuz
parents:
diff changeset
36 StringRef demangleInput = prefixless;
anatofuz
parents:
diff changeset
37 if (config->machine == I386)
anatofuz
parents:
diff changeset
38 demangleInput.consume_front("_");
anatofuz
parents:
diff changeset
39 std::string demangled = demangle(std::string(demangleInput));
anatofuz
parents:
diff changeset
40 if (demangled != demangleInput)
anatofuz
parents:
diff changeset
41 return prefix + demangle(std::string(demangleInput));
anatofuz
parents:
diff changeset
42 return (prefix + prefixless).str();
anatofuz
parents:
diff changeset
43 }
anatofuz
parents:
diff changeset
44 return std::string(symName);
anatofuz
parents:
diff changeset
45 }
anatofuz
parents:
diff changeset
46 std::string toString(coff::Symbol &b) {
anatofuz
parents:
diff changeset
47 return maybeDemangleSymbol(b.getName());
anatofuz
parents:
diff changeset
48 }
anatofuz
parents:
diff changeset
49 std::string toCOFFString(const Archive::Symbol &b) {
anatofuz
parents:
diff changeset
50 return maybeDemangleSymbol(b.getName());
anatofuz
parents:
diff changeset
51 }
anatofuz
parents:
diff changeset
52
anatofuz
parents:
diff changeset
53 namespace coff {
anatofuz
parents:
diff changeset
54
anatofuz
parents:
diff changeset
55 StringRef Symbol::getName() {
anatofuz
parents:
diff changeset
56 // COFF symbol names are read lazily for a performance reason.
anatofuz
parents:
diff changeset
57 // Non-external symbol names are never used by the linker except for logging
anatofuz
parents:
diff changeset
58 // or debugging. Their internal references are resolved not by name but by
anatofuz
parents:
diff changeset
59 // symbol index. And because they are not external, no one can refer them by
anatofuz
parents:
diff changeset
60 // name. Object files contain lots of non-external symbols, and creating
anatofuz
parents:
diff changeset
61 // StringRefs for them (which involves lots of strlen() on the string table)
anatofuz
parents:
diff changeset
62 // is a waste of time.
anatofuz
parents:
diff changeset
63 if (nameData == nullptr) {
anatofuz
parents:
diff changeset
64 auto *d = cast<DefinedCOFF>(this);
anatofuz
parents:
diff changeset
65 StringRef nameStr;
anatofuz
parents:
diff changeset
66 cast<ObjFile>(d->file)->getCOFFObj()->getSymbolName(d->sym, nameStr);
anatofuz
parents:
diff changeset
67 nameData = nameStr.data();
anatofuz
parents:
diff changeset
68 nameSize = nameStr.size();
anatofuz
parents:
diff changeset
69 assert(nameSize == nameStr.size() && "name length truncated");
anatofuz
parents:
diff changeset
70 }
anatofuz
parents:
diff changeset
71 return StringRef(nameData, nameSize);
anatofuz
parents:
diff changeset
72 }
anatofuz
parents:
diff changeset
73
anatofuz
parents:
diff changeset
74 InputFile *Symbol::getFile() {
anatofuz
parents:
diff changeset
75 if (auto *sym = dyn_cast<DefinedCOFF>(this))
anatofuz
parents:
diff changeset
76 return sym->file;
anatofuz
parents:
diff changeset
77 if (auto *sym = dyn_cast<LazyArchive>(this))
anatofuz
parents:
diff changeset
78 return sym->file;
anatofuz
parents:
diff changeset
79 if (auto *sym = dyn_cast<LazyObject>(this))
anatofuz
parents:
diff changeset
80 return sym->file;
anatofuz
parents:
diff changeset
81 return nullptr;
anatofuz
parents:
diff changeset
82 }
anatofuz
parents:
diff changeset
83
anatofuz
parents:
diff changeset
84 bool Symbol::isLive() const {
anatofuz
parents:
diff changeset
85 if (auto *r = dyn_cast<DefinedRegular>(this))
anatofuz
parents:
diff changeset
86 return r->getChunk()->live;
anatofuz
parents:
diff changeset
87 if (auto *imp = dyn_cast<DefinedImportData>(this))
anatofuz
parents:
diff changeset
88 return imp->file->live;
anatofuz
parents:
diff changeset
89 if (auto *imp = dyn_cast<DefinedImportThunk>(this))
anatofuz
parents:
diff changeset
90 return imp->wrappedSym->file->thunkLive;
anatofuz
parents:
diff changeset
91 // Assume any other kind of symbol is live.
anatofuz
parents:
diff changeset
92 return true;
anatofuz
parents:
diff changeset
93 }
anatofuz
parents:
diff changeset
94
anatofuz
parents:
diff changeset
95 // MinGW specific.
anatofuz
parents:
diff changeset
96 void Symbol::replaceKeepingName(Symbol *other, size_t size) {
anatofuz
parents:
diff changeset
97 StringRef origName = getName();
anatofuz
parents:
diff changeset
98 memcpy(this, other, size);
anatofuz
parents:
diff changeset
99 nameData = origName.data();
anatofuz
parents:
diff changeset
100 nameSize = origName.size();
anatofuz
parents:
diff changeset
101 }
anatofuz
parents:
diff changeset
102
anatofuz
parents:
diff changeset
103 COFFSymbolRef DefinedCOFF::getCOFFSymbol() {
anatofuz
parents:
diff changeset
104 size_t symSize = cast<ObjFile>(file)->getCOFFObj()->getSymbolTableEntrySize();
anatofuz
parents:
diff changeset
105 if (symSize == sizeof(coff_symbol16))
anatofuz
parents:
diff changeset
106 return COFFSymbolRef(reinterpret_cast<const coff_symbol16 *>(sym));
anatofuz
parents:
diff changeset
107 assert(symSize == sizeof(coff_symbol32));
anatofuz
parents:
diff changeset
108 return COFFSymbolRef(reinterpret_cast<const coff_symbol32 *>(sym));
anatofuz
parents:
diff changeset
109 }
anatofuz
parents:
diff changeset
110
anatofuz
parents:
diff changeset
111 uint16_t DefinedAbsolute::numOutputSections;
anatofuz
parents:
diff changeset
112
anatofuz
parents:
diff changeset
113 static Chunk *makeImportThunk(DefinedImportData *s, uint16_t machine) {
anatofuz
parents:
diff changeset
114 if (machine == AMD64)
anatofuz
parents:
diff changeset
115 return make<ImportThunkChunkX64>(s);
anatofuz
parents:
diff changeset
116 if (machine == I386)
anatofuz
parents:
diff changeset
117 return make<ImportThunkChunkX86>(s);
anatofuz
parents:
diff changeset
118 if (machine == ARM64)
anatofuz
parents:
diff changeset
119 return make<ImportThunkChunkARM64>(s);
anatofuz
parents:
diff changeset
120 assert(machine == ARMNT);
anatofuz
parents:
diff changeset
121 return make<ImportThunkChunkARM>(s);
anatofuz
parents:
diff changeset
122 }
anatofuz
parents:
diff changeset
123
anatofuz
parents:
diff changeset
124 DefinedImportThunk::DefinedImportThunk(StringRef name, DefinedImportData *s,
anatofuz
parents:
diff changeset
125 uint16_t machine)
anatofuz
parents:
diff changeset
126 : Defined(DefinedImportThunkKind, name), wrappedSym(s),
anatofuz
parents:
diff changeset
127 data(makeImportThunk(s, machine)) {}
anatofuz
parents:
diff changeset
128
anatofuz
parents:
diff changeset
129 Defined *Undefined::getWeakAlias() {
anatofuz
parents:
diff changeset
130 // A weak alias may be a weak alias to another symbol, so check recursively.
anatofuz
parents:
diff changeset
131 for (Symbol *a = weakAlias; a; a = cast<Undefined>(a)->weakAlias)
anatofuz
parents:
diff changeset
132 if (auto *d = dyn_cast<Defined>(a))
anatofuz
parents:
diff changeset
133 return d;
anatofuz
parents:
diff changeset
134 return nullptr;
anatofuz
parents:
diff changeset
135 }
anatofuz
parents:
diff changeset
136
anatofuz
parents:
diff changeset
137 MemoryBufferRef LazyArchive::getMemberBuffer() {
anatofuz
parents:
diff changeset
138 Archive::Child c =
anatofuz
parents:
diff changeset
139 CHECK(sym.getMember(),
anatofuz
parents:
diff changeset
140 "could not get the member for symbol " + toCOFFString(sym));
anatofuz
parents:
diff changeset
141 return CHECK(c.getMemoryBufferRef(),
anatofuz
parents:
diff changeset
142 "could not get the buffer for the member defining symbol " +
anatofuz
parents:
diff changeset
143 toCOFFString(sym));
anatofuz
parents:
diff changeset
144 }
anatofuz
parents:
diff changeset
145 } // namespace coff
anatofuz
parents:
diff changeset
146 } // namespace lld