xref: /freebsd/contrib/llvm-project/llvm/tools/llvm-readobj/WasmDumper.cpp (revision 5f757f3ff9144b609b3c433dfd370cc6bdc191ad)
10b57cec5SDimitry Andric //===-- WasmDumper.cpp - Wasm-specific object file dumper -----------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file implements the Wasm-specific dumper for llvm-readobj.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "ObjDumper.h"
140b57cec5SDimitry Andric #include "llvm-readobj.h"
150b57cec5SDimitry Andric #include "llvm/Object/Wasm.h"
160b57cec5SDimitry Andric #include "llvm/Support/ScopedPrinter.h"
170b57cec5SDimitry Andric 
180b57cec5SDimitry Andric using namespace llvm;
190b57cec5SDimitry Andric using namespace object;
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric namespace {
220b57cec5SDimitry Andric 
23349cc55cSDimitry Andric const EnumEntry<unsigned> WasmSymbolTypes[] = {
240b57cec5SDimitry Andric #define ENUM_ENTRY(X)                                                          \
250b57cec5SDimitry Andric   { #X, wasm::WASM_SYMBOL_TYPE_##X }
260b57cec5SDimitry Andric     ENUM_ENTRY(FUNCTION), ENUM_ENTRY(DATA), ENUM_ENTRY(GLOBAL),
27fe6060f1SDimitry Andric     ENUM_ENTRY(SECTION),  ENUM_ENTRY(TAG),  ENUM_ENTRY(TABLE),
280b57cec5SDimitry Andric #undef ENUM_ENTRY
290b57cec5SDimitry Andric };
300b57cec5SDimitry Andric 
31349cc55cSDimitry Andric const EnumEntry<uint32_t> WasmSectionTypes[] = {
320b57cec5SDimitry Andric #define ENUM_ENTRY(X)                                                          \
330b57cec5SDimitry Andric   { #X, wasm::WASM_SEC_##X }
340b57cec5SDimitry Andric     ENUM_ENTRY(CUSTOM),   ENUM_ENTRY(TYPE),      ENUM_ENTRY(IMPORT),
350b57cec5SDimitry Andric     ENUM_ENTRY(FUNCTION), ENUM_ENTRY(TABLE),     ENUM_ENTRY(MEMORY),
36fe6060f1SDimitry Andric     ENUM_ENTRY(GLOBAL),   ENUM_ENTRY(TAG),       ENUM_ENTRY(EXPORT),
370b57cec5SDimitry Andric     ENUM_ENTRY(START),    ENUM_ENTRY(ELEM),      ENUM_ENTRY(CODE),
380b57cec5SDimitry Andric     ENUM_ENTRY(DATA),     ENUM_ENTRY(DATACOUNT),
390b57cec5SDimitry Andric #undef ENUM_ENTRY
400b57cec5SDimitry Andric };
410b57cec5SDimitry Andric 
42349cc55cSDimitry Andric const EnumEntry<unsigned> WasmSymbolFlags[] = {
430b57cec5SDimitry Andric #define ENUM_ENTRY(X)                                                          \
440b57cec5SDimitry Andric   { #X, wasm::WASM_SYMBOL_##X }
450b57cec5SDimitry Andric   ENUM_ENTRY(BINDING_GLOBAL),
460b57cec5SDimitry Andric   ENUM_ENTRY(BINDING_WEAK),
470b57cec5SDimitry Andric   ENUM_ENTRY(BINDING_LOCAL),
480b57cec5SDimitry Andric   ENUM_ENTRY(VISIBILITY_DEFAULT),
490b57cec5SDimitry Andric   ENUM_ENTRY(VISIBILITY_HIDDEN),
500b57cec5SDimitry Andric   ENUM_ENTRY(UNDEFINED),
510b57cec5SDimitry Andric   ENUM_ENTRY(EXPORTED),
520b57cec5SDimitry Andric   ENUM_ENTRY(EXPLICIT_NAME),
538bcb0991SDimitry Andric   ENUM_ENTRY(NO_STRIP),
540b57cec5SDimitry Andric #undef ENUM_ENTRY
550b57cec5SDimitry Andric };
560b57cec5SDimitry Andric 
570b57cec5SDimitry Andric class WasmDumper : public ObjDumper {
580b57cec5SDimitry Andric public:
590b57cec5SDimitry Andric   WasmDumper(const WasmObjectFile *Obj, ScopedPrinter &Writer)
60e8d8bef9SDimitry Andric       : ObjDumper(Writer, Obj->getFileName()), Obj(Obj) {}
610b57cec5SDimitry Andric 
620b57cec5SDimitry Andric   void printFileHeaders() override;
630b57cec5SDimitry Andric   void printSectionHeaders() override;
640b57cec5SDimitry Andric   void printRelocations() override;
650b57cec5SDimitry Andric   void printUnwindInfo() override { llvm_unreachable("unimplemented"); }
660b57cec5SDimitry Andric   void printStackMap() const override { llvm_unreachable("unimplemented"); }
670b57cec5SDimitry Andric 
680b57cec5SDimitry Andric protected:
690b57cec5SDimitry Andric   void printSymbol(const SymbolRef &Sym);
700b57cec5SDimitry Andric   void printRelocation(const SectionRef &Section, const RelocationRef &Reloc);
710b57cec5SDimitry Andric 
720b57cec5SDimitry Andric private:
73*5f757f3fSDimitry Andric   void printSymbols(bool ExtraSymInfo) override;
740b57cec5SDimitry Andric   void printDynamicSymbols() override { llvm_unreachable("unimplemented"); }
750b57cec5SDimitry Andric 
760b57cec5SDimitry Andric   const WasmObjectFile *Obj;
770b57cec5SDimitry Andric };
780b57cec5SDimitry Andric 
790b57cec5SDimitry Andric void WasmDumper::printFileHeaders() {
800b57cec5SDimitry Andric   W.printHex("Version", Obj->getHeader().Version);
810b57cec5SDimitry Andric }
820b57cec5SDimitry Andric 
830b57cec5SDimitry Andric void WasmDumper::printRelocation(const SectionRef &Section,
840b57cec5SDimitry Andric                                  const RelocationRef &Reloc) {
850b57cec5SDimitry Andric   SmallString<64> RelocTypeName;
860b57cec5SDimitry Andric   uint64_t RelocType = Reloc.getType();
870b57cec5SDimitry Andric   Reloc.getTypeName(RelocTypeName);
880b57cec5SDimitry Andric   const wasm::WasmRelocation &WasmReloc = Obj->getWasmRelocation(Reloc);
890b57cec5SDimitry Andric 
900b57cec5SDimitry Andric   StringRef SymName;
910b57cec5SDimitry Andric   symbol_iterator SI = Reloc.getSymbol();
920b57cec5SDimitry Andric   if (SI != Obj->symbol_end())
938bcb0991SDimitry Andric     SymName = unwrapOrError(Obj->getFileName(), SI->getName());
940b57cec5SDimitry Andric 
955ffd83dbSDimitry Andric   bool HasAddend = wasm::relocTypeHasAddend(static_cast<uint32_t>(RelocType));
965ffd83dbSDimitry Andric 
970b57cec5SDimitry Andric   if (opts::ExpandRelocs) {
980b57cec5SDimitry Andric     DictScope Group(W, "Relocation");
990b57cec5SDimitry Andric     W.printNumber("Type", RelocTypeName, RelocType);
1000b57cec5SDimitry Andric     W.printHex("Offset", Reloc.getOffset());
1010b57cec5SDimitry Andric     if (!SymName.empty())
1020b57cec5SDimitry Andric       W.printString("Symbol", SymName);
1030b57cec5SDimitry Andric     else
1040b57cec5SDimitry Andric       W.printHex("Index", WasmReloc.Index);
1050b57cec5SDimitry Andric     if (HasAddend)
1060b57cec5SDimitry Andric       W.printNumber("Addend", WasmReloc.Addend);
1070b57cec5SDimitry Andric   } else {
1080b57cec5SDimitry Andric     raw_ostream &OS = W.startLine();
1090b57cec5SDimitry Andric     OS << W.hex(Reloc.getOffset()) << " " << RelocTypeName << " ";
1100b57cec5SDimitry Andric     if (!SymName.empty())
1110b57cec5SDimitry Andric       OS << SymName;
1120b57cec5SDimitry Andric     else
1130b57cec5SDimitry Andric       OS << WasmReloc.Index;
1140b57cec5SDimitry Andric     if (HasAddend)
1150b57cec5SDimitry Andric       OS << " " << WasmReloc.Addend;
1160b57cec5SDimitry Andric     OS << "\n";
1170b57cec5SDimitry Andric   }
1180b57cec5SDimitry Andric }
1190b57cec5SDimitry Andric 
1200b57cec5SDimitry Andric void WasmDumper::printRelocations() {
1210b57cec5SDimitry Andric   ListScope D(W, "Relocations");
1220b57cec5SDimitry Andric 
1230b57cec5SDimitry Andric   int SectionNumber = 0;
1240b57cec5SDimitry Andric   for (const SectionRef &Section : Obj->sections()) {
1250b57cec5SDimitry Andric     bool PrintedGroup = false;
1268bcb0991SDimitry Andric     StringRef Name = unwrapOrError(Obj->getFileName(), Section.getName());
1278bcb0991SDimitry Andric 
1280b57cec5SDimitry Andric     ++SectionNumber;
1290b57cec5SDimitry Andric 
1300b57cec5SDimitry Andric     for (const RelocationRef &Reloc : Section.relocations()) {
1310b57cec5SDimitry Andric       if (!PrintedGroup) {
1320b57cec5SDimitry Andric         W.startLine() << "Section (" << SectionNumber << ") " << Name << " {\n";
1330b57cec5SDimitry Andric         W.indent();
1340b57cec5SDimitry Andric         PrintedGroup = true;
1350b57cec5SDimitry Andric       }
1360b57cec5SDimitry Andric 
1370b57cec5SDimitry Andric       printRelocation(Section, Reloc);
1380b57cec5SDimitry Andric     }
1390b57cec5SDimitry Andric 
1400b57cec5SDimitry Andric     if (PrintedGroup) {
1410b57cec5SDimitry Andric       W.unindent();
1420b57cec5SDimitry Andric       W.startLine() << "}\n";
1430b57cec5SDimitry Andric     }
1440b57cec5SDimitry Andric   }
1450b57cec5SDimitry Andric }
1460b57cec5SDimitry Andric 
147*5f757f3fSDimitry Andric void WasmDumper::printSymbols(bool /*ExtraSymInfo*/) {
1480b57cec5SDimitry Andric   ListScope Group(W, "Symbols");
1490b57cec5SDimitry Andric 
1500b57cec5SDimitry Andric   for (const SymbolRef &Symbol : Obj->symbols())
1510b57cec5SDimitry Andric     printSymbol(Symbol);
1520b57cec5SDimitry Andric }
1530b57cec5SDimitry Andric 
1540b57cec5SDimitry Andric void WasmDumper::printSectionHeaders() {
1550b57cec5SDimitry Andric   ListScope Group(W, "Sections");
1560b57cec5SDimitry Andric   for (const SectionRef &Section : Obj->sections()) {
1570b57cec5SDimitry Andric     const WasmSection &WasmSec = Obj->getWasmSection(Section);
1580b57cec5SDimitry Andric     DictScope SectionD(W, "Section");
159bdd1243dSDimitry Andric     W.printEnum("Type", WasmSec.Type, ArrayRef(WasmSectionTypes));
1600b57cec5SDimitry Andric     W.printNumber("Size", static_cast<uint64_t>(WasmSec.Content.size()));
1610b57cec5SDimitry Andric     W.printNumber("Offset", WasmSec.Offset);
1620b57cec5SDimitry Andric     switch (WasmSec.Type) {
1630b57cec5SDimitry Andric     case wasm::WASM_SEC_CUSTOM:
1640b57cec5SDimitry Andric       W.printString("Name", WasmSec.Name);
1650b57cec5SDimitry Andric       if (WasmSec.Name == "linking") {
1660b57cec5SDimitry Andric         const wasm::WasmLinkingData &LinkingData = Obj->linkingData();
1670b57cec5SDimitry Andric         if (!LinkingData.InitFunctions.empty()) {
1680b57cec5SDimitry Andric           ListScope Group(W, "InitFunctions");
1690b57cec5SDimitry Andric           for (const wasm::WasmInitFunc &F : LinkingData.InitFunctions)
1700b57cec5SDimitry Andric             W.startLine() << F.Symbol << " (priority=" << F.Priority << ")\n";
1710b57cec5SDimitry Andric         }
1720b57cec5SDimitry Andric       }
1730b57cec5SDimitry Andric       break;
1740b57cec5SDimitry Andric     case wasm::WASM_SEC_DATA: {
1750b57cec5SDimitry Andric       ListScope Group(W, "Segments");
1760b57cec5SDimitry Andric       for (const WasmSegment &Segment : Obj->dataSegments()) {
1770b57cec5SDimitry Andric         const wasm::WasmDataSegment &Seg = Segment.Data;
1780b57cec5SDimitry Andric         DictScope Group(W, "Segment");
1790b57cec5SDimitry Andric         if (!Seg.Name.empty())
1800b57cec5SDimitry Andric           W.printString("Name", Seg.Name);
1810b57cec5SDimitry Andric         W.printNumber("Size", static_cast<uint64_t>(Seg.Content.size()));
18281ad6265SDimitry Andric         if (Seg.Offset.Extended)
18381ad6265SDimitry Andric           llvm_unreachable("extended const exprs not supported");
18481ad6265SDimitry Andric         else if (Seg.Offset.Inst.Opcode == wasm::WASM_OPCODE_I32_CONST)
18581ad6265SDimitry Andric           W.printNumber("Offset", Seg.Offset.Inst.Value.Int32);
18681ad6265SDimitry Andric         else if (Seg.Offset.Inst.Opcode == wasm::WASM_OPCODE_I64_CONST)
18781ad6265SDimitry Andric           W.printNumber("Offset", Seg.Offset.Inst.Value.Int64);
18881ad6265SDimitry Andric         else if (Seg.Offset.Inst.Opcode == wasm::WASM_OPCODE_GLOBAL_GET) {
1891fd87a68SDimitry Andric           ListScope Group(W, "Offset");
19081ad6265SDimitry Andric           W.printNumber("Global", Seg.Offset.Inst.Value.Global);
1911fd87a68SDimitry Andric         } else
1925ffd83dbSDimitry Andric           llvm_unreachable("unknown init expr opcode");
1930b57cec5SDimitry Andric       }
1940b57cec5SDimitry Andric       break;
1950b57cec5SDimitry Andric     }
1960b57cec5SDimitry Andric     case wasm::WASM_SEC_MEMORY:
1970b57cec5SDimitry Andric       ListScope Group(W, "Memories");
1980b57cec5SDimitry Andric       for (const wasm::WasmLimits &Memory : Obj->memories()) {
1990b57cec5SDimitry Andric         DictScope Group(W, "Memory");
200fe6060f1SDimitry Andric         W.printNumber("MinPages", Memory.Minimum);
2010b57cec5SDimitry Andric         if (Memory.Flags & wasm::WASM_LIMITS_FLAG_HAS_MAX) {
2020b57cec5SDimitry Andric           W.printNumber("MaxPages", WasmSec.Offset);
2030b57cec5SDimitry Andric         }
2040b57cec5SDimitry Andric       }
2050b57cec5SDimitry Andric       break;
2060b57cec5SDimitry Andric     }
2070b57cec5SDimitry Andric 
2080b57cec5SDimitry Andric     if (opts::SectionRelocations) {
2090b57cec5SDimitry Andric       ListScope D(W, "Relocations");
2100b57cec5SDimitry Andric       for (const RelocationRef &Reloc : Section.relocations())
2110b57cec5SDimitry Andric         printRelocation(Section, Reloc);
2120b57cec5SDimitry Andric     }
2130b57cec5SDimitry Andric 
2140b57cec5SDimitry Andric     if (opts::SectionData) {
2150b57cec5SDimitry Andric       W.printBinaryBlock("SectionData", WasmSec.Content);
2160b57cec5SDimitry Andric     }
2170b57cec5SDimitry Andric   }
2180b57cec5SDimitry Andric }
2190b57cec5SDimitry Andric 
2200b57cec5SDimitry Andric void WasmDumper::printSymbol(const SymbolRef &Sym) {
2210b57cec5SDimitry Andric   DictScope D(W, "Symbol");
2220b57cec5SDimitry Andric   WasmSymbol Symbol = Obj->getWasmSymbol(Sym.getRawDataRefImpl());
2230b57cec5SDimitry Andric   W.printString("Name", Symbol.Info.Name);
224bdd1243dSDimitry Andric   W.printEnum("Type", Symbol.Info.Kind, ArrayRef(WasmSymbolTypes));
225bdd1243dSDimitry Andric   W.printFlags("Flags", Symbol.Info.Flags, ArrayRef(WasmSymbolFlags));
2260b57cec5SDimitry Andric 
2270b57cec5SDimitry Andric   if (Symbol.Info.Flags & wasm::WASM_SYMBOL_UNDEFINED) {
2285ffd83dbSDimitry Andric     if (Symbol.Info.ImportName) {
2295ffd83dbSDimitry Andric       W.printString("ImportName", *Symbol.Info.ImportName);
2305ffd83dbSDimitry Andric     }
2315ffd83dbSDimitry Andric     if (Symbol.Info.ImportModule) {
2325ffd83dbSDimitry Andric       W.printString("ImportModule", *Symbol.Info.ImportModule);
2335ffd83dbSDimitry Andric     }
2340b57cec5SDimitry Andric   }
2350b57cec5SDimitry Andric   if (Symbol.Info.Kind != wasm::WASM_SYMBOL_TYPE_DATA) {
2360b57cec5SDimitry Andric     W.printHex("ElementIndex", Symbol.Info.ElementIndex);
2370b57cec5SDimitry Andric   } else if (!(Symbol.Info.Flags & wasm::WASM_SYMBOL_UNDEFINED)) {
2380b57cec5SDimitry Andric     W.printHex("Offset", Symbol.Info.DataRef.Offset);
2390b57cec5SDimitry Andric     W.printHex("Segment", Symbol.Info.DataRef.Segment);
2400b57cec5SDimitry Andric     W.printHex("Size", Symbol.Info.DataRef.Size);
2410b57cec5SDimitry Andric   }
2420b57cec5SDimitry Andric }
2430b57cec5SDimitry Andric 
2440b57cec5SDimitry Andric } // namespace
2450b57cec5SDimitry Andric 
2460b57cec5SDimitry Andric namespace llvm {
2470b57cec5SDimitry Andric 
248e8d8bef9SDimitry Andric std::unique_ptr<ObjDumper> createWasmDumper(const object::WasmObjectFile &Obj,
249e8d8bef9SDimitry Andric                                             ScopedPrinter &Writer) {
250e8d8bef9SDimitry Andric   return std::make_unique<WasmDumper>(&Obj, Writer);
2510b57cec5SDimitry Andric }
2520b57cec5SDimitry Andric 
2530b57cec5SDimitry Andric } // namespace llvm
254