xref: /src/contrib/llvm-project/llvm/lib/Target/WebAssembly/MCTargetDesc/WebAssemblyWasmObjectWriter.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
171d5a254SDimitry Andric //===-- WebAssemblyWasmObjectWriter.cpp - WebAssembly Wasm Writer ---------===//
271d5a254SDimitry Andric //
3e6d15924SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e6d15924SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5e6d15924SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
671d5a254SDimitry Andric //
771d5a254SDimitry Andric //===----------------------------------------------------------------------===//
871d5a254SDimitry Andric ///
971d5a254SDimitry Andric /// \file
10eb11fae6SDimitry Andric /// This file handles Wasm-specific object emission, converting LLVM's
1171d5a254SDimitry Andric /// internal fixups into the appropriate relocations.
1271d5a254SDimitry Andric ///
1371d5a254SDimitry Andric //===----------------------------------------------------------------------===//
1471d5a254SDimitry Andric 
1571d5a254SDimitry Andric #include "MCTargetDesc/WebAssemblyFixupKinds.h"
167ab83427SDimitry Andric #include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
177ab83427SDimitry Andric #include "llvm/BinaryFormat/Wasm.h"
187c7aba6eSDimitry Andric #include "llvm/MC/MCAsmBackend.h"
1971d5a254SDimitry Andric #include "llvm/MC/MCFixup.h"
207c7aba6eSDimitry Andric #include "llvm/MC/MCFixupKindInfo.h"
21044eb2f6SDimitry Andric #include "llvm/MC/MCObjectWriter.h"
22eb11fae6SDimitry Andric #include "llvm/MC/MCSectionWasm.h"
2371d5a254SDimitry Andric #include "llvm/MC/MCSymbolWasm.h"
247c7aba6eSDimitry Andric #include "llvm/MC/MCValue.h"
25eb11fae6SDimitry Andric #include "llvm/MC/MCWasmObjectWriter.h"
2671d5a254SDimitry Andric #include "llvm/Support/Casting.h"
2771d5a254SDimitry Andric #include "llvm/Support/ErrorHandling.h"
287c7aba6eSDimitry Andric 
2971d5a254SDimitry Andric using namespace llvm;
3071d5a254SDimitry Andric 
3171d5a254SDimitry Andric namespace {
3271d5a254SDimitry Andric class WebAssemblyWasmObjectWriter final : public MCWasmObjectTargetWriter {
3371d5a254SDimitry Andric public:
341d5ae102SDimitry Andric   explicit WebAssemblyWasmObjectWriter(bool Is64Bit, bool IsEmscripten);
3571d5a254SDimitry Andric 
3671d5a254SDimitry Andric private:
37344a3780SDimitry Andric   unsigned getRelocType(const MCValue &Target, const MCFixup &Fixup,
38344a3780SDimitry Andric                         const MCSectionWasm &FixupSection,
39344a3780SDimitry Andric                         bool IsLocRel) const override;
4071d5a254SDimitry Andric };
4171d5a254SDimitry Andric } // end anonymous namespace
4271d5a254SDimitry Andric 
WebAssemblyWasmObjectWriter(bool Is64Bit,bool IsEmscripten)431d5ae102SDimitry Andric WebAssemblyWasmObjectWriter::WebAssemblyWasmObjectWriter(bool Is64Bit,
441d5ae102SDimitry Andric                                                          bool IsEmscripten)
451d5ae102SDimitry Andric     : MCWasmObjectTargetWriter(Is64Bit, IsEmscripten) {}
4671d5a254SDimitry Andric 
getTargetSection(const MCExpr * Expr)47344a3780SDimitry Andric static const MCSection *getTargetSection(const MCExpr *Expr) {
48eb11fae6SDimitry Andric   if (auto SyExp = dyn_cast<MCSymbolRefExpr>(Expr)) {
49eb11fae6SDimitry Andric     if (SyExp->getSymbol().isInSection())
50eb11fae6SDimitry Andric       return &SyExp->getSymbol().getSection();
51eb11fae6SDimitry Andric     return nullptr;
52eb11fae6SDimitry Andric   }
53eb11fae6SDimitry Andric 
54eb11fae6SDimitry Andric   if (auto BinOp = dyn_cast<MCBinaryExpr>(Expr)) {
55344a3780SDimitry Andric     auto SectionLHS = getTargetSection(BinOp->getLHS());
56344a3780SDimitry Andric     auto SectionRHS = getTargetSection(BinOp->getRHS());
57eb11fae6SDimitry Andric     return SectionLHS == SectionRHS ? nullptr : SectionLHS;
58eb11fae6SDimitry Andric   }
59eb11fae6SDimitry Andric 
60eb11fae6SDimitry Andric   if (auto UnOp = dyn_cast<MCUnaryExpr>(Expr))
61344a3780SDimitry Andric     return getTargetSection(UnOp->getSubExpr());
62eb11fae6SDimitry Andric 
63eb11fae6SDimitry Andric   return nullptr;
64eb11fae6SDimitry Andric }
65eb11fae6SDimitry Andric 
getRelocType(const MCValue & Target,const MCFixup & Fixup,const MCSectionWasm & FixupSection,bool IsLocRel) const66344a3780SDimitry Andric unsigned WebAssemblyWasmObjectWriter::getRelocType(
67344a3780SDimitry Andric     const MCValue &Target, const MCFixup &Fixup,
68344a3780SDimitry Andric     const MCSectionWasm &FixupSection, bool IsLocRel) const {
69e6d15924SDimitry Andric   const MCSymbolRefExpr *RefA = Target.getSymA();
70e6d15924SDimitry Andric   assert(RefA);
71e6d15924SDimitry Andric   auto& SymA = cast<MCSymbolWasm>(RefA->getSymbol());
72e6d15924SDimitry Andric 
73e6d15924SDimitry Andric   MCSymbolRefExpr::VariantKind Modifier = Target.getAccessVariant();
74e6d15924SDimitry Andric 
75e6d15924SDimitry Andric   switch (Modifier) {
76e6d15924SDimitry Andric     case MCSymbolRefExpr::VK_GOT:
77c0981da4SDimitry Andric     case MCSymbolRefExpr::VK_WASM_GOT_TLS:
78e6d15924SDimitry Andric       return wasm::R_WASM_GLOBAL_INDEX_LEB;
79e6d15924SDimitry Andric     case MCSymbolRefExpr::VK_WASM_TBREL:
80e6d15924SDimitry Andric       assert(SymA.isFunction());
81344a3780SDimitry Andric       return is64Bit() ? wasm::R_WASM_TABLE_INDEX_REL_SLEB64
82344a3780SDimitry Andric                        : wasm::R_WASM_TABLE_INDEX_REL_SLEB;
83b60736ecSDimitry Andric     case MCSymbolRefExpr::VK_WASM_TLSREL:
84344a3780SDimitry Andric       return is64Bit() ? wasm::R_WASM_MEMORY_ADDR_TLS_SLEB64
85344a3780SDimitry Andric                        : wasm::R_WASM_MEMORY_ADDR_TLS_SLEB;
86e6d15924SDimitry Andric     case MCSymbolRefExpr::VK_WASM_MBREL:
87e6d15924SDimitry Andric       assert(SymA.isData());
88cfca06d7SDimitry Andric       return is64Bit() ? wasm::R_WASM_MEMORY_ADDR_REL_SLEB64
89cfca06d7SDimitry Andric                        : wasm::R_WASM_MEMORY_ADDR_REL_SLEB;
90e6d15924SDimitry Andric     case MCSymbolRefExpr::VK_WASM_TYPEINDEX:
91e6d15924SDimitry Andric       return wasm::R_WASM_TYPE_INDEX_LEB;
92c0981da4SDimitry Andric     case MCSymbolRefExpr::VK_None:
93c0981da4SDimitry Andric       break;
947fa27ce4SDimitry Andric     case MCSymbolRefExpr::VK_WASM_FUNCINDEX:
957fa27ce4SDimitry Andric       return wasm::R_WASM_FUNCTION_INDEX_I32;
96e6d15924SDimitry Andric     default:
97c0981da4SDimitry Andric       report_fatal_error("unknown VariantKind");
98e6d15924SDimitry Andric       break;
99e6d15924SDimitry Andric   }
10071d5a254SDimitry Andric 
10171d5a254SDimitry Andric   switch (unsigned(Fixup.getKind())) {
102e6d15924SDimitry Andric   case WebAssembly::fixup_sleb128_i32:
103e6d15924SDimitry Andric     if (SymA.isFunction())
104e6d15924SDimitry Andric       return wasm::R_WASM_TABLE_INDEX_SLEB;
105e6d15924SDimitry Andric     return wasm::R_WASM_MEMORY_ADDR_SLEB;
106e6d15924SDimitry Andric   case WebAssembly::fixup_sleb128_i64:
107b60736ecSDimitry Andric     if (SymA.isFunction())
108b60736ecSDimitry Andric       return wasm::R_WASM_TABLE_INDEX_SLEB64;
109cfca06d7SDimitry Andric     return wasm::R_WASM_MEMORY_ADDR_SLEB64;
110e6d15924SDimitry Andric   case WebAssembly::fixup_uleb128_i32:
111e6d15924SDimitry Andric     if (SymA.isGlobal())
112e6d15924SDimitry Andric       return wasm::R_WASM_GLOBAL_INDEX_LEB;
113e6d15924SDimitry Andric     if (SymA.isFunction())
114e6d15924SDimitry Andric       return wasm::R_WASM_FUNCTION_INDEX_LEB;
115344a3780SDimitry Andric     if (SymA.isTag())
116344a3780SDimitry Andric       return wasm::R_WASM_TAG_INDEX_LEB;
117b60736ecSDimitry Andric     if (SymA.isTable())
118b60736ecSDimitry Andric       return wasm::R_WASM_TABLE_NUMBER_LEB;
119e6d15924SDimitry Andric     return wasm::R_WASM_MEMORY_ADDR_LEB;
120cfca06d7SDimitry Andric   case WebAssembly::fixup_uleb128_i64:
121cfca06d7SDimitry Andric     assert(SymA.isData());
122cfca06d7SDimitry Andric     return wasm::R_WASM_MEMORY_ADDR_LEB64;
12371d5a254SDimitry Andric   case FK_Data_4:
124344a3780SDimitry Andric     if (SymA.isFunction()) {
125ac9a064cSDimitry Andric       if (FixupSection.isMetadata())
126344a3780SDimitry Andric         return wasm::R_WASM_FUNCTION_OFFSET_I32;
127344a3780SDimitry Andric       assert(FixupSection.isWasmData());
128e6d15924SDimitry Andric       return wasm::R_WASM_TABLE_INDEX_I32;
129344a3780SDimitry Andric     }
130cfca06d7SDimitry Andric     if (SymA.isGlobal())
131cfca06d7SDimitry Andric       return wasm::R_WASM_GLOBAL_INDEX_I32;
132eb11fae6SDimitry Andric     if (auto Section = static_cast<const MCSectionWasm *>(
133344a3780SDimitry Andric             getTargetSection(Fixup.getValue()))) {
134ac9a064cSDimitry Andric       if (Section->isText())
135e6d15924SDimitry Andric         return wasm::R_WASM_FUNCTION_OFFSET_I32;
136eb11fae6SDimitry Andric       else if (!Section->isWasmData())
137e6d15924SDimitry Andric         return wasm::R_WASM_SECTION_OFFSET_I32;
138eb11fae6SDimitry Andric     }
139344a3780SDimitry Andric     return IsLocRel ? wasm::R_WASM_MEMORY_ADDR_LOCREL_I32
140344a3780SDimitry Andric                     : wasm::R_WASM_MEMORY_ADDR_I32;
141cfca06d7SDimitry Andric   case FK_Data_8:
142344a3780SDimitry Andric     if (SymA.isFunction()) {
143ac9a064cSDimitry Andric       if (FixupSection.isMetadata())
144344a3780SDimitry Andric         return wasm::R_WASM_FUNCTION_OFFSET_I64;
145b60736ecSDimitry Andric       return wasm::R_WASM_TABLE_INDEX_I64;
146344a3780SDimitry Andric     }
147b60736ecSDimitry Andric     if (SymA.isGlobal())
148b60736ecSDimitry Andric       llvm_unreachable("unimplemented R_WASM_GLOBAL_INDEX_I64");
149b60736ecSDimitry Andric     if (auto Section = static_cast<const MCSectionWasm *>(
150344a3780SDimitry Andric             getTargetSection(Fixup.getValue()))) {
151ac9a064cSDimitry Andric       if (Section->isText())
152b60736ecSDimitry Andric         return wasm::R_WASM_FUNCTION_OFFSET_I64;
153b60736ecSDimitry Andric       else if (!Section->isWasmData())
154b60736ecSDimitry Andric         llvm_unreachable("unimplemented R_WASM_SECTION_OFFSET_I64");
155b60736ecSDimitry Andric     }
156cfca06d7SDimitry Andric     assert(SymA.isData());
157cfca06d7SDimitry Andric     return wasm::R_WASM_MEMORY_ADDR_I64;
15871d5a254SDimitry Andric   default:
15971d5a254SDimitry Andric     llvm_unreachable("unimplemented fixup kind");
16071d5a254SDimitry Andric   }
16171d5a254SDimitry Andric }
16271d5a254SDimitry Andric 
163eb11fae6SDimitry Andric std::unique_ptr<MCObjectTargetWriter>
createWebAssemblyWasmObjectWriter(bool Is64Bit,bool IsEmscripten)1641d5ae102SDimitry Andric llvm::createWebAssemblyWasmObjectWriter(bool Is64Bit, bool IsEmscripten) {
1651d5ae102SDimitry Andric   return std::make_unique<WebAssemblyWasmObjectWriter>(Is64Bit, IsEmscripten);
16671d5a254SDimitry Andric }
167