11cf9926bSpatrick //===- MapFile.cpp --------------------------------------------------------===//
21cf9926bSpatrick //
31cf9926bSpatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
41cf9926bSpatrick // See https://llvm.org/LICENSE.txt for license information.
51cf9926bSpatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
61cf9926bSpatrick //
71cf9926bSpatrick //===----------------------------------------------------------------------===//
81cf9926bSpatrick //
91cf9926bSpatrick // This file implements the -Map option. It shows lists in order and
101cf9926bSpatrick // hierarchically the output sections, input sections, input files and
111cf9926bSpatrick // symbol:
121cf9926bSpatrick //
131cf9926bSpatrick // Addr Off Size Out In Symbol
141cf9926bSpatrick // - 00000015 10 .text
151cf9926bSpatrick // - 0000000e 10 test.o:(.text)
161cf9926bSpatrick // - 00000000 5 local
171cf9926bSpatrick // - 00000000 5 f(int)
181cf9926bSpatrick //
191cf9926bSpatrick //===----------------------------------------------------------------------===//
201cf9926bSpatrick
211cf9926bSpatrick #include "MapFile.h"
221cf9926bSpatrick #include "InputElement.h"
231cf9926bSpatrick #include "InputFiles.h"
241cf9926bSpatrick #include "OutputSections.h"
251cf9926bSpatrick #include "OutputSegment.h"
261cf9926bSpatrick #include "SymbolTable.h"
271cf9926bSpatrick #include "Symbols.h"
281cf9926bSpatrick #include "SyntheticSections.h"
291cf9926bSpatrick #include "lld/Common/Strings.h"
301cf9926bSpatrick #include "llvm/ADT/MapVector.h"
311cf9926bSpatrick #include "llvm/Support/Parallel.h"
321cf9926bSpatrick #include "llvm/Support/raw_ostream.h"
331cf9926bSpatrick
341cf9926bSpatrick using namespace llvm;
351cf9926bSpatrick using namespace llvm::object;
361cf9926bSpatrick using namespace lld;
371cf9926bSpatrick using namespace lld::wasm;
381cf9926bSpatrick
391cf9926bSpatrick using SymbolMapTy = DenseMap<const InputChunk *, SmallVector<Symbol *, 4>>;
401cf9926bSpatrick
411cf9926bSpatrick // Print out the first three columns of a line.
writeHeader(raw_ostream & os,int64_t vma,uint64_t lma,uint64_t size)421cf9926bSpatrick static void writeHeader(raw_ostream &os, int64_t vma, uint64_t lma,
431cf9926bSpatrick uint64_t size) {
441cf9926bSpatrick // Not all entries in the map has a virtual memory address (e.g. functions)
451cf9926bSpatrick if (vma == -1)
461cf9926bSpatrick os << format(" - %8llx %8llx ", lma, size);
471cf9926bSpatrick else
481cf9926bSpatrick os << format("%8llx %8llx %8llx ", vma, lma, size);
491cf9926bSpatrick }
501cf9926bSpatrick
511cf9926bSpatrick // Returns a list of all symbols that we want to print out.
getSymbols()521cf9926bSpatrick static std::vector<Symbol *> getSymbols() {
531cf9926bSpatrick std::vector<Symbol *> v;
541cf9926bSpatrick for (InputFile *file : symtab->objectFiles)
551cf9926bSpatrick for (Symbol *b : file->getSymbols())
561cf9926bSpatrick if (auto *dr = dyn_cast<Symbol>(b))
571cf9926bSpatrick if ((!isa<SectionSymbol>(dr)) && dr->isLive() &&
581cf9926bSpatrick (dr->getFile() == file))
591cf9926bSpatrick v.push_back(dr);
601cf9926bSpatrick return v;
611cf9926bSpatrick }
621cf9926bSpatrick
631cf9926bSpatrick // Returns a map from sections to their symbols.
getSectionSyms(ArrayRef<Symbol * > syms)641cf9926bSpatrick static SymbolMapTy getSectionSyms(ArrayRef<Symbol *> syms) {
651cf9926bSpatrick SymbolMapTy ret;
661cf9926bSpatrick for (Symbol *dr : syms)
671cf9926bSpatrick ret[dr->getChunk()].push_back(dr);
681cf9926bSpatrick return ret;
691cf9926bSpatrick }
701cf9926bSpatrick
711cf9926bSpatrick // Construct a map from symbols to their stringified representations.
721cf9926bSpatrick // Demangling symbols (which is what toString() does) is slow, so
731cf9926bSpatrick // we do that in batch using parallel-for.
741cf9926bSpatrick static DenseMap<Symbol *, std::string>
getSymbolStrings(ArrayRef<Symbol * > syms)751cf9926bSpatrick getSymbolStrings(ArrayRef<Symbol *> syms) {
761cf9926bSpatrick std::vector<std::string> str(syms.size());
77*dfe94b16Srobert parallelFor(0, syms.size(), [&](size_t i) {
781cf9926bSpatrick raw_string_ostream os(str[i]);
791cf9926bSpatrick auto *chunk = syms[i]->getChunk();
801cf9926bSpatrick if (chunk == nullptr)
811cf9926bSpatrick return;
821cf9926bSpatrick uint64_t fileOffset = chunk->outputSec != nullptr
831cf9926bSpatrick ? chunk->outputSec->getOffset() + chunk->outSecOff
841cf9926bSpatrick : 0;
851cf9926bSpatrick uint64_t vma = -1;
861cf9926bSpatrick uint64_t size = 0;
871cf9926bSpatrick if (auto *DD = dyn_cast<DefinedData>(syms[i])) {
881cf9926bSpatrick vma = DD->getVA();
891cf9926bSpatrick size = DD->getSize();
901cf9926bSpatrick fileOffset += DD->value;
911cf9926bSpatrick }
921cf9926bSpatrick if (auto *DF = dyn_cast<DefinedFunction>(syms[i])) {
931cf9926bSpatrick size = DF->function->getSize();
941cf9926bSpatrick }
951cf9926bSpatrick writeHeader(os, vma, fileOffset, size);
961cf9926bSpatrick os.indent(16) << toString(*syms[i]);
971cf9926bSpatrick });
981cf9926bSpatrick
991cf9926bSpatrick DenseMap<Symbol *, std::string> ret;
1001cf9926bSpatrick for (size_t i = 0, e = syms.size(); i < e; ++i)
1011cf9926bSpatrick ret[syms[i]] = std::move(str[i]);
1021cf9926bSpatrick return ret;
1031cf9926bSpatrick }
1041cf9926bSpatrick
writeMapFile(ArrayRef<OutputSection * > outputSections)1051cf9926bSpatrick void lld::wasm::writeMapFile(ArrayRef<OutputSection *> outputSections) {
1061cf9926bSpatrick if (config->mapFile.empty())
1071cf9926bSpatrick return;
1081cf9926bSpatrick
1091cf9926bSpatrick // Open a map file for writing.
1101cf9926bSpatrick std::error_code ec;
1111cf9926bSpatrick raw_fd_ostream os(config->mapFile, ec, sys::fs::OF_None);
1121cf9926bSpatrick if (ec) {
1131cf9926bSpatrick error("cannot open " + config->mapFile + ": " + ec.message());
1141cf9926bSpatrick return;
1151cf9926bSpatrick }
1161cf9926bSpatrick
1171cf9926bSpatrick // Collect symbol info that we want to print out.
1181cf9926bSpatrick std::vector<Symbol *> syms = getSymbols();
1191cf9926bSpatrick SymbolMapTy sectionSyms = getSectionSyms(syms);
1201cf9926bSpatrick DenseMap<Symbol *, std::string> symStr = getSymbolStrings(syms);
1211cf9926bSpatrick
1221cf9926bSpatrick // Print out the header line.
1231cf9926bSpatrick os << " Addr Off Size Out In Symbol\n";
1241cf9926bSpatrick
1251cf9926bSpatrick for (OutputSection *osec : outputSections) {
1261cf9926bSpatrick writeHeader(os, -1, osec->getOffset(), osec->getSize());
1271cf9926bSpatrick os << toString(*osec) << '\n';
1281cf9926bSpatrick if (auto *code = dyn_cast<CodeSection>(osec)) {
1291cf9926bSpatrick for (auto *chunk : code->functions) {
1301cf9926bSpatrick writeHeader(os, -1, chunk->outputSec->getOffset() + chunk->outSecOff,
1311cf9926bSpatrick chunk->getSize());
1321cf9926bSpatrick os.indent(8) << toString(chunk) << '\n';
1331cf9926bSpatrick for (Symbol *sym : sectionSyms[chunk])
1341cf9926bSpatrick os << symStr[sym] << '\n';
1351cf9926bSpatrick }
1361cf9926bSpatrick } else if (auto *data = dyn_cast<DataSection>(osec)) {
1371cf9926bSpatrick for (auto *oseg : data->segments) {
1381cf9926bSpatrick writeHeader(os, oseg->startVA, data->getOffset() + oseg->sectionOffset,
1391cf9926bSpatrick oseg->size);
1401cf9926bSpatrick os << oseg->name << '\n';
1411cf9926bSpatrick for (auto *chunk : oseg->inputSegments) {
1421cf9926bSpatrick uint64_t offset =
1431cf9926bSpatrick chunk->outputSec != nullptr
1441cf9926bSpatrick ? chunk->outputSec->getOffset() + chunk->outSecOff
1451cf9926bSpatrick : 0;
1461cf9926bSpatrick writeHeader(os, chunk->getVA(), offset, chunk->getSize());
1471cf9926bSpatrick os.indent(8) << toString(chunk) << '\n';
1481cf9926bSpatrick for (Symbol *sym : sectionSyms[chunk])
1491cf9926bSpatrick os << symStr[sym] << '\n';
1501cf9926bSpatrick }
1511cf9926bSpatrick }
1521cf9926bSpatrick } else if (auto *globals = dyn_cast<GlobalSection>(osec)) {
1531cf9926bSpatrick for (auto *global : globals->inputGlobals) {
1541cf9926bSpatrick writeHeader(os, global->getAssignedIndex(), 0, 0);
1551cf9926bSpatrick os.indent(8) << global->getName() << '\n';
1561cf9926bSpatrick }
1571cf9926bSpatrick }
1581cf9926bSpatrick // TODO: other section/symbol types
1591cf9926bSpatrick }
1601cf9926bSpatrick }
161