17a7e6055SDimitry Andric //===-- WebAssemblyWasmObjectWriter.cpp - WebAssembly Wasm Writer ---------===//
27a7e6055SDimitry Andric //
37a7e6055SDimitry Andric //                     The LLVM Compiler Infrastructure
47a7e6055SDimitry Andric //
57a7e6055SDimitry Andric // This file is distributed under the University of Illinois Open Source
67a7e6055SDimitry Andric // License. See LICENSE.TXT for details.
77a7e6055SDimitry Andric //
87a7e6055SDimitry Andric //===----------------------------------------------------------------------===//
97a7e6055SDimitry Andric ///
107a7e6055SDimitry Andric /// \file
114ba319b5SDimitry Andric /// This file handles Wasm-specific object emission, converting LLVM's
127a7e6055SDimitry Andric /// internal fixups into the appropriate relocations.
137a7e6055SDimitry Andric ///
147a7e6055SDimitry Andric //===----------------------------------------------------------------------===//
157a7e6055SDimitry Andric 
167a7e6055SDimitry Andric #include "MCTargetDesc/WebAssemblyFixupKinds.h"
17db17bf38SDimitry Andric #include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
18db17bf38SDimitry Andric #include "llvm/BinaryFormat/Wasm.h"
1924d58133SDimitry Andric #include "llvm/MC/MCAsmBackend.h"
207a7e6055SDimitry Andric #include "llvm/MC/MCFixup.h"
2124d58133SDimitry Andric #include "llvm/MC/MCFixupKindInfo.h"
222cab237bSDimitry Andric #include "llvm/MC/MCObjectWriter.h"
234ba319b5SDimitry Andric #include "llvm/MC/MCSectionWasm.h"
247a7e6055SDimitry Andric #include "llvm/MC/MCSymbolWasm.h"
2524d58133SDimitry Andric #include "llvm/MC/MCValue.h"
264ba319b5SDimitry Andric #include "llvm/MC/MCWasmObjectWriter.h"
277a7e6055SDimitry Andric #include "llvm/Support/Casting.h"
287a7e6055SDimitry Andric #include "llvm/Support/ErrorHandling.h"
2924d58133SDimitry Andric 
307a7e6055SDimitry Andric using namespace llvm;
317a7e6055SDimitry Andric 
327a7e6055SDimitry Andric namespace {
337a7e6055SDimitry Andric class WebAssemblyWasmObjectWriter final : public MCWasmObjectTargetWriter {
347a7e6055SDimitry Andric public:
357a7e6055SDimitry Andric   explicit WebAssemblyWasmObjectWriter(bool Is64Bit);
367a7e6055SDimitry Andric 
377a7e6055SDimitry Andric private:
3824d58133SDimitry Andric   unsigned getRelocType(const MCValue &Target,
3924d58133SDimitry Andric                         const MCFixup &Fixup) const override;
407a7e6055SDimitry Andric };
417a7e6055SDimitry Andric } // end anonymous namespace
427a7e6055SDimitry Andric 
WebAssemblyWasmObjectWriter(bool Is64Bit)437a7e6055SDimitry Andric WebAssemblyWasmObjectWriter::WebAssemblyWasmObjectWriter(bool Is64Bit)
447a7e6055SDimitry Andric     : MCWasmObjectTargetWriter(Is64Bit) {}
457a7e6055SDimitry Andric 
467a7e6055SDimitry Andric // Test whether the given expression computes a function address.
IsFunctionExpr(const MCExpr * Expr)477a7e6055SDimitry Andric static bool IsFunctionExpr(const MCExpr *Expr) {
4824d58133SDimitry Andric   if (auto SyExp = dyn_cast<MCSymbolRefExpr>(Expr))
497a7e6055SDimitry Andric     return cast<MCSymbolWasm>(SyExp->getSymbol()).isFunction();
507a7e6055SDimitry Andric 
5124d58133SDimitry Andric   if (auto BinOp = dyn_cast<MCBinaryExpr>(Expr))
527a7e6055SDimitry Andric     return IsFunctionExpr(BinOp->getLHS()) != IsFunctionExpr(BinOp->getRHS());
537a7e6055SDimitry Andric 
5424d58133SDimitry Andric   if (auto UnOp = dyn_cast<MCUnaryExpr>(Expr))
557a7e6055SDimitry Andric     return IsFunctionExpr(UnOp->getSubExpr());
567a7e6055SDimitry Andric 
577a7e6055SDimitry Andric   return false;
587a7e6055SDimitry Andric }
597a7e6055SDimitry Andric 
IsFunctionType(const MCValue & Target)60db17bf38SDimitry Andric static bool IsFunctionType(const MCValue &Target) {
61db17bf38SDimitry Andric   const MCSymbolRefExpr *RefA = Target.getSymA();
62db17bf38SDimitry Andric   return RefA && RefA->getKind() == MCSymbolRefExpr::VK_WebAssembly_TYPEINDEX;
63db17bf38SDimitry Andric }
64db17bf38SDimitry Andric 
GetFixupSection(const MCExpr * Expr)654ba319b5SDimitry Andric static const MCSection *GetFixupSection(const MCExpr *Expr) {
664ba319b5SDimitry Andric   if (auto SyExp = dyn_cast<MCSymbolRefExpr>(Expr)) {
674ba319b5SDimitry Andric     if (SyExp->getSymbol().isInSection())
684ba319b5SDimitry Andric       return &SyExp->getSymbol().getSection();
694ba319b5SDimitry Andric     return nullptr;
704ba319b5SDimitry Andric   }
714ba319b5SDimitry Andric 
724ba319b5SDimitry Andric   if (auto BinOp = dyn_cast<MCBinaryExpr>(Expr)) {
734ba319b5SDimitry Andric     auto SectionLHS = GetFixupSection(BinOp->getLHS());
744ba319b5SDimitry Andric     auto SectionRHS = GetFixupSection(BinOp->getRHS());
754ba319b5SDimitry Andric     return SectionLHS == SectionRHS ? nullptr : SectionLHS;
764ba319b5SDimitry Andric   }
774ba319b5SDimitry Andric 
784ba319b5SDimitry Andric   if (auto UnOp = dyn_cast<MCUnaryExpr>(Expr))
794ba319b5SDimitry Andric     return GetFixupSection(UnOp->getSubExpr());
804ba319b5SDimitry Andric 
814ba319b5SDimitry Andric   return nullptr;
824ba319b5SDimitry Andric }
834ba319b5SDimitry Andric 
IsGlobalType(const MCValue & Target)84*b5893f02SDimitry Andric static bool IsGlobalType(const MCValue &Target) {
85*b5893f02SDimitry Andric   const MCSymbolRefExpr *RefA = Target.getSymA();
86*b5893f02SDimitry Andric   return RefA && RefA->getKind() == MCSymbolRefExpr::VK_WebAssembly_GLOBAL;
87*b5893f02SDimitry Andric }
88*b5893f02SDimitry Andric 
IsEventType(const MCValue & Target)89*b5893f02SDimitry Andric static bool IsEventType(const MCValue &Target) {
90*b5893f02SDimitry Andric   const MCSymbolRefExpr *RefA = Target.getSymA();
91*b5893f02SDimitry Andric   return RefA && RefA->getKind() == MCSymbolRefExpr::VK_WebAssembly_EVENT;
92*b5893f02SDimitry Andric }
93*b5893f02SDimitry Andric 
getRelocType(const MCValue & Target,const MCFixup & Fixup) const94*b5893f02SDimitry Andric unsigned WebAssemblyWasmObjectWriter::getRelocType(const MCValue &Target,
9524d58133SDimitry Andric                                                    const MCFixup &Fixup) const {
967a7e6055SDimitry Andric   // WebAssembly functions are not allocated in the data address space. To
977a7e6055SDimitry Andric   // resolve a pointer to a function, we must use a special relocation type.
987a7e6055SDimitry Andric   bool IsFunction = IsFunctionExpr(Fixup.getValue());
997a7e6055SDimitry Andric 
1007a7e6055SDimitry Andric   switch (unsigned(Fixup.getKind())) {
1017a7e6055SDimitry Andric   case WebAssembly::fixup_code_sleb128_i32:
1027a7e6055SDimitry Andric     if (IsFunction)
1037a7e6055SDimitry Andric       return wasm::R_WEBASSEMBLY_TABLE_INDEX_SLEB;
1042cab237bSDimitry Andric     return wasm::R_WEBASSEMBLY_MEMORY_ADDR_SLEB;
1057a7e6055SDimitry Andric   case WebAssembly::fixup_code_sleb128_i64:
1067a7e6055SDimitry Andric     llvm_unreachable("fixup_sleb128_i64 not implemented yet");
1077a7e6055SDimitry Andric   case WebAssembly::fixup_code_uleb128_i32:
108*b5893f02SDimitry Andric     if (IsGlobalType(Target))
109*b5893f02SDimitry Andric       return wasm::R_WEBASSEMBLY_GLOBAL_INDEX_LEB;
110db17bf38SDimitry Andric     if (IsFunctionType(Target))
111db17bf38SDimitry Andric       return wasm::R_WEBASSEMBLY_TYPE_INDEX_LEB;
1127a7e6055SDimitry Andric     if (IsFunction)
1137a7e6055SDimitry Andric       return wasm::R_WEBASSEMBLY_FUNCTION_INDEX_LEB;
114*b5893f02SDimitry Andric     if (IsEventType(Target))
115*b5893f02SDimitry Andric       return wasm::R_WEBASSEMBLY_EVENT_INDEX_LEB;
1162cab237bSDimitry Andric     return wasm::R_WEBASSEMBLY_MEMORY_ADDR_LEB;
1177a7e6055SDimitry Andric   case FK_Data_4:
1187a7e6055SDimitry Andric     if (IsFunction)
1197a7e6055SDimitry Andric       return wasm::R_WEBASSEMBLY_TABLE_INDEX_I32;
1204ba319b5SDimitry Andric     if (auto Section = static_cast<const MCSectionWasm *>(
1214ba319b5SDimitry Andric             GetFixupSection(Fixup.getValue()))) {
1224ba319b5SDimitry Andric       if (Section->getKind().isText())
1234ba319b5SDimitry Andric         return wasm::R_WEBASSEMBLY_FUNCTION_OFFSET_I32;
1244ba319b5SDimitry Andric       else if (!Section->isWasmData())
1254ba319b5SDimitry Andric         return wasm::R_WEBASSEMBLY_SECTION_OFFSET_I32;
1264ba319b5SDimitry Andric     }
1272cab237bSDimitry Andric     return wasm::R_WEBASSEMBLY_MEMORY_ADDR_I32;
1287a7e6055SDimitry Andric   case FK_Data_8:
1297a7e6055SDimitry Andric     llvm_unreachable("FK_Data_8 not implemented yet");
1307a7e6055SDimitry Andric   default:
1317a7e6055SDimitry Andric     llvm_unreachable("unimplemented fixup kind");
1327a7e6055SDimitry Andric   }
1337a7e6055SDimitry Andric }
1347a7e6055SDimitry Andric 
1354ba319b5SDimitry Andric std::unique_ptr<MCObjectTargetWriter>
createWebAssemblyWasmObjectWriter(bool Is64Bit)1364ba319b5SDimitry Andric llvm::createWebAssemblyWasmObjectWriter(bool Is64Bit) {
1374ba319b5SDimitry Andric   return llvm::make_unique<WebAssemblyWasmObjectWriter>(Is64Bit);
1387a7e6055SDimitry Andric }
139