1 //===- MapFile.cpp --------------------------------------------------------===// 2 // 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 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // This file implements the -map option. It shows lists in order and 10 // hierarchically the outputFile, arch, input files, output sections and 11 // symbol: 12 // 13 // # Path: test 14 // # Arch: x86_84 15 // # Object files: 16 // [ 0] linker synthesized 17 // [ 1] a.o 18 // # Sections: 19 // # Address Size Segment Section 20 // 0x1000005C0 0x0000004C __TEXT __text 21 // # Symbols: 22 // # Address File Name 23 // 0x1000005C0 [ 1] _main 24 // 25 //===----------------------------------------------------------------------===// 26 27 #include "MapFile.h" 28 #include "Config.h" 29 #include "InputFiles.h" 30 #include "InputSection.h" 31 #include "OutputSection.h" 32 #include "OutputSegment.h" 33 #include "Symbols.h" 34 #include "Target.h" 35 #include "llvm/Support/Parallel.h" 36 #include "llvm/Support/TimeProfiler.h" 37 38 using namespace llvm; 39 using namespace llvm::sys; 40 using namespace lld; 41 using namespace lld::macho; 42 43 using SymbolMapTy = DenseMap<const InputSection *, SmallVector<Defined *, 4>>; 44 45 // Returns a map from sections to their symbols. 46 static SymbolMapTy getSectionSyms(ArrayRef<Defined *> syms) { 47 SymbolMapTy ret; 48 for (Defined *dr : syms) 49 ret[dr->isec].push_back(dr); 50 51 // Sort symbols by address. We want to print out symbols in the 52 // order in the output file rather than the order they appeared 53 // in the input files. 54 for (auto &it : ret) 55 llvm::stable_sort(it.second, [](Defined *a, Defined *b) { 56 return a->getVA() < b->getVA(); 57 }); 58 return ret; 59 } 60 61 // Returns a list of all symbols that we want to print out. 62 static std::vector<Defined *> getSymbols() { 63 std::vector<Defined *> v; 64 for (InputFile *file : inputFiles) 65 if (isa<ObjFile>(file)) 66 for (Symbol *sym : file->symbols) { 67 if (sym == nullptr) 68 continue; 69 if (auto *d = dyn_cast<Defined>(sym)) 70 if (d->isec && d->getFile() == file) { 71 assert(!d->isec->shouldOmitFromOutput() && 72 "file->symbols should store resolved symbols"); 73 v.push_back(d); 74 } 75 } 76 return v; 77 } 78 79 // Construct a map from symbols to their stringified representations. 80 // Demangling symbols (which is what toString() does) is slow, so 81 // we do that in batch using parallel-for. 82 static DenseMap<Symbol *, std::string> 83 getSymbolStrings(ArrayRef<Defined *> syms) { 84 std::vector<std::string> str(syms.size()); 85 parallelForEachN(0, syms.size(), [&](size_t i) { 86 raw_string_ostream os(str[i]); 87 os << toString(*syms[i]); 88 }); 89 90 DenseMap<Symbol *, std::string> ret; 91 for (size_t i = 0, e = syms.size(); i < e; ++i) 92 ret[syms[i]] = std::move(str[i]); 93 return ret; 94 } 95 96 void macho::writeMapFile() { 97 if (config->mapFile.empty()) 98 return; 99 100 TimeTraceScope timeScope("Write map file"); 101 102 // Open a map file for writing. 103 std::error_code ec; 104 raw_fd_ostream os(config->mapFile, ec, sys::fs::OF_None); 105 if (ec) { 106 error("cannot open " + config->mapFile + ": " + ec.message()); 107 return; 108 } 109 110 // Dump output path. 111 os << format("# Path: %s\n", config->outputFile.str().c_str()); 112 113 // Dump output architecture. 114 os << format("# Arch: %s\n", 115 getArchitectureName(config->arch()).str().c_str()); 116 117 // Dump table of object files. 118 os << "# Object files:\n"; 119 os << format("[%3u] %s\n", 0, (const char *)"linker synthesized"); 120 uint32_t fileIndex = 1; 121 DenseMap<lld::macho::InputFile *, uint32_t> readerToFileOrdinal; 122 for (InputFile *file : inputFiles) { 123 if (isa<ObjFile>(file)) { 124 os << format("[%3u] %s\n", fileIndex, file->getName().str().c_str()); 125 readerToFileOrdinal[file] = fileIndex++; 126 } 127 } 128 129 // Collect symbol info that we want to print out. 130 std::vector<Defined *> syms = getSymbols(); 131 SymbolMapTy sectionSyms = getSectionSyms(syms); 132 DenseMap<Symbol *, std::string> symStr = getSymbolStrings(syms); 133 134 // Dump table of sections 135 os << "# Sections:\n"; 136 os << "# Address\tSize \tSegment\tSection\n"; 137 for (OutputSegment *seg : outputSegments) 138 for (OutputSection *osec : seg->getSections()) { 139 if (osec->isHidden()) 140 continue; 141 142 os << format("0x%08llX\t0x%08llX\t%s\t%s\n", osec->addr, osec->getSize(), 143 seg->name.str().c_str(), osec->name.str().c_str()); 144 } 145 146 // Dump table of symbols 147 os << "# Symbols:\n"; 148 os << "# Address\t File Name\n"; 149 for (InputSection *isec : inputSections) { 150 auto symsIt = sectionSyms.find(isec); 151 assert(!isec->shouldOmitFromOutput() || (symsIt == sectionSyms.end())); 152 if (symsIt == sectionSyms.end()) 153 continue; 154 for (Symbol *sym : symsIt->second) { 155 os << format("0x%08llX\t[%3u] %s\n", sym->getVA(), 156 readerToFileOrdinal[sym->getFile()], symStr[sym].c_str()); 157 } 158 } 159 160 // TODO: when we implement -dead_strip, we should dump dead stripped symbols 161 } 162