118eafb6cSDan Gohman //===- lib/MC/WasmObjectWriter.cpp - Wasm File Writer ---------------------===// 218eafb6cSDan Gohman // 318eafb6cSDan Gohman // The LLVM Compiler Infrastructure 418eafb6cSDan Gohman // 518eafb6cSDan Gohman // This file is distributed under the University of Illinois Open Source 618eafb6cSDan Gohman // License. See LICENSE.TXT for details. 718eafb6cSDan Gohman // 818eafb6cSDan Gohman //===----------------------------------------------------------------------===// 918eafb6cSDan Gohman // 1018eafb6cSDan Gohman // This file implements Wasm object file writer information. 1118eafb6cSDan Gohman // 1218eafb6cSDan Gohman //===----------------------------------------------------------------------===// 1318eafb6cSDan Gohman 1418eafb6cSDan Gohman #include "llvm/ADT/STLExtras.h" 1518eafb6cSDan Gohman #include "llvm/ADT/SmallPtrSet.h" 16264b5d9eSZachary Turner #include "llvm/BinaryFormat/Wasm.h" 1718eafb6cSDan Gohman #include "llvm/MC/MCAsmBackend.h" 1818eafb6cSDan Gohman #include "llvm/MC/MCAsmInfo.h" 1918eafb6cSDan Gohman #include "llvm/MC/MCAsmLayout.h" 2018eafb6cSDan Gohman #include "llvm/MC/MCAssembler.h" 2118eafb6cSDan Gohman #include "llvm/MC/MCContext.h" 2218eafb6cSDan Gohman #include "llvm/MC/MCExpr.h" 2318eafb6cSDan Gohman #include "llvm/MC/MCFixupKindInfo.h" 2418eafb6cSDan Gohman #include "llvm/MC/MCObjectFileInfo.h" 2518eafb6cSDan Gohman #include "llvm/MC/MCObjectWriter.h" 2618eafb6cSDan Gohman #include "llvm/MC/MCSectionWasm.h" 2718eafb6cSDan Gohman #include "llvm/MC/MCSymbolWasm.h" 2818eafb6cSDan Gohman #include "llvm/MC/MCValue.h" 2918eafb6cSDan Gohman #include "llvm/MC/MCWasmObjectWriter.h" 30d934cb88SDan Gohman #include "llvm/Support/Casting.h" 3118eafb6cSDan Gohman #include "llvm/Support/Debug.h" 3218eafb6cSDan Gohman #include "llvm/Support/ErrorHandling.h" 33d934cb88SDan Gohman #include "llvm/Support/LEB128.h" 3418eafb6cSDan Gohman #include "llvm/Support/StringSaver.h" 3518eafb6cSDan Gohman #include <vector> 3618eafb6cSDan Gohman 3718eafb6cSDan Gohman using namespace llvm; 3818eafb6cSDan Gohman 3918eafb6cSDan Gohman #undef DEBUG_TYPE 4018eafb6cSDan Gohman #define DEBUG_TYPE "reloc-info" 4118eafb6cSDan Gohman 4218eafb6cSDan Gohman namespace { 439e15f359SSam Clegg 44d934cb88SDan Gohman // For patching purposes, we need to remember where each section starts, both 45d934cb88SDan Gohman // for patching up the section size field, and for patching up references to 46d934cb88SDan Gohman // locations within the section. 47d934cb88SDan Gohman struct SectionBookkeeping { 48d934cb88SDan Gohman // Where the size of the section is written. 49d934cb88SDan Gohman uint64_t SizeOffset; 50d934cb88SDan Gohman // Where the contents of the section starts (after the header). 51d934cb88SDan Gohman uint64_t ContentsOffset; 52d934cb88SDan Gohman }; 53d934cb88SDan Gohman 549e15f359SSam Clegg // The signature of a wasm function, in a struct capable of being used as a 559e15f359SSam Clegg // DenseMap key. 569e15f359SSam Clegg struct WasmFunctionType { 579e15f359SSam Clegg // Support empty and tombstone instances, needed by DenseMap. 589e15f359SSam Clegg enum { Plain, Empty, Tombstone } State; 599e15f359SSam Clegg 609e15f359SSam Clegg // The return types of the function. 619e15f359SSam Clegg SmallVector<wasm::ValType, 1> Returns; 629e15f359SSam Clegg 639e15f359SSam Clegg // The parameter types of the function. 649e15f359SSam Clegg SmallVector<wasm::ValType, 4> Params; 659e15f359SSam Clegg 669e15f359SSam Clegg WasmFunctionType() : State(Plain) {} 679e15f359SSam Clegg 689e15f359SSam Clegg bool operator==(const WasmFunctionType &Other) const { 699e15f359SSam Clegg return State == Other.State && Returns == Other.Returns && 709e15f359SSam Clegg Params == Other.Params; 719e15f359SSam Clegg } 729e15f359SSam Clegg }; 739e15f359SSam Clegg 749e15f359SSam Clegg // Traits for using WasmFunctionType in a DenseMap. 759e15f359SSam Clegg struct WasmFunctionTypeDenseMapInfo { 769e15f359SSam Clegg static WasmFunctionType getEmptyKey() { 779e15f359SSam Clegg WasmFunctionType FuncTy; 789e15f359SSam Clegg FuncTy.State = WasmFunctionType::Empty; 799e15f359SSam Clegg return FuncTy; 809e15f359SSam Clegg } 819e15f359SSam Clegg static WasmFunctionType getTombstoneKey() { 829e15f359SSam Clegg WasmFunctionType FuncTy; 839e15f359SSam Clegg FuncTy.State = WasmFunctionType::Tombstone; 849e15f359SSam Clegg return FuncTy; 859e15f359SSam Clegg } 869e15f359SSam Clegg static unsigned getHashValue(const WasmFunctionType &FuncTy) { 879e15f359SSam Clegg uintptr_t Value = FuncTy.State; 889e15f359SSam Clegg for (wasm::ValType Ret : FuncTy.Returns) 899e15f359SSam Clegg Value += DenseMapInfo<int32_t>::getHashValue(int32_t(Ret)); 909e15f359SSam Clegg for (wasm::ValType Param : FuncTy.Params) 919e15f359SSam Clegg Value += DenseMapInfo<int32_t>::getHashValue(int32_t(Param)); 929e15f359SSam Clegg return Value; 939e15f359SSam Clegg } 949e15f359SSam Clegg static bool isEqual(const WasmFunctionType &LHS, 959e15f359SSam Clegg const WasmFunctionType &RHS) { 969e15f359SSam Clegg return LHS == RHS; 979e15f359SSam Clegg } 989e15f359SSam Clegg }; 999e15f359SSam Clegg 1009e15f359SSam Clegg // A wasm import to be written into the import section. 1019e15f359SSam Clegg struct WasmImport { 1029e15f359SSam Clegg StringRef ModuleName; 1039e15f359SSam Clegg StringRef FieldName; 1049e15f359SSam Clegg unsigned Kind; 1059e15f359SSam Clegg int32_t Type; 1069e15f359SSam Clegg }; 1079e15f359SSam Clegg 1089e15f359SSam Clegg // A wasm function to be written into the function section. 1099e15f359SSam Clegg struct WasmFunction { 1109e15f359SSam Clegg int32_t Type; 1119e15f359SSam Clegg const MCSymbolWasm *Sym; 1129e15f359SSam Clegg }; 1139e15f359SSam Clegg 1149e15f359SSam Clegg // A wasm export to be written into the export section. 1159e15f359SSam Clegg struct WasmExport { 1169e15f359SSam Clegg StringRef FieldName; 1179e15f359SSam Clegg unsigned Kind; 1189e15f359SSam Clegg uint32_t Index; 1199e15f359SSam Clegg }; 1209e15f359SSam Clegg 1219e15f359SSam Clegg // A wasm global to be written into the global section. 1229e15f359SSam Clegg struct WasmGlobal { 1239e15f359SSam Clegg wasm::ValType Type; 1249e15f359SSam Clegg bool IsMutable; 1259e15f359SSam Clegg bool HasImport; 1269e15f359SSam Clegg uint64_t InitialValue; 1279e15f359SSam Clegg uint32_t ImportIndex; 1289e15f359SSam Clegg }; 1299e15f359SSam Clegg 1306dc65e91SSam Clegg // Information about a single relocation. 1316dc65e91SSam Clegg struct WasmRelocationEntry { 1326dc65e91SSam Clegg uint64_t Offset; // Where is the relocation. 1336dc65e91SSam Clegg const MCSymbolWasm *Symbol; // The symbol to relocate with. 1346dc65e91SSam Clegg int64_t Addend; // A value to add to the symbol. 1356dc65e91SSam Clegg unsigned Type; // The type of the relocation. 1366dc65e91SSam Clegg MCSectionWasm *FixupSection;// The section the relocation is targeting. 1376dc65e91SSam Clegg 1386dc65e91SSam Clegg WasmRelocationEntry(uint64_t Offset, const MCSymbolWasm *Symbol, 1396dc65e91SSam Clegg int64_t Addend, unsigned Type, 1406dc65e91SSam Clegg MCSectionWasm *FixupSection) 1416dc65e91SSam Clegg : Offset(Offset), Symbol(Symbol), Addend(Addend), Type(Type), 1426dc65e91SSam Clegg FixupSection(FixupSection) {} 1436dc65e91SSam Clegg 144acd7d2b0SSam Clegg bool hasAddend() const { 145acd7d2b0SSam Clegg switch (Type) { 146acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_LEB: 147acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_SLEB: 148acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_I32: 149acd7d2b0SSam Clegg return true; 150acd7d2b0SSam Clegg default: 151acd7d2b0SSam Clegg return false; 152acd7d2b0SSam Clegg } 153acd7d2b0SSam Clegg } 154acd7d2b0SSam Clegg 1556dc65e91SSam Clegg void print(raw_ostream &Out) const { 1566dc65e91SSam Clegg Out << "Off=" << Offset << ", Sym=" << Symbol << ", Addend=" << Addend 1576dc65e91SSam Clegg << ", Type=" << Type << ", FixupSection=" << FixupSection; 1586dc65e91SSam Clegg } 1596dc65e91SSam Clegg void dump() const { print(errs()); } 1606dc65e91SSam Clegg }; 1616dc65e91SSam Clegg 16218eafb6cSDan Gohman class WasmObjectWriter : public MCObjectWriter { 16318eafb6cSDan Gohman /// Helper struct for containing some precomputed information on symbols. 16418eafb6cSDan Gohman struct WasmSymbolData { 16518eafb6cSDan Gohman const MCSymbolWasm *Symbol; 16618eafb6cSDan Gohman StringRef Name; 16718eafb6cSDan Gohman 16818eafb6cSDan Gohman // Support lexicographic sorting. 16918eafb6cSDan Gohman bool operator<(const WasmSymbolData &RHS) const { return Name < RHS.Name; } 17018eafb6cSDan Gohman }; 17118eafb6cSDan Gohman 17218eafb6cSDan Gohman /// The target specific Wasm writer instance. 17318eafb6cSDan Gohman std::unique_ptr<MCWasmObjectTargetWriter> TargetObjectWriter; 17418eafb6cSDan Gohman 175d934cb88SDan Gohman // Relocations for fixing up references in the code section. 176d934cb88SDan Gohman std::vector<WasmRelocationEntry> CodeRelocations; 177d934cb88SDan Gohman 178d934cb88SDan Gohman // Relocations for fixing up references in the data section. 179d934cb88SDan Gohman std::vector<WasmRelocationEntry> DataRelocations; 180d934cb88SDan Gohman 181d934cb88SDan Gohman // Index values to use for fixing up call_indirect type indices. 182acd7d2b0SSam Clegg // Maps function symbols to the index of the type of the function 183acd7d2b0SSam Clegg DenseMap<const MCSymbolWasm *, uint32_t> TypeIndices; 184*d99f6078SSam Clegg // Maps function symbols to the table element index space. Used 185*d99f6078SSam Clegg // for TABLE_INDEX relocation types (i.e. address taken functions). 186*d99f6078SSam Clegg DenseMap<const MCSymbolWasm *, uint32_t> IndirectSymbolIndices; 187*d99f6078SSam Clegg // Maps function/global symbols to the function/global index space. 188acd7d2b0SSam Clegg DenseMap<const MCSymbolWasm *, uint32_t> SymbolIndices; 189acd7d2b0SSam Clegg 190acd7d2b0SSam Clegg DenseMap<WasmFunctionType, int32_t, WasmFunctionTypeDenseMapInfo> 191acd7d2b0SSam Clegg FunctionTypeIndices; 192d934cb88SDan Gohman 19318eafb6cSDan Gohman // TargetObjectWriter wrappers. 19418eafb6cSDan Gohman bool is64Bit() const { return TargetObjectWriter->is64Bit(); } 19518eafb6cSDan Gohman unsigned getRelocType(MCContext &Ctx, const MCValue &Target, 19618eafb6cSDan Gohman const MCFixup &Fixup, bool IsPCRel) const { 19718eafb6cSDan Gohman return TargetObjectWriter->getRelocType(Ctx, Target, Fixup, IsPCRel); 19818eafb6cSDan Gohman } 19918eafb6cSDan Gohman 200d934cb88SDan Gohman void startSection(SectionBookkeeping &Section, unsigned SectionId, 201d934cb88SDan Gohman const char *Name = nullptr); 202d934cb88SDan Gohman void endSection(SectionBookkeeping &Section); 203d934cb88SDan Gohman 20418eafb6cSDan Gohman public: 20518eafb6cSDan Gohman WasmObjectWriter(MCWasmObjectTargetWriter *MOTW, raw_pwrite_stream &OS) 20618eafb6cSDan Gohman : MCObjectWriter(OS, /*IsLittleEndian=*/true), TargetObjectWriter(MOTW) {} 20718eafb6cSDan Gohman 208d934cb88SDan Gohman private: 20918eafb6cSDan Gohman ~WasmObjectWriter() override; 21018eafb6cSDan Gohman 211acd7d2b0SSam Clegg void reset() override { 212acd7d2b0SSam Clegg CodeRelocations.clear(); 213acd7d2b0SSam Clegg DataRelocations.clear(); 214acd7d2b0SSam Clegg TypeIndices.clear(); 215acd7d2b0SSam Clegg SymbolIndices.clear(); 216*d99f6078SSam Clegg IndirectSymbolIndices.clear(); 217acd7d2b0SSam Clegg FunctionTypeIndices.clear(); 218acd7d2b0SSam Clegg MCObjectWriter::reset(); 219acd7d2b0SSam Clegg } 220acd7d2b0SSam Clegg 22118eafb6cSDan Gohman void writeHeader(const MCAssembler &Asm); 22218eafb6cSDan Gohman 22318eafb6cSDan Gohman void recordRelocation(MCAssembler &Asm, const MCAsmLayout &Layout, 22418eafb6cSDan Gohman const MCFragment *Fragment, const MCFixup &Fixup, 22518eafb6cSDan Gohman MCValue Target, bool &IsPCRel, 22618eafb6cSDan Gohman uint64_t &FixedValue) override; 22718eafb6cSDan Gohman 22818eafb6cSDan Gohman void executePostLayoutBinding(MCAssembler &Asm, 22918eafb6cSDan Gohman const MCAsmLayout &Layout) override; 23018eafb6cSDan Gohman 23118eafb6cSDan Gohman void writeObject(MCAssembler &Asm, const MCAsmLayout &Layout) override; 2329e15f359SSam Clegg 2339e15f359SSam Clegg void writeValueType(wasm::ValType Ty) { 2349e15f359SSam Clegg encodeSLEB128(int32_t(Ty), getStream()); 2359e15f359SSam Clegg } 2369e15f359SSam Clegg 2379e15f359SSam Clegg void writeTypeSection(const SmallVector<WasmFunctionType, 4> &FunctionTypes); 2389e15f359SSam Clegg void writeImportSection(const SmallVector<WasmImport, 4> &Imports); 2399e15f359SSam Clegg void writeFunctionSection(const SmallVector<WasmFunction, 4> &Functions); 240*d99f6078SSam Clegg void writeTableSection(uint32_t NumElements); 2419e15f359SSam Clegg void writeMemorySection(const SmallVector<char, 0> &DataBytes); 2429e15f359SSam Clegg void writeGlobalSection(const SmallVector<WasmGlobal, 4> &Globals); 2439e15f359SSam Clegg void writeExportSection(const SmallVector<WasmExport, 4> &Exports); 2449e15f359SSam Clegg void writeElemSection(const SmallVector<uint32_t, 4> &TableElems); 2459e15f359SSam Clegg void writeCodeSection(const MCAssembler &Asm, const MCAsmLayout &Layout, 2469e15f359SSam Clegg const SmallVector<WasmFunction, 4> &Functions); 2479e15f359SSam Clegg uint64_t 248acd7d2b0SSam Clegg writeDataSection(const SmallVector<char, 0> &DataBytes); 2499e15f359SSam Clegg void writeNameSection(const SmallVector<WasmFunction, 4> &Functions, 2509e15f359SSam Clegg const SmallVector<WasmImport, 4> &Imports, 2519e15f359SSam Clegg uint32_t NumFuncImports); 252acd7d2b0SSam Clegg void writeCodeRelocSection(); 253acd7d2b0SSam Clegg void writeDataRelocSection(uint64_t DataSectionHeaderSize); 2549e15f359SSam Clegg void writeLinkingMetaDataSection(bool HasStackPointer, 2559e15f359SSam Clegg uint32_t StackPointerGlobal); 256acd7d2b0SSam Clegg 257acd7d2b0SSam Clegg void applyRelocations(ArrayRef<WasmRelocationEntry> Relocations, 258acd7d2b0SSam Clegg uint64_t ContentsOffset); 259acd7d2b0SSam Clegg 260acd7d2b0SSam Clegg void writeRelocations(ArrayRef<WasmRelocationEntry> Relocations, 261acd7d2b0SSam Clegg uint64_t HeaderSize); 262acd7d2b0SSam Clegg uint32_t getRelocationIndexValue(const WasmRelocationEntry &RelEntry); 26318eafb6cSDan Gohman }; 2649e15f359SSam Clegg 26518eafb6cSDan Gohman } // end anonymous namespace 26618eafb6cSDan Gohman 26718eafb6cSDan Gohman WasmObjectWriter::~WasmObjectWriter() {} 26818eafb6cSDan Gohman 269d934cb88SDan Gohman // Return the padding size to write a 32-bit value into a 5-byte ULEB128. 270d934cb88SDan Gohman static unsigned PaddingFor5ByteULEB128(uint32_t X) { 271d934cb88SDan Gohman return X == 0 ? 4 : (4u - (31u - countLeadingZeros(X)) / 7u); 272d934cb88SDan Gohman } 273d934cb88SDan Gohman 274d934cb88SDan Gohman // Return the padding size to write a 32-bit value into a 5-byte SLEB128. 275d934cb88SDan Gohman static unsigned PaddingFor5ByteSLEB128(int32_t X) { 276d934cb88SDan Gohman return 5 - getSLEB128Size(X); 277d934cb88SDan Gohman } 278d934cb88SDan Gohman 279d934cb88SDan Gohman // Write out a section header and a patchable section size field. 280d934cb88SDan Gohman void WasmObjectWriter::startSection(SectionBookkeeping &Section, 281d934cb88SDan Gohman unsigned SectionId, 282d934cb88SDan Gohman const char *Name) { 283d934cb88SDan Gohman assert((Name != nullptr) == (SectionId == wasm::WASM_SEC_CUSTOM) && 284d934cb88SDan Gohman "Only custom sections can have names"); 285d934cb88SDan Gohman 286e2688c43SDerek Schuff encodeULEB128(SectionId, getStream()); 287d934cb88SDan Gohman 288d934cb88SDan Gohman Section.SizeOffset = getStream().tell(); 289d934cb88SDan Gohman 290d934cb88SDan Gohman // The section size. We don't know the size yet, so reserve enough space 291d934cb88SDan Gohman // for any 32-bit value; we'll patch it later. 292d934cb88SDan Gohman encodeULEB128(UINT32_MAX, getStream()); 293d934cb88SDan Gohman 294d934cb88SDan Gohman // The position where the section starts, for measuring its size. 295d934cb88SDan Gohman Section.ContentsOffset = getStream().tell(); 296d934cb88SDan Gohman 297d934cb88SDan Gohman // Custom sections in wasm also have a string identifier. 298d934cb88SDan Gohman if (SectionId == wasm::WASM_SEC_CUSTOM) { 299d934cb88SDan Gohman encodeULEB128(strlen(Name), getStream()); 300d934cb88SDan Gohman writeBytes(Name); 301d934cb88SDan Gohman } 302d934cb88SDan Gohman } 303d934cb88SDan Gohman 304d934cb88SDan Gohman // Now that the section is complete and we know how big it is, patch up the 305d934cb88SDan Gohman // section size field at the start of the section. 306d934cb88SDan Gohman void WasmObjectWriter::endSection(SectionBookkeeping &Section) { 307d934cb88SDan Gohman uint64_t Size = getStream().tell() - Section.ContentsOffset; 308d934cb88SDan Gohman if (uint32_t(Size) != Size) 309d934cb88SDan Gohman report_fatal_error("section size does not fit in a uint32_t"); 310d934cb88SDan Gohman 311d934cb88SDan Gohman unsigned Padding = PaddingFor5ByteULEB128(Size); 312d934cb88SDan Gohman 313d934cb88SDan Gohman // Write the final section size to the payload_len field, which follows 314d934cb88SDan Gohman // the section id byte. 315d934cb88SDan Gohman uint8_t Buffer[16]; 316d934cb88SDan Gohman unsigned SizeLen = encodeULEB128(Size, Buffer, Padding); 317d934cb88SDan Gohman assert(SizeLen == 5); 318d934cb88SDan Gohman getStream().pwrite((char *)Buffer, SizeLen, Section.SizeOffset); 319d934cb88SDan Gohman } 320d934cb88SDan Gohman 32118eafb6cSDan Gohman // Emit the Wasm header. 32218eafb6cSDan Gohman void WasmObjectWriter::writeHeader(const MCAssembler &Asm) { 3237ea5adffSDan Gohman writeBytes(StringRef(wasm::WasmMagic, sizeof(wasm::WasmMagic))); 3247ea5adffSDan Gohman writeLE32(wasm::WasmVersion); 32518eafb6cSDan Gohman } 32618eafb6cSDan Gohman 32718eafb6cSDan Gohman void WasmObjectWriter::executePostLayoutBinding(MCAssembler &Asm, 32818eafb6cSDan Gohman const MCAsmLayout &Layout) { 32918eafb6cSDan Gohman } 33018eafb6cSDan Gohman 33118eafb6cSDan Gohman void WasmObjectWriter::recordRelocation(MCAssembler &Asm, 33218eafb6cSDan Gohman const MCAsmLayout &Layout, 33318eafb6cSDan Gohman const MCFragment *Fragment, 33418eafb6cSDan Gohman const MCFixup &Fixup, MCValue Target, 33518eafb6cSDan Gohman bool &IsPCRel, uint64_t &FixedValue) { 336d934cb88SDan Gohman MCSectionWasm &FixupSection = cast<MCSectionWasm>(*Fragment->getParent()); 337d934cb88SDan Gohman uint64_t C = Target.getConstant(); 338d934cb88SDan Gohman uint64_t FixupOffset = Layout.getFragmentOffset(Fragment) + Fixup.getOffset(); 339d934cb88SDan Gohman MCContext &Ctx = Asm.getContext(); 340d934cb88SDan Gohman 341d934cb88SDan Gohman if (const MCSymbolRefExpr *RefB = Target.getSymB()) { 342d934cb88SDan Gohman assert(RefB->getKind() == MCSymbolRefExpr::VK_None && 343d934cb88SDan Gohman "Should not have constructed this"); 344d934cb88SDan Gohman 345d934cb88SDan Gohman // Let A, B and C being the components of Target and R be the location of 346d934cb88SDan Gohman // the fixup. If the fixup is not pcrel, we want to compute (A - B + C). 347d934cb88SDan Gohman // If it is pcrel, we want to compute (A - B + C - R). 348d934cb88SDan Gohman 349d934cb88SDan Gohman // In general, Wasm has no relocations for -B. It can only represent (A + C) 350d934cb88SDan Gohman // or (A + C - R). If B = R + K and the relocation is not pcrel, we can 351d934cb88SDan Gohman // replace B to implement it: (A - R - K + C) 352d934cb88SDan Gohman if (IsPCRel) { 353d934cb88SDan Gohman Ctx.reportError( 354d934cb88SDan Gohman Fixup.getLoc(), 355d934cb88SDan Gohman "No relocation available to represent this relative expression"); 356d934cb88SDan Gohman return; 357d934cb88SDan Gohman } 358d934cb88SDan Gohman 359d934cb88SDan Gohman const auto &SymB = cast<MCSymbolWasm>(RefB->getSymbol()); 360d934cb88SDan Gohman 361d934cb88SDan Gohman if (SymB.isUndefined()) { 362d934cb88SDan Gohman Ctx.reportError(Fixup.getLoc(), 363d934cb88SDan Gohman Twine("symbol '") + SymB.getName() + 364d934cb88SDan Gohman "' can not be undefined in a subtraction expression"); 365d934cb88SDan Gohman return; 366d934cb88SDan Gohman } 367d934cb88SDan Gohman 368d934cb88SDan Gohman assert(!SymB.isAbsolute() && "Should have been folded"); 369d934cb88SDan Gohman const MCSection &SecB = SymB.getSection(); 370d934cb88SDan Gohman if (&SecB != &FixupSection) { 371d934cb88SDan Gohman Ctx.reportError(Fixup.getLoc(), 372d934cb88SDan Gohman "Cannot represent a difference across sections"); 373d934cb88SDan Gohman return; 374d934cb88SDan Gohman } 375d934cb88SDan Gohman 376d934cb88SDan Gohman uint64_t SymBOffset = Layout.getSymbolOffset(SymB); 377d934cb88SDan Gohman uint64_t K = SymBOffset - FixupOffset; 378d934cb88SDan Gohman IsPCRel = true; 379d934cb88SDan Gohman C -= K; 380d934cb88SDan Gohman } 381d934cb88SDan Gohman 382d934cb88SDan Gohman // We either rejected the fixup or folded B into C at this point. 383d934cb88SDan Gohman const MCSymbolRefExpr *RefA = Target.getSymA(); 384d934cb88SDan Gohman const auto *SymA = RefA ? cast<MCSymbolWasm>(&RefA->getSymbol()) : nullptr; 385d934cb88SDan Gohman 386d934cb88SDan Gohman bool ViaWeakRef = false; 387d934cb88SDan Gohman if (SymA && SymA->isVariable()) { 388d934cb88SDan Gohman const MCExpr *Expr = SymA->getVariableValue(); 389d934cb88SDan Gohman if (const auto *Inner = dyn_cast<MCSymbolRefExpr>(Expr)) { 390d934cb88SDan Gohman if (Inner->getKind() == MCSymbolRefExpr::VK_WEAKREF) { 391d934cb88SDan Gohman SymA = cast<MCSymbolWasm>(&Inner->getSymbol()); 392d934cb88SDan Gohman ViaWeakRef = true; 393d934cb88SDan Gohman } 394d934cb88SDan Gohman } 395d934cb88SDan Gohman } 396d934cb88SDan Gohman 397d934cb88SDan Gohman // Put any constant offset in an addend. Offsets can be negative, and 398d934cb88SDan Gohman // LLVM expects wrapping, in contrast to wasm's immediates which can't 399d934cb88SDan Gohman // be negative and don't wrap. 400d934cb88SDan Gohman FixedValue = 0; 401d934cb88SDan Gohman 402d934cb88SDan Gohman if (SymA) { 403d934cb88SDan Gohman if (ViaWeakRef) 404d934cb88SDan Gohman llvm_unreachable("weakref used in reloc not yet implemented"); 405d934cb88SDan Gohman else 406d934cb88SDan Gohman SymA->setUsedInReloc(); 407d934cb88SDan Gohman } 408d934cb88SDan Gohman 409d934cb88SDan Gohman unsigned Type = getRelocType(Ctx, Target, Fixup, IsPCRel); 410d934cb88SDan Gohman WasmRelocationEntry Rec(FixupOffset, SymA, C, Type, &FixupSection); 411d934cb88SDan Gohman 412d934cb88SDan Gohman if (FixupSection.hasInstructions()) 413d934cb88SDan Gohman CodeRelocations.push_back(Rec); 414d934cb88SDan Gohman else 415d934cb88SDan Gohman DataRelocations.push_back(Rec); 416d934cb88SDan Gohman } 417d934cb88SDan Gohman 418d934cb88SDan Gohman // Write X as an (unsigned) LEB value at offset Offset in Stream, padded 419d934cb88SDan Gohman // to allow patching. 420d934cb88SDan Gohman static void 421d934cb88SDan Gohman WritePatchableLEB(raw_pwrite_stream &Stream, uint32_t X, uint64_t Offset) { 422d934cb88SDan Gohman uint8_t Buffer[5]; 423d934cb88SDan Gohman unsigned Padding = PaddingFor5ByteULEB128(X); 424d934cb88SDan Gohman unsigned SizeLen = encodeULEB128(X, Buffer, Padding); 425d934cb88SDan Gohman assert(SizeLen == 5); 426d934cb88SDan Gohman Stream.pwrite((char *)Buffer, SizeLen, Offset); 427d934cb88SDan Gohman } 428d934cb88SDan Gohman 429d934cb88SDan Gohman // Write X as an signed LEB value at offset Offset in Stream, padded 430d934cb88SDan Gohman // to allow patching. 431d934cb88SDan Gohman static void 432d934cb88SDan Gohman WritePatchableSLEB(raw_pwrite_stream &Stream, int32_t X, uint64_t Offset) { 433d934cb88SDan Gohman uint8_t Buffer[5]; 434d934cb88SDan Gohman unsigned Padding = PaddingFor5ByteSLEB128(X); 435d934cb88SDan Gohman unsigned SizeLen = encodeSLEB128(X, Buffer, Padding); 436d934cb88SDan Gohman assert(SizeLen == 5); 437d934cb88SDan Gohman Stream.pwrite((char *)Buffer, SizeLen, Offset); 438d934cb88SDan Gohman } 439d934cb88SDan Gohman 440d934cb88SDan Gohman // Write X as a plain integer value at offset Offset in Stream. 441d934cb88SDan Gohman static void WriteI32(raw_pwrite_stream &Stream, uint32_t X, uint64_t Offset) { 442d934cb88SDan Gohman uint8_t Buffer[4]; 443d934cb88SDan Gohman support::endian::write32le(Buffer, X); 444d934cb88SDan Gohman Stream.pwrite((char *)Buffer, sizeof(Buffer), Offset); 445d934cb88SDan Gohman } 446d934cb88SDan Gohman 447d934cb88SDan Gohman // Compute a value to write into the code at the location covered 448d934cb88SDan Gohman // by RelEntry. This value isn't used by the static linker, since 449d934cb88SDan Gohman // we have addends; it just serves to make the code more readable 450d934cb88SDan Gohman // and to make standalone wasm modules directly usable. 451d934cb88SDan Gohman static uint32_t ProvisionalValue(const WasmRelocationEntry &RelEntry) { 452d934cb88SDan Gohman const MCSymbolWasm *Sym = RelEntry.Symbol; 453d934cb88SDan Gohman 454d934cb88SDan Gohman // For undefined symbols, use a hopefully invalid value. 455d934cb88SDan Gohman if (!Sym->isDefined(false)) 456d934cb88SDan Gohman return UINT32_MAX; 457d934cb88SDan Gohman 458d934cb88SDan Gohman MCSectionWasm &Section = 459d934cb88SDan Gohman cast<MCSectionWasm>(RelEntry.Symbol->getSection(false)); 460d934cb88SDan Gohman uint64_t Address = Section.getSectionOffset() + RelEntry.Addend; 461d934cb88SDan Gohman 462d934cb88SDan Gohman // Ignore overflow. LLVM allows address arithmetic to silently wrap. 463d934cb88SDan Gohman uint32_t Value = Address; 464d934cb88SDan Gohman 465d934cb88SDan Gohman return Value; 466d934cb88SDan Gohman } 467d934cb88SDan Gohman 468acd7d2b0SSam Clegg uint32_t WasmObjectWriter::getRelocationIndexValue( 469acd7d2b0SSam Clegg const WasmRelocationEntry &RelEntry) { 470acd7d2b0SSam Clegg switch (RelEntry.Type) { 471acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_TABLE_INDEX_SLEB: 472acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_TABLE_INDEX_I32: 473*d99f6078SSam Clegg assert(IndirectSymbolIndices.count(RelEntry.Symbol)); 474*d99f6078SSam Clegg return IndirectSymbolIndices[RelEntry.Symbol]; 475*d99f6078SSam Clegg case wasm::R_WEBASSEMBLY_FUNCTION_INDEX_LEB: 476acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_LEB: 477acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_SLEB: 478acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_I32: 479acd7d2b0SSam Clegg assert(SymbolIndices.count(RelEntry.Symbol)); 480acd7d2b0SSam Clegg return SymbolIndices[RelEntry.Symbol]; 481acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_TYPE_INDEX_LEB: 482acd7d2b0SSam Clegg assert(TypeIndices.count(RelEntry.Symbol)); 483acd7d2b0SSam Clegg return TypeIndices[RelEntry.Symbol]; 484acd7d2b0SSam Clegg default: 485acd7d2b0SSam Clegg llvm_unreachable("invalid relocation type"); 486acd7d2b0SSam Clegg } 487acd7d2b0SSam Clegg } 488acd7d2b0SSam Clegg 489d934cb88SDan Gohman // Apply the portions of the relocation records that we can handle ourselves 490d934cb88SDan Gohman // directly. 491acd7d2b0SSam Clegg void WasmObjectWriter::applyRelocations( 492acd7d2b0SSam Clegg ArrayRef<WasmRelocationEntry> Relocations, uint64_t ContentsOffset) { 493acd7d2b0SSam Clegg raw_pwrite_stream &Stream = getStream(); 494d934cb88SDan Gohman for (const WasmRelocationEntry &RelEntry : Relocations) { 495d934cb88SDan Gohman uint64_t Offset = ContentsOffset + 496d934cb88SDan Gohman RelEntry.FixupSection->getSectionOffset() + 497d934cb88SDan Gohman RelEntry.Offset; 498d934cb88SDan Gohman 499acd7d2b0SSam Clegg switch (RelEntry.Type) { 500acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_TABLE_INDEX_SLEB: 501acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_FUNCTION_INDEX_LEB: 502acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_TYPE_INDEX_LEB: { 503acd7d2b0SSam Clegg uint32_t Index = getRelocationIndexValue(RelEntry); 504acd7d2b0SSam Clegg WritePatchableSLEB(Stream, Index, Offset); 505d934cb88SDan Gohman break; 506d934cb88SDan Gohman } 507acd7d2b0SSam Clegg case wasm::R_WEBASSEMBLY_TABLE_INDEX_I32: { 508acd7d2b0SSam Clegg uint32_t Index = getRelocationIndexValue(RelEntry); 509acd7d2b0SSam Clegg WriteI32(Stream, Index, Offset); 510d934cb88SDan Gohman break; 511d934cb88SDan Gohman } 512d934cb88SDan Gohman case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_SLEB: { 513d934cb88SDan Gohman uint32_t Value = ProvisionalValue(RelEntry); 514d934cb88SDan Gohman WritePatchableSLEB(Stream, Value, Offset); 515d934cb88SDan Gohman break; 516d934cb88SDan Gohman } 517d934cb88SDan Gohman case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_LEB: { 518d934cb88SDan Gohman uint32_t Value = ProvisionalValue(RelEntry); 519d934cb88SDan Gohman WritePatchableLEB(Stream, Value, Offset); 520d934cb88SDan Gohman break; 521d934cb88SDan Gohman } 522d934cb88SDan Gohman case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_I32: { 523d934cb88SDan Gohman uint32_t Value = ProvisionalValue(RelEntry); 524d934cb88SDan Gohman WriteI32(Stream, Value, Offset); 525d934cb88SDan Gohman break; 526d934cb88SDan Gohman } 527d934cb88SDan Gohman default: 528d934cb88SDan Gohman llvm_unreachable("unsupported relocation type"); 529d934cb88SDan Gohman } 530d934cb88SDan Gohman } 53118eafb6cSDan Gohman } 53218eafb6cSDan Gohman 533acd7d2b0SSam Clegg // Write out the portions of the relocation records that the linker will 534970d02c4SDan Gohman // need to handle. 535acd7d2b0SSam Clegg void WasmObjectWriter::writeRelocations( 536acd7d2b0SSam Clegg ArrayRef<WasmRelocationEntry> Relocations, uint64_t HeaderSize) { 537acd7d2b0SSam Clegg raw_pwrite_stream &Stream = getStream(); 538acd7d2b0SSam Clegg for (const WasmRelocationEntry& RelEntry : Relocations) { 539970d02c4SDan Gohman 540acd7d2b0SSam Clegg uint64_t Offset = RelEntry.Offset + 541acd7d2b0SSam Clegg RelEntry.FixupSection->getSectionOffset() + HeaderSize; 542acd7d2b0SSam Clegg uint32_t Index = getRelocationIndexValue(RelEntry); 543970d02c4SDan Gohman 544acd7d2b0SSam Clegg encodeULEB128(RelEntry.Type, Stream); 545970d02c4SDan Gohman encodeULEB128(Offset, Stream); 546acd7d2b0SSam Clegg encodeULEB128(Index, Stream); 547acd7d2b0SSam Clegg if (RelEntry.hasAddend()) 548acd7d2b0SSam Clegg encodeSLEB128(RelEntry.Addend, Stream); 549970d02c4SDan Gohman } 550970d02c4SDan Gohman } 551970d02c4SDan Gohman 5529e15f359SSam Clegg void WasmObjectWriter::writeTypeSection( 5539e15f359SSam Clegg const SmallVector<WasmFunctionType, 4> &FunctionTypes) { 5549e15f359SSam Clegg if (FunctionTypes.empty()) 5559e15f359SSam Clegg return; 5569e15f359SSam Clegg 5579e15f359SSam Clegg SectionBookkeeping Section; 5589e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_TYPE); 5599e15f359SSam Clegg 5609e15f359SSam Clegg encodeULEB128(FunctionTypes.size(), getStream()); 5619e15f359SSam Clegg 5629e15f359SSam Clegg for (const WasmFunctionType &FuncTy : FunctionTypes) { 5639e15f359SSam Clegg encodeSLEB128(wasm::WASM_TYPE_FUNC, getStream()); 5649e15f359SSam Clegg encodeULEB128(FuncTy.Params.size(), getStream()); 5659e15f359SSam Clegg for (wasm::ValType Ty : FuncTy.Params) 5669e15f359SSam Clegg writeValueType(Ty); 5679e15f359SSam Clegg encodeULEB128(FuncTy.Returns.size(), getStream()); 5689e15f359SSam Clegg for (wasm::ValType Ty : FuncTy.Returns) 5699e15f359SSam Clegg writeValueType(Ty); 5709e15f359SSam Clegg } 5719e15f359SSam Clegg 5729e15f359SSam Clegg endSection(Section); 5739e15f359SSam Clegg } 5749e15f359SSam Clegg 5759e15f359SSam Clegg void WasmObjectWriter::writeImportSection( 5769e15f359SSam Clegg const SmallVector<WasmImport, 4> &Imports) { 5779e15f359SSam Clegg if (Imports.empty()) 5789e15f359SSam Clegg return; 5799e15f359SSam Clegg 5809e15f359SSam Clegg SectionBookkeeping Section; 5819e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_IMPORT); 5829e15f359SSam Clegg 5839e15f359SSam Clegg encodeULEB128(Imports.size(), getStream()); 5849e15f359SSam Clegg for (const WasmImport &Import : Imports) { 5859e15f359SSam Clegg StringRef ModuleName = Import.ModuleName; 5869e15f359SSam Clegg encodeULEB128(ModuleName.size(), getStream()); 5879e15f359SSam Clegg writeBytes(ModuleName); 5889e15f359SSam Clegg 5899e15f359SSam Clegg StringRef FieldName = Import.FieldName; 5909e15f359SSam Clegg encodeULEB128(FieldName.size(), getStream()); 5919e15f359SSam Clegg writeBytes(FieldName); 5929e15f359SSam Clegg 5939e15f359SSam Clegg encodeULEB128(Import.Kind, getStream()); 5949e15f359SSam Clegg 5959e15f359SSam Clegg switch (Import.Kind) { 5969e15f359SSam Clegg case wasm::WASM_EXTERNAL_FUNCTION: 5979e15f359SSam Clegg encodeULEB128(Import.Type, getStream()); 5989e15f359SSam Clegg break; 5999e15f359SSam Clegg case wasm::WASM_EXTERNAL_GLOBAL: 6009e15f359SSam Clegg encodeSLEB128(int32_t(Import.Type), getStream()); 6019e15f359SSam Clegg encodeULEB128(0, getStream()); // mutability 6029e15f359SSam Clegg break; 6039e15f359SSam Clegg default: 6049e15f359SSam Clegg llvm_unreachable("unsupported import kind"); 6059e15f359SSam Clegg } 6069e15f359SSam Clegg } 6079e15f359SSam Clegg 6089e15f359SSam Clegg endSection(Section); 6099e15f359SSam Clegg } 6109e15f359SSam Clegg 6119e15f359SSam Clegg void WasmObjectWriter::writeFunctionSection( 6129e15f359SSam Clegg const SmallVector<WasmFunction, 4> &Functions) { 6139e15f359SSam Clegg if (Functions.empty()) 6149e15f359SSam Clegg return; 6159e15f359SSam Clegg 6169e15f359SSam Clegg SectionBookkeeping Section; 6179e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_FUNCTION); 6189e15f359SSam Clegg 6199e15f359SSam Clegg encodeULEB128(Functions.size(), getStream()); 6209e15f359SSam Clegg for (const WasmFunction &Func : Functions) 6219e15f359SSam Clegg encodeULEB128(Func.Type, getStream()); 6229e15f359SSam Clegg 6239e15f359SSam Clegg endSection(Section); 6249e15f359SSam Clegg } 6259e15f359SSam Clegg 626*d99f6078SSam Clegg void WasmObjectWriter::writeTableSection(uint32_t NumElements) { 6279e15f359SSam Clegg // For now, always emit the table section, since indirect calls are not 6289e15f359SSam Clegg // valid without it. In the future, we could perhaps be more clever and omit 6299e15f359SSam Clegg // it if there are no indirect calls. 630*d99f6078SSam Clegg 6319e15f359SSam Clegg SectionBookkeeping Section; 6329e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_TABLE); 6339e15f359SSam Clegg 634*d99f6078SSam Clegg encodeULEB128(1, getStream()); // The number of tables. 635*d99f6078SSam Clegg // Fixed to 1 for now. 636*d99f6078SSam Clegg encodeSLEB128(wasm::WASM_TYPE_ANYFUNC, getStream()); // Type of table 6379e15f359SSam Clegg encodeULEB128(0, getStream()); // flags 638*d99f6078SSam Clegg encodeULEB128(NumElements, getStream()); // initial 6399e15f359SSam Clegg 6409e15f359SSam Clegg endSection(Section); 6419e15f359SSam Clegg } 6429e15f359SSam Clegg 6439e15f359SSam Clegg void WasmObjectWriter::writeMemorySection( 6449e15f359SSam Clegg const SmallVector<char, 0> &DataBytes) { 6459e15f359SSam Clegg // For now, always emit the memory section, since loads and stores are not 6469e15f359SSam Clegg // valid without it. In the future, we could perhaps be more clever and omit 6479e15f359SSam Clegg // it if there are no loads or stores. 6489e15f359SSam Clegg SectionBookkeeping Section; 6499e15f359SSam Clegg uint32_t NumPages = 6509e15f359SSam Clegg (DataBytes.size() + wasm::WasmPageSize - 1) / wasm::WasmPageSize; 6519e15f359SSam Clegg 6529e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_MEMORY); 6539e15f359SSam Clegg encodeULEB128(1, getStream()); // number of memory spaces 6549e15f359SSam Clegg 6559e15f359SSam Clegg encodeULEB128(0, getStream()); // flags 6569e15f359SSam Clegg encodeULEB128(NumPages, getStream()); // initial 6579e15f359SSam Clegg 6589e15f359SSam Clegg endSection(Section); 6599e15f359SSam Clegg } 6609e15f359SSam Clegg 6619e15f359SSam Clegg void WasmObjectWriter::writeGlobalSection( 6629e15f359SSam Clegg const SmallVector<WasmGlobal, 4> &Globals) { 6639e15f359SSam Clegg if (Globals.empty()) 6649e15f359SSam Clegg return; 6659e15f359SSam Clegg 6669e15f359SSam Clegg SectionBookkeeping Section; 6679e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_GLOBAL); 6689e15f359SSam Clegg 6699e15f359SSam Clegg encodeULEB128(Globals.size(), getStream()); 6709e15f359SSam Clegg for (const WasmGlobal &Global : Globals) { 6719e15f359SSam Clegg writeValueType(Global.Type); 6729e15f359SSam Clegg write8(Global.IsMutable); 6739e15f359SSam Clegg 6749e15f359SSam Clegg if (Global.HasImport) { 6759e15f359SSam Clegg assert(Global.InitialValue == 0); 6769e15f359SSam Clegg write8(wasm::WASM_OPCODE_GET_GLOBAL); 6779e15f359SSam Clegg encodeULEB128(Global.ImportIndex, getStream()); 6789e15f359SSam Clegg } else { 6799e15f359SSam Clegg assert(Global.ImportIndex == 0); 6809e15f359SSam Clegg write8(wasm::WASM_OPCODE_I32_CONST); 6819e15f359SSam Clegg encodeSLEB128(Global.InitialValue, getStream()); // offset 6829e15f359SSam Clegg } 6839e15f359SSam Clegg write8(wasm::WASM_OPCODE_END); 6849e15f359SSam Clegg } 6859e15f359SSam Clegg 6869e15f359SSam Clegg endSection(Section); 6879e15f359SSam Clegg } 6889e15f359SSam Clegg 6899e15f359SSam Clegg void WasmObjectWriter::writeExportSection( 6909e15f359SSam Clegg const SmallVector<WasmExport, 4> &Exports) { 6919e15f359SSam Clegg if (Exports.empty()) 6929e15f359SSam Clegg return; 6939e15f359SSam Clegg 6949e15f359SSam Clegg SectionBookkeeping Section; 6959e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_EXPORT); 6969e15f359SSam Clegg 6979e15f359SSam Clegg encodeULEB128(Exports.size(), getStream()); 6989e15f359SSam Clegg for (const WasmExport &Export : Exports) { 6999e15f359SSam Clegg encodeULEB128(Export.FieldName.size(), getStream()); 7009e15f359SSam Clegg writeBytes(Export.FieldName); 7019e15f359SSam Clegg 7029e15f359SSam Clegg encodeSLEB128(Export.Kind, getStream()); 7039e15f359SSam Clegg 7049e15f359SSam Clegg encodeULEB128(Export.Index, getStream()); 7059e15f359SSam Clegg } 7069e15f359SSam Clegg 7079e15f359SSam Clegg endSection(Section); 7089e15f359SSam Clegg } 7099e15f359SSam Clegg 7109e15f359SSam Clegg void WasmObjectWriter::writeElemSection( 7119e15f359SSam Clegg const SmallVector<uint32_t, 4> &TableElems) { 7129e15f359SSam Clegg if (TableElems.empty()) 7139e15f359SSam Clegg return; 7149e15f359SSam Clegg 7159e15f359SSam Clegg SectionBookkeeping Section; 7169e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_ELEM); 7179e15f359SSam Clegg 7189e15f359SSam Clegg encodeULEB128(1, getStream()); // number of "segments" 7199e15f359SSam Clegg encodeULEB128(0, getStream()); // the table index 7209e15f359SSam Clegg 7219e15f359SSam Clegg // init expr for starting offset 7229e15f359SSam Clegg write8(wasm::WASM_OPCODE_I32_CONST); 7239e15f359SSam Clegg encodeSLEB128(0, getStream()); 7249e15f359SSam Clegg write8(wasm::WASM_OPCODE_END); 7259e15f359SSam Clegg 7269e15f359SSam Clegg encodeULEB128(TableElems.size(), getStream()); 7279e15f359SSam Clegg for (uint32_t Elem : TableElems) 7289e15f359SSam Clegg encodeULEB128(Elem, getStream()); 7299e15f359SSam Clegg 7309e15f359SSam Clegg endSection(Section); 7319e15f359SSam Clegg } 7329e15f359SSam Clegg 7339e15f359SSam Clegg void WasmObjectWriter::writeCodeSection( 7349e15f359SSam Clegg const MCAssembler &Asm, const MCAsmLayout &Layout, 7359e15f359SSam Clegg const SmallVector<WasmFunction, 4> &Functions) { 7369e15f359SSam Clegg if (Functions.empty()) 7379e15f359SSam Clegg return; 7389e15f359SSam Clegg 7399e15f359SSam Clegg SectionBookkeeping Section; 7409e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_CODE); 7419e15f359SSam Clegg 7429e15f359SSam Clegg encodeULEB128(Functions.size(), getStream()); 7439e15f359SSam Clegg 7449e15f359SSam Clegg for (const WasmFunction &Func : Functions) { 7459e15f359SSam Clegg MCSectionWasm &FuncSection = 7469e15f359SSam Clegg static_cast<MCSectionWasm &>(Func.Sym->getSection()); 7479e15f359SSam Clegg 7489e15f359SSam Clegg if (Func.Sym->isVariable()) 7499e15f359SSam Clegg report_fatal_error("weak symbols not supported yet"); 7509e15f359SSam Clegg 7519e15f359SSam Clegg if (Func.Sym->getOffset() != 0) 7529e15f359SSam Clegg report_fatal_error("function sections must contain one function each"); 7539e15f359SSam Clegg 7549e15f359SSam Clegg if (!Func.Sym->getSize()) 7559e15f359SSam Clegg report_fatal_error("function symbols must have a size set with .size"); 7569e15f359SSam Clegg 7579e15f359SSam Clegg int64_t Size = 0; 7589e15f359SSam Clegg if (!Func.Sym->getSize()->evaluateAsAbsolute(Size, Layout)) 7599e15f359SSam Clegg report_fatal_error(".size expression must be evaluatable"); 7609e15f359SSam Clegg 7619e15f359SSam Clegg encodeULEB128(Size, getStream()); 7629e15f359SSam Clegg 7639e15f359SSam Clegg FuncSection.setSectionOffset(getStream().tell() - 7649e15f359SSam Clegg Section.ContentsOffset); 7659e15f359SSam Clegg 7669e15f359SSam Clegg Asm.writeSectionData(&FuncSection, Layout); 7679e15f359SSam Clegg } 7689e15f359SSam Clegg 7699e15f359SSam Clegg // Apply fixups. 770acd7d2b0SSam Clegg applyRelocations(CodeRelocations, Section.ContentsOffset); 7719e15f359SSam Clegg 7729e15f359SSam Clegg endSection(Section); 7739e15f359SSam Clegg } 7749e15f359SSam Clegg 7759e15f359SSam Clegg uint64_t WasmObjectWriter::writeDataSection( 776acd7d2b0SSam Clegg const SmallVector<char, 0> &DataBytes) { 7779e15f359SSam Clegg if (DataBytes.empty()) 7789e15f359SSam Clegg return 0; 7799e15f359SSam Clegg 7809e15f359SSam Clegg SectionBookkeeping Section; 7819e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_DATA); 7829e15f359SSam Clegg 7839e15f359SSam Clegg encodeULEB128(1, getStream()); // count 7849e15f359SSam Clegg encodeULEB128(0, getStream()); // memory index 7859e15f359SSam Clegg write8(wasm::WASM_OPCODE_I32_CONST); 7869e15f359SSam Clegg encodeSLEB128(0, getStream()); // offset 7879e15f359SSam Clegg write8(wasm::WASM_OPCODE_END); 7889e15f359SSam Clegg encodeULEB128(DataBytes.size(), getStream()); // size 7899e15f359SSam Clegg uint32_t HeaderSize = getStream().tell() - Section.ContentsOffset; 7909e15f359SSam Clegg writeBytes(DataBytes); // data 7919e15f359SSam Clegg 7929e15f359SSam Clegg // Apply fixups. 793acd7d2b0SSam Clegg applyRelocations(DataRelocations, Section.ContentsOffset + HeaderSize); 7949e15f359SSam Clegg 7959e15f359SSam Clegg endSection(Section); 7969e15f359SSam Clegg return HeaderSize; 7979e15f359SSam Clegg } 7989e15f359SSam Clegg 7999e15f359SSam Clegg void WasmObjectWriter::writeNameSection( 8009e15f359SSam Clegg const SmallVector<WasmFunction, 4> &Functions, 8019e15f359SSam Clegg const SmallVector<WasmImport, 4> &Imports, 8029e15f359SSam Clegg unsigned NumFuncImports) { 8039e15f359SSam Clegg uint32_t TotalFunctions = NumFuncImports + Functions.size(); 8049e15f359SSam Clegg if (TotalFunctions == 0) 8059e15f359SSam Clegg return; 8069e15f359SSam Clegg 8079e15f359SSam Clegg SectionBookkeeping Section; 8089e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_CUSTOM, "name"); 8099e15f359SSam Clegg SectionBookkeeping SubSection; 8109e15f359SSam Clegg startSection(SubSection, wasm::WASM_NAMES_FUNCTION); 8119e15f359SSam Clegg 8129e15f359SSam Clegg encodeULEB128(TotalFunctions, getStream()); 8139e15f359SSam Clegg uint32_t Index = 0; 8149e15f359SSam Clegg for (const WasmImport &Import : Imports) { 8159e15f359SSam Clegg if (Import.Kind == wasm::WASM_EXTERNAL_FUNCTION) { 8169e15f359SSam Clegg encodeULEB128(Index, getStream()); 8179e15f359SSam Clegg encodeULEB128(Import.FieldName.size(), getStream()); 8189e15f359SSam Clegg writeBytes(Import.FieldName); 8199e15f359SSam Clegg ++Index; 8209e15f359SSam Clegg } 8219e15f359SSam Clegg } 8229e15f359SSam Clegg for (const WasmFunction &Func : Functions) { 8239e15f359SSam Clegg encodeULEB128(Index, getStream()); 8249e15f359SSam Clegg encodeULEB128(Func.Sym->getName().size(), getStream()); 8259e15f359SSam Clegg writeBytes(Func.Sym->getName()); 8269e15f359SSam Clegg ++Index; 8279e15f359SSam Clegg } 8289e15f359SSam Clegg 8299e15f359SSam Clegg endSection(SubSection); 8309e15f359SSam Clegg endSection(Section); 8319e15f359SSam Clegg } 8329e15f359SSam Clegg 833acd7d2b0SSam Clegg void WasmObjectWriter::writeCodeRelocSection() { 8349e15f359SSam Clegg // See: https://github.com/WebAssembly/tool-conventions/blob/master/Linking.md 8359e15f359SSam Clegg // for descriptions of the reloc sections. 8369e15f359SSam Clegg 8379e15f359SSam Clegg if (CodeRelocations.empty()) 8389e15f359SSam Clegg return; 8399e15f359SSam Clegg 8409e15f359SSam Clegg SectionBookkeeping Section; 8419e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_CUSTOM, "reloc.CODE"); 8429e15f359SSam Clegg 8439e15f359SSam Clegg encodeULEB128(wasm::WASM_SEC_CODE, getStream()); 844acd7d2b0SSam Clegg encodeULEB128(CodeRelocations.size(), getStream()); 8459e15f359SSam Clegg 846acd7d2b0SSam Clegg writeRelocations(CodeRelocations, 0); 8479e15f359SSam Clegg 8489e15f359SSam Clegg endSection(Section); 8499e15f359SSam Clegg } 8509e15f359SSam Clegg 851acd7d2b0SSam Clegg void WasmObjectWriter::writeDataRelocSection(uint64_t DataSectionHeaderSize) { 8529e15f359SSam Clegg // See: https://github.com/WebAssembly/tool-conventions/blob/master/Linking.md 8539e15f359SSam Clegg // for descriptions of the reloc sections. 8549e15f359SSam Clegg 8559e15f359SSam Clegg if (DataRelocations.empty()) 8569e15f359SSam Clegg return; 8579e15f359SSam Clegg 8589e15f359SSam Clegg SectionBookkeeping Section; 8599e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_CUSTOM, "reloc.DATA"); 8609e15f359SSam Clegg 8619e15f359SSam Clegg encodeULEB128(wasm::WASM_SEC_DATA, getStream()); 8629e15f359SSam Clegg encodeULEB128(DataRelocations.size(), getStream()); 8639e15f359SSam Clegg 864acd7d2b0SSam Clegg writeRelocations(DataRelocations, DataSectionHeaderSize); 8659e15f359SSam Clegg 8669e15f359SSam Clegg endSection(Section); 8679e15f359SSam Clegg } 8689e15f359SSam Clegg 8699e15f359SSam Clegg void WasmObjectWriter::writeLinkingMetaDataSection( 8709e15f359SSam Clegg bool HasStackPointer, uint32_t StackPointerGlobal) { 8719e15f359SSam Clegg if (!HasStackPointer) 8729e15f359SSam Clegg return; 8739e15f359SSam Clegg SectionBookkeeping Section; 8749e15f359SSam Clegg startSection(Section, wasm::WASM_SEC_CUSTOM, "linking"); 8759e15f359SSam Clegg 8769e15f359SSam Clegg encodeULEB128(1, getStream()); // count 8779e15f359SSam Clegg 8789e15f359SSam Clegg encodeULEB128(wasm::WASM_STACK_POINTER, getStream()); // type 8799e15f359SSam Clegg encodeULEB128(StackPointerGlobal, getStream()); // id 8809e15f359SSam Clegg 8819e15f359SSam Clegg endSection(Section); 8829e15f359SSam Clegg } 8839e15f359SSam Clegg 88418eafb6cSDan Gohman void WasmObjectWriter::writeObject(MCAssembler &Asm, 88518eafb6cSDan Gohman const MCAsmLayout &Layout) { 88682607f56SDan Gohman MCContext &Ctx = Asm.getContext(); 887b879539aSDerek Schuff wasm::ValType PtrType = is64Bit() ? wasm::ValType::I64 : wasm::ValType::I32; 888d934cb88SDan Gohman 889d934cb88SDan Gohman // Collect information from the available symbols. 890d934cb88SDan Gohman SmallVector<WasmFunctionType, 4> FunctionTypes; 891d934cb88SDan Gohman SmallVector<WasmFunction, 4> Functions; 892d934cb88SDan Gohman SmallVector<uint32_t, 4> TableElems; 893d934cb88SDan Gohman SmallVector<WasmGlobal, 4> Globals; 894d934cb88SDan Gohman SmallVector<WasmImport, 4> Imports; 895d934cb88SDan Gohman SmallVector<WasmExport, 4> Exports; 896d934cb88SDan Gohman SmallPtrSet<const MCSymbolWasm *, 4> IsAddressTaken; 897d934cb88SDan Gohman unsigned NumFuncImports = 0; 898d934cb88SDan Gohman unsigned NumGlobalImports = 0; 899d934cb88SDan Gohman SmallVector<char, 0> DataBytes; 900970d02c4SDan Gohman uint32_t StackPointerGlobal = 0; 901970d02c4SDan Gohman bool HasStackPointer = false; 902d934cb88SDan Gohman 903d934cb88SDan Gohman // Populate the IsAddressTaken set. 904d934cb88SDan Gohman for (WasmRelocationEntry RelEntry : CodeRelocations) { 905d934cb88SDan Gohman switch (RelEntry.Type) { 906d934cb88SDan Gohman case wasm::R_WEBASSEMBLY_TABLE_INDEX_SLEB: 907d934cb88SDan Gohman case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_SLEB: 908d934cb88SDan Gohman IsAddressTaken.insert(RelEntry.Symbol); 909d934cb88SDan Gohman break; 910d934cb88SDan Gohman default: 911d934cb88SDan Gohman break; 912d934cb88SDan Gohman } 913d934cb88SDan Gohman } 914d934cb88SDan Gohman for (WasmRelocationEntry RelEntry : DataRelocations) { 915d934cb88SDan Gohman switch (RelEntry.Type) { 916d934cb88SDan Gohman case wasm::R_WEBASSEMBLY_TABLE_INDEX_I32: 917d934cb88SDan Gohman case wasm::R_WEBASSEMBLY_GLOBAL_ADDR_I32: 918d934cb88SDan Gohman IsAddressTaken.insert(RelEntry.Symbol); 919d934cb88SDan Gohman break; 920d934cb88SDan Gohman default: 921d934cb88SDan Gohman break; 922d934cb88SDan Gohman } 923d934cb88SDan Gohman } 924d934cb88SDan Gohman 925d934cb88SDan Gohman // Populate the Imports set. 926d934cb88SDan Gohman for (const MCSymbol &S : Asm.symbols()) { 927d934cb88SDan Gohman const auto &WS = static_cast<const MCSymbolWasm &>(S); 928b879539aSDerek Schuff int32_t Type; 929d934cb88SDan Gohman 930d934cb88SDan Gohman if (WS.isFunction()) { 931d934cb88SDan Gohman // Prepare the function's type, if we haven't seen it yet. 932d934cb88SDan Gohman WasmFunctionType F; 933d934cb88SDan Gohman F.Returns = WS.getReturns(); 934d934cb88SDan Gohman F.Params = WS.getParams(); 935d934cb88SDan Gohman auto Pair = 936d934cb88SDan Gohman FunctionTypeIndices.insert(std::make_pair(F, FunctionTypes.size())); 937d934cb88SDan Gohman if (Pair.second) 938d934cb88SDan Gohman FunctionTypes.push_back(F); 939d934cb88SDan Gohman 940d934cb88SDan Gohman Type = Pair.first->second; 941d934cb88SDan Gohman } else { 942b879539aSDerek Schuff Type = int32_t(PtrType); 943d934cb88SDan Gohman } 944d934cb88SDan Gohman 945d934cb88SDan Gohman // If the symbol is not defined in this translation unit, import it. 946d934cb88SDan Gohman if (!WS.isTemporary() && !WS.isDefined(/*SetUsed=*/false)) { 947d934cb88SDan Gohman WasmImport Import; 948d934cb88SDan Gohman Import.ModuleName = WS.getModuleName(); 949d934cb88SDan Gohman Import.FieldName = WS.getName(); 950d934cb88SDan Gohman 951d934cb88SDan Gohman if (WS.isFunction()) { 952d934cb88SDan Gohman Import.Kind = wasm::WASM_EXTERNAL_FUNCTION; 953d934cb88SDan Gohman Import.Type = Type; 954d934cb88SDan Gohman SymbolIndices[&WS] = NumFuncImports; 955d934cb88SDan Gohman ++NumFuncImports; 956d934cb88SDan Gohman } else { 957d934cb88SDan Gohman Import.Kind = wasm::WASM_EXTERNAL_GLOBAL; 958d934cb88SDan Gohman Import.Type = Type; 959d934cb88SDan Gohman SymbolIndices[&WS] = NumGlobalImports; 960d934cb88SDan Gohman ++NumGlobalImports; 961d934cb88SDan Gohman } 962d934cb88SDan Gohman 963d934cb88SDan Gohman Imports.push_back(Import); 964d934cb88SDan Gohman } 965d934cb88SDan Gohman } 966d934cb88SDan Gohman 96782607f56SDan Gohman // In the special .global_variables section, we've encoded global 96882607f56SDan Gohman // variables used by the function. Translate them into the Globals 96982607f56SDan Gohman // list. 97082607f56SDan Gohman MCSectionWasm *GlobalVars = Ctx.getWasmSection(".global_variables", 0, 0); 97182607f56SDan Gohman if (!GlobalVars->getFragmentList().empty()) { 97282607f56SDan Gohman if (GlobalVars->getFragmentList().size() != 1) 97382607f56SDan Gohman report_fatal_error("only one .global_variables fragment supported"); 97482607f56SDan Gohman const MCFragment &Frag = *GlobalVars->begin(); 97582607f56SDan Gohman if (Frag.hasInstructions() || Frag.getKind() != MCFragment::FT_Data) 97682607f56SDan Gohman report_fatal_error("only data supported in .global_variables"); 97782607f56SDan Gohman const MCDataFragment &DataFrag = cast<MCDataFragment>(Frag); 97882607f56SDan Gohman if (!DataFrag.getFixups().empty()) 97982607f56SDan Gohman report_fatal_error("fixups not supported in .global_variables"); 98082607f56SDan Gohman const SmallVectorImpl<char> &Contents = DataFrag.getContents(); 981970d02c4SDan Gohman for (const uint8_t *p = (const uint8_t *)Contents.data(), 982970d02c4SDan Gohman *end = (const uint8_t *)Contents.data() + Contents.size(); 983970d02c4SDan Gohman p != end; ) { 98482607f56SDan Gohman WasmGlobal G; 985970d02c4SDan Gohman if (end - p < 3) 986970d02c4SDan Gohman report_fatal_error("truncated global variable encoding"); 987970d02c4SDan Gohman G.Type = wasm::ValType(int8_t(*p++)); 988970d02c4SDan Gohman G.IsMutable = bool(*p++); 989970d02c4SDan Gohman G.HasImport = bool(*p++); 990970d02c4SDan Gohman if (G.HasImport) { 99182607f56SDan Gohman G.InitialValue = 0; 992970d02c4SDan Gohman 993970d02c4SDan Gohman WasmImport Import; 994970d02c4SDan Gohman Import.ModuleName = (const char *)p; 995970d02c4SDan Gohman const uint8_t *nul = (const uint8_t *)memchr(p, '\0', end - p); 996970d02c4SDan Gohman if (!nul) 997970d02c4SDan Gohman report_fatal_error("global module name must be nul-terminated"); 998970d02c4SDan Gohman p = nul + 1; 999970d02c4SDan Gohman nul = (const uint8_t *)memchr(p, '\0', end - p); 1000970d02c4SDan Gohman if (!nul) 1001970d02c4SDan Gohman report_fatal_error("global base name must be nul-terminated"); 1002970d02c4SDan Gohman Import.FieldName = (const char *)p; 1003970d02c4SDan Gohman p = nul + 1; 1004970d02c4SDan Gohman 1005970d02c4SDan Gohman Import.Kind = wasm::WASM_EXTERNAL_GLOBAL; 1006970d02c4SDan Gohman Import.Type = int32_t(G.Type); 1007970d02c4SDan Gohman 1008970d02c4SDan Gohman G.ImportIndex = NumGlobalImports; 1009970d02c4SDan Gohman ++NumGlobalImports; 1010970d02c4SDan Gohman 1011970d02c4SDan Gohman Imports.push_back(Import); 1012970d02c4SDan Gohman } else { 1013970d02c4SDan Gohman unsigned n; 1014970d02c4SDan Gohman G.InitialValue = decodeSLEB128(p, &n); 1015970d02c4SDan Gohman G.ImportIndex = 0; 1016c8da0c0bSSimon Pilgrim if ((ptrdiff_t)n > end - p) 1017970d02c4SDan Gohman report_fatal_error("global initial value must be valid SLEB128"); 1018970d02c4SDan Gohman p += n; 1019970d02c4SDan Gohman } 102082607f56SDan Gohman Globals.push_back(G); 102182607f56SDan Gohman } 102282607f56SDan Gohman } 102382607f56SDan Gohman 1024970d02c4SDan Gohman // In the special .stack_pointer section, we've encoded the stack pointer 1025970d02c4SDan Gohman // index. 1026970d02c4SDan Gohman MCSectionWasm *StackPtr = Ctx.getWasmSection(".stack_pointer", 0, 0); 1027970d02c4SDan Gohman if (!StackPtr->getFragmentList().empty()) { 1028970d02c4SDan Gohman if (StackPtr->getFragmentList().size() != 1) 1029970d02c4SDan Gohman report_fatal_error("only one .stack_pointer fragment supported"); 1030970d02c4SDan Gohman const MCFragment &Frag = *StackPtr->begin(); 1031970d02c4SDan Gohman if (Frag.hasInstructions() || Frag.getKind() != MCFragment::FT_Data) 1032970d02c4SDan Gohman report_fatal_error("only data supported in .stack_pointer"); 1033970d02c4SDan Gohman const MCDataFragment &DataFrag = cast<MCDataFragment>(Frag); 1034970d02c4SDan Gohman if (!DataFrag.getFixups().empty()) 1035970d02c4SDan Gohman report_fatal_error("fixups not supported in .stack_pointer"); 1036970d02c4SDan Gohman const SmallVectorImpl<char> &Contents = DataFrag.getContents(); 1037970d02c4SDan Gohman if (Contents.size() != 4) 1038970d02c4SDan Gohman report_fatal_error("only one entry supported in .stack_pointer"); 1039970d02c4SDan Gohman HasStackPointer = true; 1040970d02c4SDan Gohman StackPointerGlobal = NumGlobalImports + *(const int32_t *)Contents.data(); 1041970d02c4SDan Gohman } 1042970d02c4SDan Gohman 1043d934cb88SDan Gohman // Handle defined symbols. 1044d934cb88SDan Gohman for (const MCSymbol &S : Asm.symbols()) { 1045d934cb88SDan Gohman // Ignore unnamed temporary symbols, which aren't ever exported, imported, 1046d934cb88SDan Gohman // or used in relocations. 1047d934cb88SDan Gohman if (S.isTemporary() && S.getName().empty()) 1048d934cb88SDan Gohman continue; 1049d934cb88SDan Gohman const auto &WS = static_cast<const MCSymbolWasm &>(S); 1050d934cb88SDan Gohman unsigned Index; 1051d934cb88SDan Gohman if (WS.isFunction()) { 1052d934cb88SDan Gohman // Prepare the function's type, if we haven't seen it yet. 1053d934cb88SDan Gohman WasmFunctionType F; 1054d934cb88SDan Gohman F.Returns = WS.getReturns(); 1055d934cb88SDan Gohman F.Params = WS.getParams(); 1056d934cb88SDan Gohman auto Pair = 1057d934cb88SDan Gohman FunctionTypeIndices.insert(std::make_pair(F, FunctionTypes.size())); 1058d934cb88SDan Gohman if (Pair.second) 1059d934cb88SDan Gohman FunctionTypes.push_back(F); 1060d934cb88SDan Gohman 1061b879539aSDerek Schuff int32_t Type = Pair.first->second; 1062d934cb88SDan Gohman 1063d934cb88SDan Gohman if (WS.isDefined(/*SetUsed=*/false)) { 1064d934cb88SDan Gohman // A definition. Take the next available index. 1065d934cb88SDan Gohman Index = NumFuncImports + Functions.size(); 1066d934cb88SDan Gohman 1067d934cb88SDan Gohman // Prepare the function. 1068d934cb88SDan Gohman WasmFunction Func; 1069d934cb88SDan Gohman Func.Type = Type; 1070d934cb88SDan Gohman Func.Sym = &WS; 1071d934cb88SDan Gohman SymbolIndices[&WS] = Index; 1072d934cb88SDan Gohman Functions.push_back(Func); 1073d934cb88SDan Gohman } else { 1074d934cb88SDan Gohman // An import; the index was assigned above. 1075d934cb88SDan Gohman Index = SymbolIndices.find(&WS)->second; 1076d934cb88SDan Gohman } 1077d934cb88SDan Gohman 1078d934cb88SDan Gohman // If needed, prepare the function to be called indirectly. 1079*d99f6078SSam Clegg if (IsAddressTaken.count(&WS)) { 1080*d99f6078SSam Clegg IndirectSymbolIndices[&WS] = TableElems.size(); 1081d934cb88SDan Gohman TableElems.push_back(Index); 1082*d99f6078SSam Clegg } 1083d934cb88SDan Gohman } else { 1084c38e947eSSam Clegg if (WS.isTemporary() && !WS.getSize()) 1085c38e947eSSam Clegg continue; 1086c38e947eSSam Clegg 1087c38e947eSSam Clegg if (WS.isDefined(false)) { 1088d934cb88SDan Gohman if (WS.getOffset() != 0) 1089c38e947eSSam Clegg report_fatal_error("data sections must contain one variable each: " + 1090c38e947eSSam Clegg WS.getName()); 1091d934cb88SDan Gohman if (!WS.getSize()) 1092c38e947eSSam Clegg report_fatal_error("data symbols must have a size set with .size: " + 1093c38e947eSSam Clegg WS.getName()); 1094d934cb88SDan Gohman 1095d934cb88SDan Gohman int64_t Size = 0; 1096d934cb88SDan Gohman if (!WS.getSize()->evaluateAsAbsolute(Size, Layout)) 1097d934cb88SDan Gohman report_fatal_error(".size expression must be evaluatable"); 1098d934cb88SDan Gohman 1099d934cb88SDan Gohman MCSectionWasm &DataSection = 1100d934cb88SDan Gohman static_cast<MCSectionWasm &>(WS.getSection()); 1101d934cb88SDan Gohman 1102d934cb88SDan Gohman if (uint64_t(Size) != Layout.getSectionFileSize(&DataSection)) 1103d934cb88SDan Gohman report_fatal_error("data sections must contain at most one variable"); 1104d934cb88SDan Gohman 1105d934cb88SDan Gohman DataBytes.resize(alignTo(DataBytes.size(), DataSection.getAlignment())); 1106d934cb88SDan Gohman 1107d934cb88SDan Gohman DataSection.setSectionOffset(DataBytes.size()); 1108d934cb88SDan Gohman 1109d934cb88SDan Gohman for (MCSection::iterator I = DataSection.begin(), E = DataSection.end(); 1110d934cb88SDan Gohman I != E; ++I) { 1111d934cb88SDan Gohman const MCFragment &Frag = *I; 1112d934cb88SDan Gohman if (Frag.hasInstructions()) 1113d934cb88SDan Gohman report_fatal_error("only data supported in data sections"); 1114d934cb88SDan Gohman 1115d934cb88SDan Gohman if (const MCAlignFragment *Align = dyn_cast<MCAlignFragment>(&Frag)) { 1116d934cb88SDan Gohman if (Align->getValueSize() != 1) 1117d934cb88SDan Gohman report_fatal_error("only byte values supported for alignment"); 1118d934cb88SDan Gohman // If nops are requested, use zeros, as this is the data section. 1119d934cb88SDan Gohman uint8_t Value = Align->hasEmitNops() ? 0 : Align->getValue(); 1120d934cb88SDan Gohman uint64_t Size = std::min<uint64_t>(alignTo(DataBytes.size(), 1121d934cb88SDan Gohman Align->getAlignment()), 1122d934cb88SDan Gohman DataBytes.size() + 1123d934cb88SDan Gohman Align->getMaxBytesToEmit()); 1124d934cb88SDan Gohman DataBytes.resize(Size, Value); 1125d934cb88SDan Gohman } else if (const MCFillFragment *Fill = 1126d934cb88SDan Gohman dyn_cast<MCFillFragment>(&Frag)) { 1127d934cb88SDan Gohman DataBytes.insert(DataBytes.end(), Size, Fill->getValue()); 1128d934cb88SDan Gohman } else { 1129d934cb88SDan Gohman const MCDataFragment &DataFrag = cast<MCDataFragment>(Frag); 1130d934cb88SDan Gohman const SmallVectorImpl<char> &Contents = DataFrag.getContents(); 1131d934cb88SDan Gohman 1132d934cb88SDan Gohman DataBytes.insert(DataBytes.end(), Contents.begin(), Contents.end()); 1133d934cb88SDan Gohman } 1134d934cb88SDan Gohman } 1135d934cb88SDan Gohman 11361c154a61SSam Clegg // For each global, prepare a corresponding wasm global holding its 11371c154a61SSam Clegg // address. For externals these will also be named exports. 1138d934cb88SDan Gohman Index = NumGlobalImports + Globals.size(); 1139d934cb88SDan Gohman 1140d934cb88SDan Gohman WasmGlobal Global; 1141d934cb88SDan Gohman Global.Type = PtrType; 1142d934cb88SDan Gohman Global.IsMutable = false; 1143970d02c4SDan Gohman Global.HasImport = false; 1144d934cb88SDan Gohman Global.InitialValue = DataSection.getSectionOffset(); 1145970d02c4SDan Gohman Global.ImportIndex = 0; 1146d934cb88SDan Gohman SymbolIndices[&WS] = Index; 1147d934cb88SDan Gohman Globals.push_back(Global); 1148d934cb88SDan Gohman } 1149d934cb88SDan Gohman } 1150d934cb88SDan Gohman 1151d934cb88SDan Gohman // If the symbol is visible outside this translation unit, export it. 1152d934cb88SDan Gohman if (WS.isExternal()) { 1153d934cb88SDan Gohman assert(WS.isDefined(false)); 1154d934cb88SDan Gohman WasmExport Export; 1155d934cb88SDan Gohman Export.FieldName = WS.getName(); 1156d934cb88SDan Gohman Export.Index = Index; 1157d934cb88SDan Gohman 1158d934cb88SDan Gohman if (WS.isFunction()) 1159d934cb88SDan Gohman Export.Kind = wasm::WASM_EXTERNAL_FUNCTION; 1160d934cb88SDan Gohman else 1161d934cb88SDan Gohman Export.Kind = wasm::WASM_EXTERNAL_GLOBAL; 1162d934cb88SDan Gohman 1163d934cb88SDan Gohman Exports.push_back(Export); 1164d934cb88SDan Gohman } 1165d934cb88SDan Gohman } 1166d934cb88SDan Gohman 1167d934cb88SDan Gohman // Add types for indirect function calls. 1168acd7d2b0SSam Clegg for (const WasmRelocationEntry &Fixup : CodeRelocations) { 1169acd7d2b0SSam Clegg if (Fixup.Type != wasm::R_WEBASSEMBLY_TYPE_INDEX_LEB) 1170acd7d2b0SSam Clegg continue; 1171970d02c4SDan Gohman 1172d934cb88SDan Gohman WasmFunctionType F; 1173d934cb88SDan Gohman F.Returns = Fixup.Symbol->getReturns(); 1174d934cb88SDan Gohman F.Params = Fixup.Symbol->getParams(); 1175d934cb88SDan Gohman auto Pair = 1176d934cb88SDan Gohman FunctionTypeIndices.insert(std::make_pair(F, FunctionTypes.size())); 1177d934cb88SDan Gohman if (Pair.second) 1178d934cb88SDan Gohman FunctionTypes.push_back(F); 1179d934cb88SDan Gohman 1180acd7d2b0SSam Clegg TypeIndices[Fixup.Symbol] = Pair.first->second; 1181d934cb88SDan Gohman } 1182d934cb88SDan Gohman 118318eafb6cSDan Gohman // Write out the Wasm header. 118418eafb6cSDan Gohman writeHeader(Asm); 118518eafb6cSDan Gohman 11869e15f359SSam Clegg writeTypeSection(FunctionTypes); 11879e15f359SSam Clegg writeImportSection(Imports); 11889e15f359SSam Clegg writeFunctionSection(Functions); 1189*d99f6078SSam Clegg writeTableSection(TableElems.size()); 11909e15f359SSam Clegg writeMemorySection(DataBytes); 11919e15f359SSam Clegg writeGlobalSection(Globals); 11929e15f359SSam Clegg writeExportSection(Exports); 11939e15f359SSam Clegg // TODO: Start Section 11949e15f359SSam Clegg writeElemSection(TableElems); 1195acd7d2b0SSam Clegg writeCodeSection(Asm, Layout, Functions); 1196acd7d2b0SSam Clegg uint64_t DataSectionHeaderSize = writeDataSection(DataBytes); 11979e15f359SSam Clegg writeNameSection(Functions, Imports, NumFuncImports); 1198acd7d2b0SSam Clegg writeCodeRelocSection(); 1199acd7d2b0SSam Clegg writeDataRelocSection(DataSectionHeaderSize); 12009e15f359SSam Clegg writeLinkingMetaDataSection(HasStackPointer, StackPointerGlobal); 1201970d02c4SDan Gohman 1202d934cb88SDan Gohman // TODO: Translate the .comment section to the output. 1203d934cb88SDan Gohman // TODO: Translate debug sections to the output. 120418eafb6cSDan Gohman } 120518eafb6cSDan Gohman 120618eafb6cSDan Gohman MCObjectWriter *llvm::createWasmObjectWriter(MCWasmObjectTargetWriter *MOTW, 120718eafb6cSDan Gohman raw_pwrite_stream &OS) { 120818eafb6cSDan Gohman return new WasmObjectWriter(MOTW, OS); 120918eafb6cSDan Gohman } 1210