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