Rui Ueyama | 411c6360 | 2015-05-28 19:09:30 | [diff] [blame] | 1 | //===- Symbols.cpp --------------------------------------------------------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Rui Ueyama | 411c6360 | 2015-05-28 19:09:30 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
Rui Ueyama | a45d45e | 2016-12-07 23:17:02 | [diff] [blame] | 9 | #include "Symbols.h" |
Amy Huang | 5a58b19 | 2023-01-10 04:37:28 | [diff] [blame] | 10 | #include "COFFLinkerContext.h" |
Rui Ueyama | 411c6360 | 2015-05-28 19:09:30 | [diff] [blame] | 11 | #include "InputFiles.h" |
Bob Haarman | b8a59c8 | 2017-10-25 22:28:38 | [diff] [blame] | 12 | #include "lld/Common/ErrorHandler.h" |
Rui Ueyama | 2017d52 | 2017-11-28 20:39:17 | [diff] [blame] | 13 | #include "lld/Common/Memory.h" |
Rui Ueyama | ee17371 | 2018-02-28 17:38:19 | [diff] [blame] | 14 | #include "lld/Common/Strings.h" |
Rui Ueyama | 411c6360 | 2015-05-28 19:09:30 | [diff] [blame] | 15 | #include "llvm/ADT/STLExtras.h" |
Martin Storsjo | bf6f4e9 | 2019-09-27 12:23:45 | [diff] [blame] | 16 | #include "llvm/Demangle/Demangle.h" |
Rui Ueyama | 411c6360 | 2015-05-28 19:09:30 | [diff] [blame] | 17 | #include "llvm/Support/Debug.h" |
| 18 | #include "llvm/Support/raw_ostream.h" |
| 19 | |
Rui Ueyama | a45d45e | 2016-12-07 23:17:02 | [diff] [blame] | 20 | using namespace llvm; |
Rui Ueyama | 411c6360 | 2015-05-28 19:09:30 | [diff] [blame] | 21 | using namespace llvm::object; |
Rui Ueyama | 411c6360 | 2015-05-28 19:09:30 | [diff] [blame] | 22 | |
Nico Weber | 020d92c | 2019-03-11 23:02:18 | [diff] [blame] | 23 | using namespace lld::coff; |
| 24 | |
Nico Weber | cb2c500 | 2019-07-19 13:29:10 | [diff] [blame] | 25 | namespace lld { |
| 26 | |
Reid Kleckner | a30920c | 2019-04-19 22:51:49 | [diff] [blame] | 27 | static_assert(sizeof(SymbolUnion) <= 48, |
| 28 | "symbols should be optimized for memory usage"); |
| 29 | |
Rui Ueyama | 7a8ff13 | 2017-01-06 10:15:47 | [diff] [blame] | 30 | // Returns a symbol name for an error message. |
Nico Weber | d73ef97 | 2024-12-14 00:35:51 | [diff] [blame] | 31 | std::string maybeDemangleSymbol(const COFFLinkerContext &ctx, |
| 32 | StringRef symName) { |
Amy Huang | 5a58b19 | 2023-01-10 04:37:28 | [diff] [blame] | 33 | if (ctx.config.demangle) { |
Martin Storsjo | bf6f4e9 | 2019-09-27 12:23:45 | [diff] [blame] | 34 | std::string prefix; |
Martin Storsjo | 9809ed6 | 2019-10-04 19:47:59 | [diff] [blame] | 35 | StringRef prefixless = symName; |
| 36 | if (prefixless.consume_front("__imp_")) |
Martin Storsjo | bf6f4e9 | 2019-09-27 12:23:45 | [diff] [blame] | 37 | prefix = "__declspec(dllimport) "; |
Martin Storsjo | 9809ed6 | 2019-10-04 19:47:59 | [diff] [blame] | 38 | StringRef demangleInput = prefixless; |
Amy Huang | 5a58b19 | 2023-01-10 04:37:28 | [diff] [blame] | 39 | if (ctx.config.machine == I386) |
Martin Storsjo | bf6f4e9 | 2019-09-27 12:23:45 | [diff] [blame] | 40 | demangleInput.consume_front("_"); |
Nick Desaulniers | 8abbc17 | 2023-06-05 21:59:46 | [diff] [blame] | 41 | std::string demangled = demangle(demangleInput); |
Martin Storsjo | bf6f4e9 | 2019-09-27 12:23:45 | [diff] [blame] | 42 | if (demangled != demangleInput) |
Nick Desaulniers | 8abbc17 | 2023-06-05 21:59:46 | [diff] [blame] | 43 | return prefix + demangled; |
Martin Storsjo | 9809ed6 | 2019-10-04 19:47:59 | [diff] [blame] | 44 | return (prefix + prefixless).str(); |
Martin Storsjo | a66fc1c9 | 2019-09-02 13:25:46 | [diff] [blame] | 45 | } |
Benjamin Kramer | adcd026 | 2020-01-28 19:23:46 | [diff] [blame] | 46 | return std::string(symName); |
Rui Ueyama | 7a8ff13 | 2017-01-06 10:15:47 | [diff] [blame] | 47 | } |
Amy Huang | 5a58b19 | 2023-01-10 04:37:28 | [diff] [blame] | 48 | std::string toString(const COFFLinkerContext &ctx, coff::Symbol &b) { |
| 49 | return maybeDemangleSymbol(ctx, b.getName()); |
Martin Storsjo | bf6f4e9 | 2019-09-27 12:23:45 | [diff] [blame] | 50 | } |
Amy Huang | 5a58b19 | 2023-01-10 04:37:28 | [diff] [blame] | 51 | std::string toCOFFString(const COFFLinkerContext &ctx, |
| 52 | const Archive::Symbol &b) { |
| 53 | return maybeDemangleSymbol(ctx, b.getName()); |
Nico Weber | 9c0716f | 2019-07-23 19:00:01 | [diff] [blame] | 54 | } |
Rui Ueyama | 7a8ff13 | 2017-01-06 10:15:47 | [diff] [blame] | 55 | |
Fangrui Song | 982575fd | 2024-12-04 04:51:50 | [diff] [blame] | 56 | const COFFSyncStream & |
| 57 | coff::operator<<(const COFFSyncStream &s, |
| 58 | const llvm::object::Archive::Symbol *sym) { |
| 59 | s << maybeDemangleSymbol(s.ctx, sym->getName()); |
| 60 | return s; |
| 61 | } |
| 62 | |
Rui Ueyama | 411c6360 | 2015-05-28 19:09:30 | [diff] [blame] | 63 | namespace coff { |
| 64 | |
Reid Kleckner | 9b7f614 | 2020-05-03 02:53:49 | [diff] [blame] | 65 | void Symbol::computeName() { |
| 66 | assert(nameData == nullptr && |
| 67 | "should only compute the name once for DefinedCOFF symbols"); |
| 68 | auto *d = cast<DefinedCOFF>(this); |
Reid Kleckner | 77ecf90 | 2020-05-08 17:41:05 | [diff] [blame] | 69 | StringRef nameStr = |
| 70 | check(cast<ObjFile>(d->file)->getCOFFObj()->getSymbolName(d->sym)); |
Reid Kleckner | 9b7f614 | 2020-05-03 02:53:49 | [diff] [blame] | 71 | nameData = nameStr.data(); |
| 72 | nameSize = nameStr.size(); |
| 73 | assert(nameSize == nameStr.size() && "name length truncated"); |
Rui Ueyama | 57fe78d | 2015-06-08 19:43:59 | [diff] [blame] | 74 | } |
| 75 | |
Rui Ueyama | f52496e | 2017-11-03 21:21:47 | [diff] [blame] | 76 | InputFile *Symbol::getFile() { |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 | [diff] [blame] | 77 | if (auto *sym = dyn_cast<DefinedCOFF>(this)) |
| 78 | return sym->file; |
Bob Haarman | 7dc5e7a0 | 2019-09-03 20:32:16 | [diff] [blame] | 79 | if (auto *sym = dyn_cast<LazyArchive>(this)) |
| 80 | return sym->file; |
| 81 | if (auto *sym = dyn_cast<LazyObject>(this)) |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 | [diff] [blame] | 82 | return sym->file; |
Martin Storsjö | a9ff1ce | 2021-06-16 13:59:46 | [diff] [blame] | 83 | if (auto *sym = dyn_cast<LazyDLLSymbol>(this)) |
| 84 | return sym->file; |
Rui Ueyama | a45d45e | 2016-12-07 23:17:02 | [diff] [blame] | 85 | return nullptr; |
| 86 | } |
| 87 | |
Rui Ueyama | f52496e | 2017-11-03 21:21:47 | [diff] [blame] | 88 | bool Symbol::isLive() const { |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 | [diff] [blame] | 89 | if (auto *r = dyn_cast<DefinedRegular>(this)) |
| 90 | return r->getChunk()->live; |
| 91 | if (auto *imp = dyn_cast<DefinedImportData>(this)) |
| 92 | return imp->file->live; |
| 93 | if (auto *imp = dyn_cast<DefinedImportThunk>(this)) |
Jacek Caban | 6be9be5 | 2024-09-13 13:42:05 | [diff] [blame] | 94 | return imp->getChunk()->live; |
Reid Kleckner | eacdf04 | 2017-07-27 18:25:59 | [diff] [blame] | 95 | // Assume any other kind of symbol is live. |
| 96 | return true; |
| 97 | } |
| 98 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 | [diff] [blame] | 99 | void Symbol::replaceKeepingName(Symbol *other, size_t size) { |
| 100 | StringRef origName = getName(); |
| 101 | memcpy(this, other, size); |
| 102 | nameData = origName.data(); |
| 103 | nameSize = origName.size(); |
Martin Storsjo | eac1b05 | 2018-08-27 08:43:31 | [diff] [blame] | 104 | } |
| 105 | |
David Majnemer | 3a62d3d | 2015-07-09 17:43:50 | [diff] [blame] | 106 | COFFSymbolRef DefinedCOFF::getCOFFSymbol() { |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 | [diff] [blame] | 107 | size_t symSize = cast<ObjFile>(file)->getCOFFObj()->getSymbolTableEntrySize(); |
| 108 | if (symSize == sizeof(coff_symbol16)) |
| 109 | return COFFSymbolRef(reinterpret_cast<const coff_symbol16 *>(sym)); |
| 110 | assert(symSize == sizeof(coff_symbol32)); |
| 111 | return COFFSymbolRef(reinterpret_cast<const coff_symbol32 *>(sym)); |
David Majnemer | 3a62d3d | 2015-07-09 17:43:50 | [diff] [blame] | 112 | } |
| 113 | |
Amy Huang | 5a58b19 | 2023-01-10 04:37:28 | [diff] [blame] | 114 | uint64_t DefinedAbsolute::getRVA() { return va - ctx.config.imageBase; } |
Reid Kleckner | 8456411 | 2017-06-22 23:33:04 | [diff] [blame] | 115 | |
Amy Huang | 5a58b19 | 2023-01-10 04:37:28 | [diff] [blame] | 116 | DefinedImportThunk::DefinedImportThunk(COFFLinkerContext &ctx, StringRef name, |
Jacek Caban | 7e0008d | 2024-09-11 10:22:36 | [diff] [blame] | 117 | DefinedImportData *s, |
| 118 | ImportThunkChunk *chunk) |
| 119 | : Defined(DefinedImportThunkKind, name), wrappedSym(s), data(chunk) {} |
Rui Ueyama | 28df042 | 2015-07-25 01:16:06 | [diff] [blame] | 120 | |
Jacek Caban | ba898db | 2024-10-15 20:58:13 | [diff] [blame] | 121 | Symbol *Undefined::getWeakAlias() { |
Peter Collingbourne | 2612a32 | 2015-07-04 05:28:41 | [diff] [blame] | 122 | // A weak alias may be a weak alias to another symbol, so check recursively. |
Jacek Caban | 513e0af | 2024-08-20 08:21:00 | [diff] [blame] | 123 | DenseSet<Symbol *> weakChain; |
| 124 | for (Symbol *a = weakAlias; a; a = cast<Undefined>(a)->weakAlias) { |
Jacek Caban | f1ba894 | 2024-10-21 09:44:31 | [diff] [blame] | 125 | // Anti-dependency symbols can't be chained. |
| 126 | if (a->isAntiDep) |
| 127 | break; |
Jacek Caban | ba898db | 2024-10-15 20:58:13 | [diff] [blame] | 128 | if (!isa<Undefined>(a)) |
| 129 | return a; |
Jacek Caban | 513e0af | 2024-08-20 08:21:00 | [diff] [blame] | 130 | if (!weakChain.insert(a).second) |
| 131 | break; // We have a cycle. |
| 132 | } |
Peter Collingbourne | 2612a32 | 2015-07-04 05:28:41 | [diff] [blame] | 133 | return nullptr; |
| 134 | } |
Amy Huang | a1c022c | 2019-08-22 19:40:07 | [diff] [blame] | 135 | |
Jacek Caban | ec4d5a6 | 2024-08-26 17:20:18 | [diff] [blame] | 136 | bool Undefined::resolveWeakAlias() { |
Jacek Caban | ba898db | 2024-10-15 20:58:13 | [diff] [blame] | 137 | Defined *d = getDefinedWeakAlias(); |
Jacek Caban | ec4d5a6 | 2024-08-26 17:20:18 | [diff] [blame] | 138 | if (!d) |
| 139 | return false; |
| 140 | |
| 141 | // We want to replace Sym with D. However, we can't just blindly |
| 142 | // copy sizeof(SymbolUnion) bytes from D to Sym because D may be an |
| 143 | // internal symbol, and internal symbols are stored as "unparented" |
| 144 | // Symbols. For that reason we need to check which type of symbol we |
| 145 | // are dealing with and copy the correct number of bytes. |
| 146 | StringRef name = getName(); |
Jacek Caban | f1ba894 | 2024-10-21 09:44:31 | [diff] [blame] | 147 | bool wasAntiDep = isAntiDep; |
Jacek Caban | ec4d5a6 | 2024-08-26 17:20:18 | [diff] [blame] | 148 | if (isa<DefinedRegular>(d)) |
| 149 | memcpy(this, d, sizeof(DefinedRegular)); |
| 150 | else if (isa<DefinedAbsolute>(d)) |
| 151 | memcpy(this, d, sizeof(DefinedAbsolute)); |
| 152 | else |
| 153 | memcpy(this, d, sizeof(SymbolUnion)); |
| 154 | |
| 155 | nameData = name.data(); |
| 156 | nameSize = name.size(); |
Jacek Caban | f1ba894 | 2024-10-21 09:44:31 | [diff] [blame] | 157 | isAntiDep = wasAntiDep; |
Jacek Caban | ec4d5a6 | 2024-08-26 17:20:18 | [diff] [blame] | 158 | return true; |
| 159 | } |
| 160 | |
Bob Haarman | 7dc5e7a0 | 2019-09-03 20:32:16 | [diff] [blame] | 161 | MemoryBufferRef LazyArchive::getMemberBuffer() { |
Amy Huang | a1c022c | 2019-08-22 19:40:07 | [diff] [blame] | 162 | Archive::Child c = |
Amy Huang | 5a58b19 | 2023-01-10 04:37:28 | [diff] [blame] | 163 | CHECK(sym.getMember(), "could not get the member for symbol " + |
Jacek Caban | 6b493ba | 2024-12-15 11:45:34 | [diff] [blame] | 164 | toCOFFString(file->symtab.ctx, sym)); |
Amy Huang | a1c022c | 2019-08-22 19:40:07 | [diff] [blame] | 165 | return CHECK(c.getMemoryBufferRef(), |
Amy Huang | 5a58b19 | 2023-01-10 04:37:28 | [diff] [blame] | 166 | "could not get the buffer for the member defining symbol " + |
Jacek Caban | 6b493ba | 2024-12-15 11:45:34 | [diff] [blame] | 167 | toCOFFString(file->symtab.ctx, sym)); |
Amy Huang | a1c022c | 2019-08-22 19:40:07 | [diff] [blame] | 168 | } |
Rui Ueyama | ce03926 | 2017-01-06 10:04:08 | [diff] [blame] | 169 | } // namespace coff |
Rui Ueyama | 411c6360 | 2015-05-28 19:09:30 | [diff] [blame] | 170 | } // namespace lld |