WebAssemblyWasmObjectWriter.cpp 5.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164
  1. //===-- WebAssemblyWasmObjectWriter.cpp - WebAssembly Wasm Writer ---------===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. ///
  9. /// \file
  10. /// This file handles Wasm-specific object emission, converting LLVM's
  11. /// internal fixups into the appropriate relocations.
  12. ///
  13. //===----------------------------------------------------------------------===//
  14. #include "MCTargetDesc/WebAssemblyFixupKinds.h"
  15. #include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
  16. #include "llvm/BinaryFormat/Wasm.h"
  17. #include "llvm/MC/MCAsmBackend.h"
  18. #include "llvm/MC/MCFixup.h"
  19. #include "llvm/MC/MCFixupKindInfo.h"
  20. #include "llvm/MC/MCObjectWriter.h"
  21. #include "llvm/MC/MCSectionWasm.h"
  22. #include "llvm/MC/MCSymbolWasm.h"
  23. #include "llvm/MC/MCValue.h"
  24. #include "llvm/MC/MCWasmObjectWriter.h"
  25. #include "llvm/Support/Casting.h"
  26. #include "llvm/Support/ErrorHandling.h"
  27. using namespace llvm;
  28. namespace {
  29. class WebAssemblyWasmObjectWriter final : public MCWasmObjectTargetWriter {
  30. public:
  31. explicit WebAssemblyWasmObjectWriter(bool Is64Bit, bool IsEmscripten);
  32. private:
  33. unsigned getRelocType(const MCValue &Target, const MCFixup &Fixup,
  34. const MCSectionWasm &FixupSection,
  35. bool IsLocRel) const override;
  36. };
  37. } // end anonymous namespace
  38. WebAssemblyWasmObjectWriter::WebAssemblyWasmObjectWriter(bool Is64Bit,
  39. bool IsEmscripten)
  40. : MCWasmObjectTargetWriter(Is64Bit, IsEmscripten) {}
  41. static const MCSection *getTargetSection(const MCExpr *Expr) {
  42. if (auto SyExp = dyn_cast<MCSymbolRefExpr>(Expr)) {
  43. if (SyExp->getSymbol().isInSection())
  44. return &SyExp->getSymbol().getSection();
  45. return nullptr;
  46. }
  47. if (auto BinOp = dyn_cast<MCBinaryExpr>(Expr)) {
  48. auto SectionLHS = getTargetSection(BinOp->getLHS());
  49. auto SectionRHS = getTargetSection(BinOp->getRHS());
  50. return SectionLHS == SectionRHS ? nullptr : SectionLHS;
  51. }
  52. if (auto UnOp = dyn_cast<MCUnaryExpr>(Expr))
  53. return getTargetSection(UnOp->getSubExpr());
  54. return nullptr;
  55. }
  56. unsigned WebAssemblyWasmObjectWriter::getRelocType(
  57. const MCValue &Target, const MCFixup &Fixup,
  58. const MCSectionWasm &FixupSection, bool IsLocRel) const {
  59. const MCSymbolRefExpr *RefA = Target.getSymA();
  60. assert(RefA);
  61. auto& SymA = cast<MCSymbolWasm>(RefA->getSymbol());
  62. MCSymbolRefExpr::VariantKind Modifier = Target.getAccessVariant();
  63. switch (Modifier) {
  64. case MCSymbolRefExpr::VK_GOT:
  65. case MCSymbolRefExpr::VK_WASM_GOT_TLS:
  66. return wasm::R_WASM_GLOBAL_INDEX_LEB;
  67. case MCSymbolRefExpr::VK_WASM_TBREL:
  68. assert(SymA.isFunction());
  69. return is64Bit() ? wasm::R_WASM_TABLE_INDEX_REL_SLEB64
  70. : wasm::R_WASM_TABLE_INDEX_REL_SLEB;
  71. case MCSymbolRefExpr::VK_WASM_TLSREL:
  72. return is64Bit() ? wasm::R_WASM_MEMORY_ADDR_TLS_SLEB64
  73. : wasm::R_WASM_MEMORY_ADDR_TLS_SLEB;
  74. case MCSymbolRefExpr::VK_WASM_MBREL:
  75. assert(SymA.isData());
  76. return is64Bit() ? wasm::R_WASM_MEMORY_ADDR_REL_SLEB64
  77. : wasm::R_WASM_MEMORY_ADDR_REL_SLEB;
  78. case MCSymbolRefExpr::VK_WASM_TYPEINDEX:
  79. return wasm::R_WASM_TYPE_INDEX_LEB;
  80. case MCSymbolRefExpr::VK_None:
  81. break;
  82. default:
  83. report_fatal_error("unknown VariantKind");
  84. break;
  85. }
  86. switch (unsigned(Fixup.getKind())) {
  87. case WebAssembly::fixup_sleb128_i32:
  88. if (SymA.isFunction())
  89. return wasm::R_WASM_TABLE_INDEX_SLEB;
  90. return wasm::R_WASM_MEMORY_ADDR_SLEB;
  91. case WebAssembly::fixup_sleb128_i64:
  92. if (SymA.isFunction())
  93. return wasm::R_WASM_TABLE_INDEX_SLEB64;
  94. return wasm::R_WASM_MEMORY_ADDR_SLEB64;
  95. case WebAssembly::fixup_uleb128_i32:
  96. if (SymA.isGlobal())
  97. return wasm::R_WASM_GLOBAL_INDEX_LEB;
  98. if (SymA.isFunction())
  99. return wasm::R_WASM_FUNCTION_INDEX_LEB;
  100. if (SymA.isTag())
  101. return wasm::R_WASM_TAG_INDEX_LEB;
  102. if (SymA.isTable())
  103. return wasm::R_WASM_TABLE_NUMBER_LEB;
  104. return wasm::R_WASM_MEMORY_ADDR_LEB;
  105. case WebAssembly::fixup_uleb128_i64:
  106. assert(SymA.isData());
  107. return wasm::R_WASM_MEMORY_ADDR_LEB64;
  108. case FK_Data_4:
  109. if (SymA.isFunction()) {
  110. if (FixupSection.getKind().isMetadata())
  111. return wasm::R_WASM_FUNCTION_OFFSET_I32;
  112. assert(FixupSection.isWasmData());
  113. return wasm::R_WASM_TABLE_INDEX_I32;
  114. }
  115. if (SymA.isGlobal())
  116. return wasm::R_WASM_GLOBAL_INDEX_I32;
  117. if (auto Section = static_cast<const MCSectionWasm *>(
  118. getTargetSection(Fixup.getValue()))) {
  119. if (Section->getKind().isText())
  120. return wasm::R_WASM_FUNCTION_OFFSET_I32;
  121. else if (!Section->isWasmData())
  122. return wasm::R_WASM_SECTION_OFFSET_I32;
  123. }
  124. return IsLocRel ? wasm::R_WASM_MEMORY_ADDR_LOCREL_I32
  125. : wasm::R_WASM_MEMORY_ADDR_I32;
  126. case FK_Data_8:
  127. if (SymA.isFunction()) {
  128. if (FixupSection.getKind().isMetadata())
  129. return wasm::R_WASM_FUNCTION_OFFSET_I64;
  130. return wasm::R_WASM_TABLE_INDEX_I64;
  131. }
  132. if (SymA.isGlobal())
  133. llvm_unreachable("unimplemented R_WASM_GLOBAL_INDEX_I64");
  134. if (auto Section = static_cast<const MCSectionWasm *>(
  135. getTargetSection(Fixup.getValue()))) {
  136. if (Section->getKind().isText())
  137. return wasm::R_WASM_FUNCTION_OFFSET_I64;
  138. else if (!Section->isWasmData())
  139. llvm_unreachable("unimplemented R_WASM_SECTION_OFFSET_I64");
  140. }
  141. assert(SymA.isData());
  142. return wasm::R_WASM_MEMORY_ADDR_I64;
  143. default:
  144. llvm_unreachable("unimplemented fixup kind");
  145. }
  146. }
  147. std::unique_ptr<MCObjectTargetWriter>
  148. llvm::createWebAssemblyWasmObjectWriter(bool Is64Bit, bool IsEmscripten) {
  149. return std::make_unique<WebAssemblyWasmObjectWriter>(Is64Bit, IsEmscripten);
  150. }