xref: /openbsd-src/gnu/llvm/llvm/lib/Target/WebAssembly/MCTargetDesc/WebAssemblyMCCodeEmitter.cpp (revision d415bd752c734aee168c4ee86ff32e8cc249eb16)
109467b48Spatrick //=- WebAssemblyMCCodeEmitter.cpp - Convert WebAssembly code to machine code -//
209467b48Spatrick //
309467b48Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
409467b48Spatrick // See https://llvm.org/LICENSE.txt for license information.
509467b48Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
609467b48Spatrick //
709467b48Spatrick //===----------------------------------------------------------------------===//
809467b48Spatrick ///
909467b48Spatrick /// \file
1009467b48Spatrick /// This file implements the WebAssemblyMCCodeEmitter class.
1109467b48Spatrick ///
1209467b48Spatrick //===----------------------------------------------------------------------===//
1309467b48Spatrick 
1409467b48Spatrick #include "MCTargetDesc/WebAssemblyFixupKinds.h"
1509467b48Spatrick #include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
1609467b48Spatrick #include "llvm/ADT/STLExtras.h"
1709467b48Spatrick #include "llvm/ADT/Statistic.h"
1809467b48Spatrick #include "llvm/MC/MCCodeEmitter.h"
1909467b48Spatrick #include "llvm/MC/MCFixup.h"
2009467b48Spatrick #include "llvm/MC/MCInst.h"
2109467b48Spatrick #include "llvm/MC/MCInstrInfo.h"
2209467b48Spatrick #include "llvm/MC/MCRegisterInfo.h"
2309467b48Spatrick #include "llvm/MC/MCSubtargetInfo.h"
2409467b48Spatrick #include "llvm/MC/MCSymbol.h"
2509467b48Spatrick #include "llvm/Support/Debug.h"
2609467b48Spatrick #include "llvm/Support/EndianStream.h"
2709467b48Spatrick #include "llvm/Support/LEB128.h"
2809467b48Spatrick #include "llvm/Support/raw_ostream.h"
2909467b48Spatrick 
3009467b48Spatrick using namespace llvm;
3109467b48Spatrick 
3209467b48Spatrick #define DEBUG_TYPE "mccodeemitter"
3309467b48Spatrick 
3409467b48Spatrick STATISTIC(MCNumEmitted, "Number of MC instructions emitted.");
3509467b48Spatrick STATISTIC(MCNumFixups, "Number of MC fixups created.");
3609467b48Spatrick 
3709467b48Spatrick namespace {
3809467b48Spatrick class WebAssemblyMCCodeEmitter final : public MCCodeEmitter {
3909467b48Spatrick   const MCInstrInfo &MCII;
4009467b48Spatrick 
4109467b48Spatrick   // Implementation generated by tablegen.
4209467b48Spatrick   uint64_t getBinaryCodeForInstr(const MCInst &MI,
4309467b48Spatrick                                  SmallVectorImpl<MCFixup> &Fixups,
4409467b48Spatrick                                  const MCSubtargetInfo &STI) const;
4509467b48Spatrick 
4609467b48Spatrick   void encodeInstruction(const MCInst &MI, raw_ostream &OS,
4709467b48Spatrick                          SmallVectorImpl<MCFixup> &Fixups,
4809467b48Spatrick                          const MCSubtargetInfo &STI) const override;
4909467b48Spatrick 
5009467b48Spatrick public:
WebAssemblyMCCodeEmitter(const MCInstrInfo & MCII)5109467b48Spatrick   WebAssemblyMCCodeEmitter(const MCInstrInfo &MCII) : MCII(MCII) {}
5209467b48Spatrick };
5309467b48Spatrick } // end anonymous namespace
5409467b48Spatrick 
createWebAssemblyMCCodeEmitter(const MCInstrInfo & MCII)5509467b48Spatrick MCCodeEmitter *llvm::createWebAssemblyMCCodeEmitter(const MCInstrInfo &MCII) {
5609467b48Spatrick   return new WebAssemblyMCCodeEmitter(MCII);
5709467b48Spatrick }
5809467b48Spatrick 
encodeInstruction(const MCInst & MI,raw_ostream & OS,SmallVectorImpl<MCFixup> & Fixups,const MCSubtargetInfo & STI) const5909467b48Spatrick void WebAssemblyMCCodeEmitter::encodeInstruction(
6009467b48Spatrick     const MCInst &MI, raw_ostream &OS, SmallVectorImpl<MCFixup> &Fixups,
6109467b48Spatrick     const MCSubtargetInfo &STI) const {
6209467b48Spatrick   uint64_t Start = OS.tell();
6309467b48Spatrick 
6409467b48Spatrick   uint64_t Binary = getBinaryCodeForInstr(MI, Fixups, STI);
6573471bf0Spatrick   if (Binary < (1 << 8)) {
6609467b48Spatrick     OS << uint8_t(Binary);
6773471bf0Spatrick   } else if (Binary < (1 << 16)) {
6809467b48Spatrick     OS << uint8_t(Binary >> 8);
6909467b48Spatrick     encodeULEB128(uint8_t(Binary), OS);
7073471bf0Spatrick   } else if (Binary < (1 << 24)) {
7173471bf0Spatrick     OS << uint8_t(Binary >> 16);
7273471bf0Spatrick     encodeULEB128(uint16_t(Binary), OS);
7373471bf0Spatrick   } else {
7473471bf0Spatrick     llvm_unreachable("Very large (prefix + 3 byte) opcodes not supported");
7509467b48Spatrick   }
7609467b48Spatrick 
7709467b48Spatrick   // For br_table instructions, encode the size of the table. In the MCInst,
7809467b48Spatrick   // there's an index operand (if not a stack instruction), one operand for
7909467b48Spatrick   // each table entry, and the default operand.
8009467b48Spatrick   if (MI.getOpcode() == WebAssembly::BR_TABLE_I32_S ||
8109467b48Spatrick       MI.getOpcode() == WebAssembly::BR_TABLE_I64_S)
8209467b48Spatrick     encodeULEB128(MI.getNumOperands() - 1, OS);
8309467b48Spatrick   if (MI.getOpcode() == WebAssembly::BR_TABLE_I32 ||
8409467b48Spatrick       MI.getOpcode() == WebAssembly::BR_TABLE_I64)
8509467b48Spatrick     encodeULEB128(MI.getNumOperands() - 2, OS);
8609467b48Spatrick 
8709467b48Spatrick   const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
8809467b48Spatrick   for (unsigned I = 0, E = MI.getNumOperands(); I < E; ++I) {
8909467b48Spatrick     const MCOperand &MO = MI.getOperand(I);
9009467b48Spatrick     if (MO.isReg()) {
9109467b48Spatrick       /* nothing to encode */
9209467b48Spatrick 
9309467b48Spatrick     } else if (MO.isImm()) {
9409467b48Spatrick       if (I < Desc.getNumOperands()) {
95*d415bd75Srobert         const MCOperandInfo &Info = Desc.operands()[I];
9609467b48Spatrick         LLVM_DEBUG(dbgs() << "Encoding immediate: type="
9709467b48Spatrick                           << int(Info.OperandType) << "\n");
9809467b48Spatrick         switch (Info.OperandType) {
9909467b48Spatrick         case WebAssembly::OPERAND_I32IMM:
10009467b48Spatrick           encodeSLEB128(int32_t(MO.getImm()), OS);
10109467b48Spatrick           break;
10209467b48Spatrick         case WebAssembly::OPERAND_OFFSET32:
10309467b48Spatrick           encodeULEB128(uint32_t(MO.getImm()), OS);
10409467b48Spatrick           break;
10509467b48Spatrick         case WebAssembly::OPERAND_I64IMM:
10609467b48Spatrick           encodeSLEB128(int64_t(MO.getImm()), OS);
10709467b48Spatrick           break;
10809467b48Spatrick         case WebAssembly::OPERAND_SIGNATURE:
10909467b48Spatrick         case WebAssembly::OPERAND_VEC_I8IMM:
11009467b48Spatrick           support::endian::write<uint8_t>(OS, MO.getImm(), support::little);
11109467b48Spatrick           break;
11209467b48Spatrick         case WebAssembly::OPERAND_VEC_I16IMM:
11309467b48Spatrick           support::endian::write<uint16_t>(OS, MO.getImm(), support::little);
11409467b48Spatrick           break;
11509467b48Spatrick         case WebAssembly::OPERAND_VEC_I32IMM:
11609467b48Spatrick           support::endian::write<uint32_t>(OS, MO.getImm(), support::little);
11709467b48Spatrick           break;
11809467b48Spatrick         case WebAssembly::OPERAND_VEC_I64IMM:
11909467b48Spatrick           support::endian::write<uint64_t>(OS, MO.getImm(), support::little);
12009467b48Spatrick           break;
12109467b48Spatrick         case WebAssembly::OPERAND_GLOBAL:
12209467b48Spatrick           llvm_unreachable("wasm globals should only be accessed symbolicly");
12309467b48Spatrick         default:
12409467b48Spatrick           encodeULEB128(uint64_t(MO.getImm()), OS);
12509467b48Spatrick         }
12609467b48Spatrick       } else {
12709467b48Spatrick         encodeULEB128(uint64_t(MO.getImm()), OS);
12809467b48Spatrick       }
12909467b48Spatrick 
13073471bf0Spatrick     } else if (MO.isSFPImm()) {
13173471bf0Spatrick       uint32_t F = MO.getSFPImm();
13273471bf0Spatrick       support::endian::write<uint32_t>(OS, F, support::little);
13373471bf0Spatrick     } else if (MO.isDFPImm()) {
13473471bf0Spatrick       uint64_t D = MO.getDFPImm();
13573471bf0Spatrick       support::endian::write<uint64_t>(OS, D, support::little);
13609467b48Spatrick     } else if (MO.isExpr()) {
137*d415bd75Srobert       const MCOperandInfo &Info = Desc.operands()[I];
13809467b48Spatrick       llvm::MCFixupKind FixupKind;
13909467b48Spatrick       size_t PaddedSize = 5;
14009467b48Spatrick       switch (Info.OperandType) {
14109467b48Spatrick       case WebAssembly::OPERAND_I32IMM:
14209467b48Spatrick         FixupKind = MCFixupKind(WebAssembly::fixup_sleb128_i32);
14309467b48Spatrick         break;
14409467b48Spatrick       case WebAssembly::OPERAND_I64IMM:
14509467b48Spatrick         FixupKind = MCFixupKind(WebAssembly::fixup_sleb128_i64);
14609467b48Spatrick         PaddedSize = 10;
14709467b48Spatrick         break;
14809467b48Spatrick       case WebAssembly::OPERAND_FUNCTION32:
14973471bf0Spatrick       case WebAssembly::OPERAND_TABLE:
15009467b48Spatrick       case WebAssembly::OPERAND_OFFSET32:
15109467b48Spatrick       case WebAssembly::OPERAND_SIGNATURE:
15209467b48Spatrick       case WebAssembly::OPERAND_TYPEINDEX:
15309467b48Spatrick       case WebAssembly::OPERAND_GLOBAL:
15473471bf0Spatrick       case WebAssembly::OPERAND_TAG:
15509467b48Spatrick         FixupKind = MCFixupKind(WebAssembly::fixup_uleb128_i32);
15609467b48Spatrick         break;
157097a140dSpatrick       case WebAssembly::OPERAND_OFFSET64:
158097a140dSpatrick         FixupKind = MCFixupKind(WebAssembly::fixup_uleb128_i64);
159097a140dSpatrick         PaddedSize = 10;
160097a140dSpatrick         break;
16109467b48Spatrick       default:
16209467b48Spatrick         llvm_unreachable("unexpected symbolic operand kind");
16309467b48Spatrick       }
16409467b48Spatrick       Fixups.push_back(MCFixup::create(OS.tell() - Start, MO.getExpr(),
16509467b48Spatrick                                        FixupKind, MI.getLoc()));
16609467b48Spatrick       ++MCNumFixups;
16709467b48Spatrick       encodeULEB128(0, OS, PaddedSize);
16809467b48Spatrick     } else {
16909467b48Spatrick       llvm_unreachable("unexpected operand kind");
17009467b48Spatrick     }
17109467b48Spatrick   }
17209467b48Spatrick 
17309467b48Spatrick   ++MCNumEmitted; // Keep track of the # of mi's emitted.
17409467b48Spatrick }
17509467b48Spatrick 
17609467b48Spatrick #include "WebAssemblyGenMCCodeEmitter.inc"
177