Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 1 | //===- InputFiles.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 "InputFiles.h" |
| 11 | |
| 12 | #include "Config.h" |
Sam Clegg | 5fa274b | 2018-01-10 01:13:34 +0000 | [diff] [blame] | 13 | #include "InputChunks.h" |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 14 | #include "SymbolTable.h" |
| 15 | #include "lld/Common/ErrorHandler.h" |
Rui Ueyama | 2017d52 | 2017-11-28 20:39:17 +0000 | [diff] [blame] | 16 | #include "lld/Common/Memory.h" |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 17 | #include "llvm/Object/Binary.h" |
| 18 | #include "llvm/Object/Wasm.h" |
| 19 | #include "llvm/Support/raw_ostream.h" |
| 20 | |
| 21 | #define DEBUG_TYPE "lld" |
| 22 | |
| 23 | using namespace lld; |
| 24 | using namespace lld::wasm; |
| 25 | |
| 26 | using namespace llvm; |
| 27 | using namespace llvm::object; |
| 28 | using namespace llvm::wasm; |
| 29 | |
| 30 | Optional<MemoryBufferRef> lld::wasm::readFile(StringRef Path) { |
| 31 | log("Loading: " + Path); |
| 32 | |
| 33 | auto MBOrErr = MemoryBuffer::getFile(Path); |
| 34 | if (auto EC = MBOrErr.getError()) { |
| 35 | error("cannot open " + Path + ": " + EC.message()); |
| 36 | return None; |
| 37 | } |
| 38 | std::unique_ptr<MemoryBuffer> &MB = *MBOrErr; |
| 39 | MemoryBufferRef MBRef = MB->getMemBufferRef(); |
| 40 | make<std::unique_ptr<MemoryBuffer>>(std::move(MB)); // take MB ownership |
| 41 | |
| 42 | return MBRef; |
| 43 | } |
| 44 | |
| 45 | void ObjFile::dumpInfo() const { |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 46 | log("info for: " + getName() + "\n" + |
| 47 | " Total Functions : " + Twine(FunctionSymbols.size()) + "\n" + |
| 48 | " Total Globals : " + Twine(GlobalSymbols.size()) + "\n" + |
| 49 | " Function Imports : " + Twine(NumFunctionImports) + "\n" + |
Sam Clegg | ab604a9 | 2018-01-23 01:25:56 +0000 | [diff] [blame^] | 50 | " Global Imports : " + Twine(NumGlobalImports) + "\n"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 51 | } |
| 52 | |
Sam Clegg | ab604a9 | 2018-01-23 01:25:56 +0000 | [diff] [blame^] | 53 | uint32_t ObjFile::relocateVirtualAddress(uint32_t GlobalIndex) const { |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 54 | return GlobalSymbols[GlobalIndex]->getVirtualAddress(); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 55 | } |
| 56 | |
| 57 | uint32_t ObjFile::relocateFunctionIndex(uint32_t Original) const { |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 58 | Symbol *Sym = FunctionSymbols[Original]; |
Sam Clegg | 74fe0ba | 2017-12-07 01:51:24 +0000 | [diff] [blame] | 59 | uint32_t Index = Sym->getOutputIndex(); |
| 60 | DEBUG(dbgs() << "relocateFunctionIndex: " << toString(*Sym) << ": " |
| 61 | << Original << " -> " << Index << "\n"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 62 | return Index; |
| 63 | } |
| 64 | |
| 65 | uint32_t ObjFile::relocateTypeIndex(uint32_t Original) const { |
| 66 | return TypeMap[Original]; |
| 67 | } |
| 68 | |
| 69 | uint32_t ObjFile::relocateTableIndex(uint32_t Original) const { |
Sam Clegg | ab604a9 | 2018-01-23 01:25:56 +0000 | [diff] [blame^] | 70 | Symbol *Sym = FunctionSymbols[Original]; |
Sam Clegg | 87e6192 | 2018-01-08 23:39:11 +0000 | [diff] [blame] | 71 | uint32_t Index = Sym->hasTableIndex() ? Sym->getTableIndex() : 0; |
Sam Clegg | fc1a912 | 2017-12-11 22:00:56 +0000 | [diff] [blame] | 72 | DEBUG(dbgs() << "relocateTableIndex: " << toString(*Sym) << ": " << Original |
| 73 | << " -> " << Index << "\n"); |
| 74 | return Index; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 75 | } |
| 76 | |
| 77 | uint32_t ObjFile::relocateGlobalIndex(uint32_t Original) const { |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 78 | Symbol *Sym = GlobalSymbols[Original]; |
Sam Clegg | 87e6192 | 2018-01-08 23:39:11 +0000 | [diff] [blame] | 79 | uint32_t Index = Sym->hasOutputIndex() ? Sym->getOutputIndex() : 0; |
Sam Clegg | 74fe0ba | 2017-12-07 01:51:24 +0000 | [diff] [blame] | 80 | DEBUG(dbgs() << "relocateGlobalIndex: " << toString(*Sym) << ": " << Original |
| 81 | << " -> " << Index << "\n"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 82 | return Index; |
| 83 | } |
| 84 | |
Sam Clegg | d96d935 | 2018-01-10 19:22:42 +0000 | [diff] [blame] | 85 | // Relocations contain an index into the function, global or table index |
| 86 | // space of the input file. This function takes a relocation and returns the |
| 87 | // relocated index (i.e. translates from the input index space to the output |
| 88 | // index space). |
| 89 | uint32_t ObjFile::calcNewIndex(const WasmRelocation &Reloc) const { |
| 90 | switch (Reloc.Type) { |
| 91 | case R_WEBASSEMBLY_TYPE_INDEX_LEB: |
| 92 | return relocateTypeIndex(Reloc.Index); |
| 93 | case R_WEBASSEMBLY_FUNCTION_INDEX_LEB: |
Sam Clegg | d96d935 | 2018-01-10 19:22:42 +0000 | [diff] [blame] | 94 | case R_WEBASSEMBLY_TABLE_INDEX_I32: |
| 95 | case R_WEBASSEMBLY_TABLE_INDEX_SLEB: |
Sam Clegg | ab604a9 | 2018-01-23 01:25:56 +0000 | [diff] [blame^] | 96 | return relocateFunctionIndex(Reloc.Index); |
Sam Clegg | d96d935 | 2018-01-10 19:22:42 +0000 | [diff] [blame] | 97 | case R_WEBASSEMBLY_GLOBAL_INDEX_LEB: |
| 98 | case R_WEBASSEMBLY_MEMORY_ADDR_LEB: |
| 99 | case R_WEBASSEMBLY_MEMORY_ADDR_SLEB: |
| 100 | case R_WEBASSEMBLY_MEMORY_ADDR_I32: |
| 101 | return relocateGlobalIndex(Reloc.Index); |
| 102 | default: |
| 103 | llvm_unreachable("unknown relocation type"); |
| 104 | } |
| 105 | } |
| 106 | |
Sam Clegg | ab604a9 | 2018-01-23 01:25:56 +0000 | [diff] [blame^] | 107 | // Translate from the relocation's index into the final linked output value. |
| 108 | uint32_t ObjFile::calcNewValue(const WasmRelocation &Reloc) const { |
| 109 | switch (Reloc.Type) { |
| 110 | case R_WEBASSEMBLY_TABLE_INDEX_I32: |
| 111 | case R_WEBASSEMBLY_TABLE_INDEX_SLEB: |
| 112 | return relocateTableIndex(Reloc.Index); |
| 113 | case R_WEBASSEMBLY_MEMORY_ADDR_SLEB: |
| 114 | case R_WEBASSEMBLY_MEMORY_ADDR_I32: |
| 115 | case R_WEBASSEMBLY_MEMORY_ADDR_LEB: |
| 116 | return relocateVirtualAddress(Reloc.Index) + Reloc.Addend; |
| 117 | case R_WEBASSEMBLY_TYPE_INDEX_LEB: |
| 118 | return relocateTypeIndex(Reloc.Index); |
| 119 | case R_WEBASSEMBLY_FUNCTION_INDEX_LEB: |
| 120 | return relocateFunctionIndex(Reloc.Index); |
| 121 | case R_WEBASSEMBLY_GLOBAL_INDEX_LEB: |
| 122 | return relocateGlobalIndex(Reloc.Index); |
| 123 | default: |
| 124 | llvm_unreachable("unknown relocation type"); |
| 125 | } |
| 126 | } |
| 127 | |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 128 | void ObjFile::parse() { |
| 129 | // Parse a memory buffer as a wasm file. |
| 130 | DEBUG(dbgs() << "Parsing object: " << toString(this) << "\n"); |
Rui Ueyama | bdc5150 | 2017-12-06 22:08:17 +0000 | [diff] [blame] | 131 | std::unique_ptr<Binary> Bin = CHECK(createBinary(MB), toString(this)); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 132 | |
| 133 | auto *Obj = dyn_cast<WasmObjectFile>(Bin.get()); |
| 134 | if (!Obj) |
| 135 | fatal(toString(this) + ": not a wasm file"); |
| 136 | if (!Obj->isRelocatableObject()) |
| 137 | fatal(toString(this) + ": not a relocatable wasm file"); |
| 138 | |
| 139 | Bin.release(); |
| 140 | WasmObj.reset(Obj); |
| 141 | |
| 142 | // Find the code and data sections. Wasm objects can have at most one code |
| 143 | // and one data section. |
| 144 | for (const SectionRef &Sec : WasmObj->sections()) { |
| 145 | const WasmSection &Section = WasmObj->getWasmSection(Sec); |
| 146 | if (Section.Type == WASM_SEC_CODE) |
| 147 | CodeSection = &Section; |
| 148 | else if (Section.Type == WASM_SEC_DATA) |
| 149 | DataSection = &Section; |
| 150 | } |
| 151 | |
| 152 | initializeSymbols(); |
| 153 | } |
| 154 | |
| 155 | // Return the InputSegment in which a given symbol is defined. |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 156 | InputSegment *ObjFile::getSegment(const WasmSymbol &WasmSym) const { |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 157 | uint32_t Address = WasmObj->getWasmSymbolValue(WasmSym); |
| 158 | for (InputSegment *Segment : Segments) { |
| 159 | if (Address >= Segment->startVA() && Address < Segment->endVA()) { |
| 160 | DEBUG(dbgs() << "Found symbol in segment: " << WasmSym.Name << " -> " |
| 161 | << Segment->getName() << "\n"); |
| 162 | |
| 163 | return Segment; |
| 164 | } |
| 165 | } |
Rui Ueyama | 29ceba7 | 2017-12-15 00:07:15 +0000 | [diff] [blame] | 166 | error("symbol not found in any segment: " + WasmSym.Name); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 167 | return nullptr; |
| 168 | } |
| 169 | |
Sam Clegg | 20db381 | 2018-01-10 00:52:20 +0000 | [diff] [blame] | 170 | // Get the value stored in the wasm global represented by this symbol. |
| 171 | // This represents the virtual address of the symbol in the input file. |
| 172 | uint32_t ObjFile::getGlobalValue(const WasmSymbol &Sym) const { |
| 173 | const WasmGlobal &Global = |
| 174 | getWasmObj()->globals()[Sym.ElementIndex - NumGlobalImports]; |
| 175 | assert(Global.Type == llvm::wasm::WASM_TYPE_I32); |
| 176 | return Global.InitExpr.Value.Int32; |
| 177 | } |
| 178 | |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 179 | // Get the signature for a given function symbol, either by looking |
| 180 | // it up in function sections (for defined functions), of the imports section |
| 181 | // (for imported functions). |
| 182 | const WasmSignature *ObjFile::getFunctionSig(const WasmSymbol &Sym) const { |
| 183 | DEBUG(dbgs() << "getFunctionSig: " << Sym.Name << "\n"); |
| 184 | return &WasmObj->types()[Sym.FunctionType]; |
| 185 | } |
| 186 | |
| 187 | InputFunction *ObjFile::getFunction(const WasmSymbol &Sym) const { |
| 188 | uint32_t FunctionIndex = Sym.ElementIndex - NumFunctionImports; |
| 189 | return Functions[FunctionIndex]; |
| 190 | } |
| 191 | |
Sam Clegg | e0f6fcd | 2018-01-12 22:25:17 +0000 | [diff] [blame] | 192 | bool ObjFile::isExcludedByComdat(InputChunk *Chunk) const { |
| 193 | StringRef Comdat = Chunk->getComdat(); |
| 194 | return !Comdat.empty() && Symtab->findComdat(Comdat) != this; |
| 195 | } |
| 196 | |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 197 | void ObjFile::initializeSymbols() { |
| 198 | Symbols.reserve(WasmObj->getNumberOfSymbols()); |
| 199 | |
| 200 | for (const WasmImport &Import : WasmObj->imports()) { |
| 201 | switch (Import.Kind) { |
| 202 | case WASM_EXTERNAL_FUNCTION: |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 203 | ++NumFunctionImports; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 204 | break; |
| 205 | case WASM_EXTERNAL_GLOBAL: |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 206 | ++NumGlobalImports; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 207 | break; |
| 208 | } |
| 209 | } |
| 210 | |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 211 | FunctionSymbols.resize(NumFunctionImports + WasmObj->functions().size()); |
| 212 | GlobalSymbols.resize(NumGlobalImports + WasmObj->globals().size()); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 213 | |
Sam Clegg | e0f6fcd | 2018-01-12 22:25:17 +0000 | [diff] [blame] | 214 | ArrayRef<WasmFunction> Funcs = WasmObj->functions(); |
| 215 | ArrayRef<uint32_t> FuncTypes = WasmObj->functionTypes(); |
| 216 | ArrayRef<WasmSignature> Types = WasmObj->types(); |
| 217 | ArrayRef<WasmGlobal> Globals = WasmObj->globals(); |
| 218 | |
| 219 | for (const auto &C : WasmObj->comdats()) |
| 220 | Symtab->addComdat(C, this); |
| 221 | |
| 222 | FunctionSymbols.resize(NumFunctionImports + Funcs.size()); |
| 223 | GlobalSymbols.resize(NumGlobalImports + Globals.size()); |
| 224 | |
Sam Clegg | f61676a | 2017-12-17 17:52:01 +0000 | [diff] [blame] | 225 | for (const WasmSegment &S : WasmObj->dataSegments()) { |
Sam Clegg | 5068685 | 2018-01-12 18:35:13 +0000 | [diff] [blame] | 226 | InputSegment *Seg = make<InputSegment>(S, this); |
Sam Clegg | 5fa274b | 2018-01-10 01:13:34 +0000 | [diff] [blame] | 227 | Seg->copyRelocations(*DataSection); |
Sam Clegg | f61676a | 2017-12-17 17:52:01 +0000 | [diff] [blame] | 228 | Segments.emplace_back(Seg); |
| 229 | } |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 230 | |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 231 | for (size_t I = 0; I < Funcs.size(); ++I) { |
| 232 | const WasmFunction &Func = Funcs[I]; |
| 233 | const WasmSignature &Sig = Types[FuncTypes[I]]; |
Sam Clegg | 5068685 | 2018-01-12 18:35:13 +0000 | [diff] [blame] | 234 | InputFunction *F = make<InputFunction>(Sig, &Func, this); |
Sam Clegg | 5fa274b | 2018-01-10 01:13:34 +0000 | [diff] [blame] | 235 | F->copyRelocations(*CodeSection); |
| 236 | Functions.emplace_back(F); |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 237 | } |
| 238 | |
Sam Clegg | fc1a912 | 2017-12-11 22:00:56 +0000 | [diff] [blame] | 239 | // Populate `FunctionSymbols` and `GlobalSymbols` based on the WasmSymbols |
| 240 | // in the object |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 241 | for (const SymbolRef &Sym : WasmObj->symbols()) { |
| 242 | const WasmSymbol &WasmSym = WasmObj->getWasmSymbol(Sym.getRawDataRefImpl()); |
Sam Clegg | fc1a912 | 2017-12-11 22:00:56 +0000 | [diff] [blame] | 243 | Symbol *S; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 244 | switch (WasmSym.Type) { |
Sam Clegg | e0f6fcd | 2018-01-12 22:25:17 +0000 | [diff] [blame] | 245 | case WasmSymbol::SymbolType::FUNCTION_EXPORT: { |
| 246 | InputFunction *Function = getFunction(WasmSym); |
| 247 | if (!isExcludedByComdat(Function)) { |
| 248 | S = createDefined(WasmSym, Symbol::Kind::DefinedFunctionKind, nullptr, |
| 249 | Function); |
| 250 | break; |
| 251 | } else { |
| 252 | Function->Discarded = true; |
| 253 | LLVM_FALLTHROUGH; // Exclude function, and add the symbol as undefined |
| 254 | } |
| 255 | } |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 256 | case WasmSymbol::SymbolType::FUNCTION_IMPORT: |
Sam Clegg | 20db381 | 2018-01-10 00:52:20 +0000 | [diff] [blame] | 257 | S = createUndefined(WasmSym, Symbol::Kind::UndefinedFunctionKind, |
| 258 | getFunctionSig(WasmSym)); |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 259 | break; |
Sam Clegg | e0f6fcd | 2018-01-12 22:25:17 +0000 | [diff] [blame] | 260 | case WasmSymbol::SymbolType::GLOBAL_EXPORT: { |
| 261 | InputSegment *Segment = getSegment(WasmSym); |
| 262 | if (!isExcludedByComdat(Segment)) { |
| 263 | S = createDefined(WasmSym, Symbol::Kind::DefinedGlobalKind, |
| 264 | Segment, nullptr, getGlobalValue(WasmSym)); |
| 265 | break; |
| 266 | } else { |
| 267 | Segment->Discarded = true; |
| 268 | LLVM_FALLTHROUGH; // Exclude global, and add the symbol as undefined |
| 269 | } |
| 270 | } |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 271 | case WasmSymbol::SymbolType::GLOBAL_IMPORT: |
Sam Clegg | 20db381 | 2018-01-10 00:52:20 +0000 | [diff] [blame] | 272 | S = createUndefined(WasmSym, Symbol::Kind::UndefinedGlobalKind); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 273 | break; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 274 | } |
| 275 | |
| 276 | Symbols.push_back(S); |
| 277 | if (WasmSym.isFunction()) { |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 278 | FunctionSymbols[WasmSym.ElementIndex] = S; |
Sam Clegg | 1cf31bb | 2017-12-21 02:43:39 +0000 | [diff] [blame] | 279 | if (WasmSym.HasAltIndex) |
| 280 | FunctionSymbols[WasmSym.AltIndex] = S; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 281 | } else { |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 282 | GlobalSymbols[WasmSym.ElementIndex] = S; |
Sam Clegg | 1cf31bb | 2017-12-21 02:43:39 +0000 | [diff] [blame] | 283 | if (WasmSym.HasAltIndex) |
| 284 | GlobalSymbols[WasmSym.AltIndex] = S; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 285 | } |
| 286 | } |
| 287 | |
Sam Clegg | 1cf31bb | 2017-12-21 02:43:39 +0000 | [diff] [blame] | 288 | DEBUG(for (size_t I = 0; I < FunctionSymbols.size(); ++I) |
| 289 | assert(FunctionSymbols[I] != nullptr); |
| 290 | for (size_t I = 0; I < GlobalSymbols.size(); ++I) |
| 291 | assert(GlobalSymbols[I] != nullptr);); |
| 292 | |
Sam Clegg | fc1a912 | 2017-12-11 22:00:56 +0000 | [diff] [blame] | 293 | DEBUG(dbgs() << "Functions : " << FunctionSymbols.size() << "\n"); |
| 294 | DEBUG(dbgs() << "Globals : " << GlobalSymbols.size() << "\n"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 295 | } |
| 296 | |
Sam Clegg | 20db381 | 2018-01-10 00:52:20 +0000 | [diff] [blame] | 297 | Symbol *ObjFile::createUndefined(const WasmSymbol &Sym, Symbol::Kind Kind, |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 298 | const WasmSignature *Signature) { |
Sam Clegg | 20db381 | 2018-01-10 00:52:20 +0000 | [diff] [blame] | 299 | return Symtab->addUndefined(Sym.Name, Kind, Sym.Flags, this, Signature); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 300 | } |
| 301 | |
Sam Clegg | 20db381 | 2018-01-10 00:52:20 +0000 | [diff] [blame] | 302 | Symbol *ObjFile::createDefined(const WasmSymbol &Sym, Symbol::Kind Kind, |
Sam Clegg | 8d146bb | 2018-01-09 23:56:44 +0000 | [diff] [blame] | 303 | const InputSegment *Segment, |
Sam Clegg | 20db381 | 2018-01-10 00:52:20 +0000 | [diff] [blame] | 304 | InputFunction *Function, uint32_t Address) { |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 305 | Symbol *S; |
| 306 | if (Sym.isLocal()) { |
| 307 | S = make<Symbol>(Sym.Name, true); |
Sam Clegg | 20db381 | 2018-01-10 00:52:20 +0000 | [diff] [blame] | 308 | S->update(Kind, this, Sym.Flags, Segment, Function, Address); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 309 | return S; |
| 310 | } |
Sam Clegg | 20db381 | 2018-01-10 00:52:20 +0000 | [diff] [blame] | 311 | return Symtab->addDefined(Sym.Name, Kind, Sym.Flags, this, Segment, Function, |
| 312 | Address); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 313 | } |
| 314 | |
| 315 | void ArchiveFile::parse() { |
| 316 | // Parse a MemoryBufferRef as an archive file. |
| 317 | DEBUG(dbgs() << "Parsing library: " << toString(this) << "\n"); |
Rui Ueyama | bdc5150 | 2017-12-06 22:08:17 +0000 | [diff] [blame] | 318 | File = CHECK(Archive::create(MB), toString(this)); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 319 | |
| 320 | // Read the symbol table to construct Lazy symbols. |
| 321 | int Count = 0; |
| 322 | for (const Archive::Symbol &Sym : File->symbols()) { |
| 323 | Symtab->addLazy(this, &Sym); |
| 324 | ++Count; |
| 325 | } |
| 326 | DEBUG(dbgs() << "Read " << Count << " symbols\n"); |
| 327 | } |
| 328 | |
| 329 | void ArchiveFile::addMember(const Archive::Symbol *Sym) { |
| 330 | const Archive::Child &C = |
Rui Ueyama | bdc5150 | 2017-12-06 22:08:17 +0000 | [diff] [blame] | 331 | CHECK(Sym->getMember(), |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 332 | "could not get the member for symbol " + Sym->getName()); |
| 333 | |
| 334 | // Don't try to load the same member twice (this can happen when members |
| 335 | // mutually reference each other). |
| 336 | if (!Seen.insert(C.getChildOffset()).second) |
| 337 | return; |
| 338 | |
Sam Clegg | a681a11 | 2017-12-06 03:10:39 +0000 | [diff] [blame] | 339 | DEBUG(dbgs() << "loading lazy: " << Sym->getName() << "\n"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 340 | DEBUG(dbgs() << "from archive: " << toString(this) << "\n"); |
| 341 | |
| 342 | MemoryBufferRef MB = |
Rui Ueyama | bdc5150 | 2017-12-06 22:08:17 +0000 | [diff] [blame] | 343 | CHECK(C.getMemoryBufferRef(), |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 344 | "could not get the buffer for the member defining symbol " + |
| 345 | Sym->getName()); |
| 346 | |
| 347 | if (identify_magic(MB.getBuffer()) != file_magic::wasm_object) { |
| 348 | error("unknown file type: " + MB.getBufferIdentifier()); |
| 349 | return; |
| 350 | } |
| 351 | |
| 352 | InputFile *Obj = make<ObjFile>(MB); |
| 353 | Obj->ParentName = ParentName; |
| 354 | Symtab->addFile(Obj); |
| 355 | } |
| 356 | |
| 357 | // Returns a string in the format of "foo.o" or "foo.a(bar.o)". |
Sam Clegg | 7e75663 | 2017-12-05 16:50:46 +0000 | [diff] [blame] | 358 | std::string lld::toString(const wasm::InputFile *File) { |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 359 | if (!File) |
| 360 | return "<internal>"; |
| 361 | |
| 362 | if (File->ParentName.empty()) |
| 363 | return File->getName(); |
| 364 | |
| 365 | return (File->ParentName + "(" + File->getName() + ")").str(); |
| 366 | } |