10b57cec5SDimitry Andric //===-- WebAssemblyWasmObjectWriter.cpp - WebAssembly Wasm Writer ---------===//
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 /// \file
100b57cec5SDimitry Andric /// This file handles Wasm-specific object emission, converting LLVM's
110b57cec5SDimitry Andric /// internal fixups into the appropriate relocations.
120b57cec5SDimitry Andric ///
130b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
140b57cec5SDimitry Andric
150b57cec5SDimitry Andric #include "MCTargetDesc/WebAssemblyFixupKinds.h"
160b57cec5SDimitry Andric #include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
170b57cec5SDimitry Andric #include "llvm/BinaryFormat/Wasm.h"
180b57cec5SDimitry Andric #include "llvm/MC/MCAsmBackend.h"
190b57cec5SDimitry Andric #include "llvm/MC/MCFixup.h"
200b57cec5SDimitry Andric #include "llvm/MC/MCFixupKindInfo.h"
210b57cec5SDimitry Andric #include "llvm/MC/MCObjectWriter.h"
220b57cec5SDimitry Andric #include "llvm/MC/MCSectionWasm.h"
230b57cec5SDimitry Andric #include "llvm/MC/MCSymbolWasm.h"
240b57cec5SDimitry Andric #include "llvm/MC/MCValue.h"
250b57cec5SDimitry Andric #include "llvm/MC/MCWasmObjectWriter.h"
260b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
270b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
280b57cec5SDimitry Andric
290b57cec5SDimitry Andric using namespace llvm;
300b57cec5SDimitry Andric
310b57cec5SDimitry Andric namespace {
320b57cec5SDimitry Andric class WebAssemblyWasmObjectWriter final : public MCWasmObjectTargetWriter {
330b57cec5SDimitry Andric public:
348bcb0991SDimitry Andric explicit WebAssemblyWasmObjectWriter(bool Is64Bit, bool IsEmscripten);
350b57cec5SDimitry Andric
360b57cec5SDimitry Andric private:
37*5f7ddb14SDimitry Andric unsigned getRelocType(const MCValue &Target, const MCFixup &Fixup,
38*5f7ddb14SDimitry Andric const MCSectionWasm &FixupSection,
39*5f7ddb14SDimitry Andric bool IsLocRel) const override;
400b57cec5SDimitry Andric };
410b57cec5SDimitry Andric } // end anonymous namespace
420b57cec5SDimitry Andric
WebAssemblyWasmObjectWriter(bool Is64Bit,bool IsEmscripten)438bcb0991SDimitry Andric WebAssemblyWasmObjectWriter::WebAssemblyWasmObjectWriter(bool Is64Bit,
448bcb0991SDimitry Andric bool IsEmscripten)
458bcb0991SDimitry Andric : MCWasmObjectTargetWriter(Is64Bit, IsEmscripten) {}
460b57cec5SDimitry Andric
getTargetSection(const MCExpr * Expr)47*5f7ddb14SDimitry Andric static const MCSection *getTargetSection(const MCExpr *Expr) {
480b57cec5SDimitry Andric if (auto SyExp = dyn_cast<MCSymbolRefExpr>(Expr)) {
490b57cec5SDimitry Andric if (SyExp->getSymbol().isInSection())
500b57cec5SDimitry Andric return &SyExp->getSymbol().getSection();
510b57cec5SDimitry Andric return nullptr;
520b57cec5SDimitry Andric }
530b57cec5SDimitry Andric
540b57cec5SDimitry Andric if (auto BinOp = dyn_cast<MCBinaryExpr>(Expr)) {
55*5f7ddb14SDimitry Andric auto SectionLHS = getTargetSection(BinOp->getLHS());
56*5f7ddb14SDimitry Andric auto SectionRHS = getTargetSection(BinOp->getRHS());
570b57cec5SDimitry Andric return SectionLHS == SectionRHS ? nullptr : SectionLHS;
580b57cec5SDimitry Andric }
590b57cec5SDimitry Andric
600b57cec5SDimitry Andric if (auto UnOp = dyn_cast<MCUnaryExpr>(Expr))
61*5f7ddb14SDimitry Andric return getTargetSection(UnOp->getSubExpr());
620b57cec5SDimitry Andric
630b57cec5SDimitry Andric return nullptr;
640b57cec5SDimitry Andric }
650b57cec5SDimitry Andric
getRelocType(const MCValue & Target,const MCFixup & Fixup,const MCSectionWasm & FixupSection,bool IsLocRel) const66*5f7ddb14SDimitry Andric unsigned WebAssemblyWasmObjectWriter::getRelocType(
67*5f7ddb14SDimitry Andric const MCValue &Target, const MCFixup &Fixup,
68*5f7ddb14SDimitry Andric const MCSectionWasm &FixupSection, bool IsLocRel) const {
690b57cec5SDimitry Andric const MCSymbolRefExpr *RefA = Target.getSymA();
700b57cec5SDimitry Andric assert(RefA);
710b57cec5SDimitry Andric auto& SymA = cast<MCSymbolWasm>(RefA->getSymbol());
720b57cec5SDimitry Andric
730b57cec5SDimitry Andric MCSymbolRefExpr::VariantKind Modifier = Target.getAccessVariant();
740b57cec5SDimitry Andric
750b57cec5SDimitry Andric switch (Modifier) {
760b57cec5SDimitry Andric case MCSymbolRefExpr::VK_GOT:
770b57cec5SDimitry Andric return wasm::R_WASM_GLOBAL_INDEX_LEB;
780b57cec5SDimitry Andric case MCSymbolRefExpr::VK_WASM_TBREL:
790b57cec5SDimitry Andric assert(SymA.isFunction());
80*5f7ddb14SDimitry Andric return is64Bit() ? wasm::R_WASM_TABLE_INDEX_REL_SLEB64
81*5f7ddb14SDimitry Andric : wasm::R_WASM_TABLE_INDEX_REL_SLEB;
82af732203SDimitry Andric case MCSymbolRefExpr::VK_WASM_TLSREL:
83*5f7ddb14SDimitry Andric return is64Bit() ? wasm::R_WASM_MEMORY_ADDR_TLS_SLEB64
84*5f7ddb14SDimitry Andric : wasm::R_WASM_MEMORY_ADDR_TLS_SLEB;
850b57cec5SDimitry Andric case MCSymbolRefExpr::VK_WASM_MBREL:
860b57cec5SDimitry Andric assert(SymA.isData());
875ffd83dbSDimitry Andric return is64Bit() ? wasm::R_WASM_MEMORY_ADDR_REL_SLEB64
885ffd83dbSDimitry Andric : wasm::R_WASM_MEMORY_ADDR_REL_SLEB;
890b57cec5SDimitry Andric case MCSymbolRefExpr::VK_WASM_TYPEINDEX:
900b57cec5SDimitry Andric return wasm::R_WASM_TYPE_INDEX_LEB;
910b57cec5SDimitry Andric default:
920b57cec5SDimitry Andric break;
930b57cec5SDimitry Andric }
940b57cec5SDimitry Andric
950b57cec5SDimitry Andric switch (unsigned(Fixup.getKind())) {
960b57cec5SDimitry Andric case WebAssembly::fixup_sleb128_i32:
970b57cec5SDimitry Andric if (SymA.isFunction())
980b57cec5SDimitry Andric return wasm::R_WASM_TABLE_INDEX_SLEB;
990b57cec5SDimitry Andric return wasm::R_WASM_MEMORY_ADDR_SLEB;
1000b57cec5SDimitry Andric case WebAssembly::fixup_sleb128_i64:
101af732203SDimitry Andric if (SymA.isFunction())
102af732203SDimitry Andric return wasm::R_WASM_TABLE_INDEX_SLEB64;
1035ffd83dbSDimitry Andric return wasm::R_WASM_MEMORY_ADDR_SLEB64;
1040b57cec5SDimitry Andric case WebAssembly::fixup_uleb128_i32:
1050b57cec5SDimitry Andric if (SymA.isGlobal())
1060b57cec5SDimitry Andric return wasm::R_WASM_GLOBAL_INDEX_LEB;
1070b57cec5SDimitry Andric if (SymA.isFunction())
1080b57cec5SDimitry Andric return wasm::R_WASM_FUNCTION_INDEX_LEB;
109*5f7ddb14SDimitry Andric if (SymA.isTag())
110*5f7ddb14SDimitry Andric return wasm::R_WASM_TAG_INDEX_LEB;
111af732203SDimitry Andric if (SymA.isTable())
112af732203SDimitry Andric return wasm::R_WASM_TABLE_NUMBER_LEB;
1130b57cec5SDimitry Andric return wasm::R_WASM_MEMORY_ADDR_LEB;
1145ffd83dbSDimitry Andric case WebAssembly::fixup_uleb128_i64:
1155ffd83dbSDimitry Andric assert(SymA.isData());
1165ffd83dbSDimitry Andric return wasm::R_WASM_MEMORY_ADDR_LEB64;
1170b57cec5SDimitry Andric case FK_Data_4:
118*5f7ddb14SDimitry Andric if (SymA.isFunction()) {
119*5f7ddb14SDimitry Andric if (FixupSection.getKind().isMetadata())
120*5f7ddb14SDimitry Andric return wasm::R_WASM_FUNCTION_OFFSET_I32;
121*5f7ddb14SDimitry Andric assert(FixupSection.isWasmData());
1220b57cec5SDimitry Andric return wasm::R_WASM_TABLE_INDEX_I32;
123*5f7ddb14SDimitry Andric }
1245ffd83dbSDimitry Andric if (SymA.isGlobal())
1255ffd83dbSDimitry Andric return wasm::R_WASM_GLOBAL_INDEX_I32;
1260b57cec5SDimitry Andric if (auto Section = static_cast<const MCSectionWasm *>(
127*5f7ddb14SDimitry Andric getTargetSection(Fixup.getValue()))) {
1280b57cec5SDimitry Andric if (Section->getKind().isText())
1290b57cec5SDimitry Andric return wasm::R_WASM_FUNCTION_OFFSET_I32;
1300b57cec5SDimitry Andric else if (!Section->isWasmData())
1310b57cec5SDimitry Andric return wasm::R_WASM_SECTION_OFFSET_I32;
1320b57cec5SDimitry Andric }
133*5f7ddb14SDimitry Andric return IsLocRel ? wasm::R_WASM_MEMORY_ADDR_LOCREL_I32
134*5f7ddb14SDimitry Andric : wasm::R_WASM_MEMORY_ADDR_I32;
1355ffd83dbSDimitry Andric case FK_Data_8:
136*5f7ddb14SDimitry Andric if (SymA.isFunction()) {
137*5f7ddb14SDimitry Andric if (FixupSection.getKind().isMetadata())
138*5f7ddb14SDimitry Andric return wasm::R_WASM_FUNCTION_OFFSET_I64;
139af732203SDimitry Andric return wasm::R_WASM_TABLE_INDEX_I64;
140*5f7ddb14SDimitry Andric }
141af732203SDimitry Andric if (SymA.isGlobal())
142af732203SDimitry Andric llvm_unreachable("unimplemented R_WASM_GLOBAL_INDEX_I64");
143af732203SDimitry Andric if (auto Section = static_cast<const MCSectionWasm *>(
144*5f7ddb14SDimitry Andric getTargetSection(Fixup.getValue()))) {
145af732203SDimitry Andric if (Section->getKind().isText())
146af732203SDimitry Andric return wasm::R_WASM_FUNCTION_OFFSET_I64;
147af732203SDimitry Andric else if (!Section->isWasmData())
148af732203SDimitry Andric llvm_unreachable("unimplemented R_WASM_SECTION_OFFSET_I64");
149af732203SDimitry Andric }
1505ffd83dbSDimitry Andric assert(SymA.isData());
1515ffd83dbSDimitry Andric return wasm::R_WASM_MEMORY_ADDR_I64;
1520b57cec5SDimitry Andric default:
1530b57cec5SDimitry Andric llvm_unreachable("unimplemented fixup kind");
1540b57cec5SDimitry Andric }
1550b57cec5SDimitry Andric }
1560b57cec5SDimitry Andric
1570b57cec5SDimitry Andric std::unique_ptr<MCObjectTargetWriter>
createWebAssemblyWasmObjectWriter(bool Is64Bit,bool IsEmscripten)1588bcb0991SDimitry Andric llvm::createWebAssemblyWasmObjectWriter(bool Is64Bit, bool IsEmscripten) {
1598bcb0991SDimitry Andric return std::make_unique<WebAssemblyWasmObjectWriter>(Is64Bit, IsEmscripten);
1600b57cec5SDimitry Andric }
161