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 AndricWebAssemblyWasmObjectWriter::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 Andricstatic 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 Andricstatic 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 Andricstatic 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 Andricstatic 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 Andricstatic 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 Andricunsigned 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 Andricllvm::createWebAssemblyWasmObjectWriter(bool Is64Bit) { 1374ba319b5SDimitry Andric return llvm::make_unique<WebAssemblyWasmObjectWriter>(Is64Bit); 1387a7e6055SDimitry Andric } 139