blob: fa399371f2cba73a8918fc366aae6a26f55c2ab5 [file] [log] [blame]
Dan Gohman05ac43f2015-12-17 01:39:00 +00001//=- WebAssemblyMCCodeEmitter.cpp - Convert WebAssembly code to machine code -//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9///
10/// \file
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000011/// This file implements the WebAssemblyMCCodeEmitter class.
Dan Gohman05ac43f2015-12-17 01:39:00 +000012///
13//===----------------------------------------------------------------------===//
14
Dan Gohmand934cb82017-02-24 23:18:00 +000015#include "MCTargetDesc/WebAssemblyFixupKinds.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000016#include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
Dan Gohman1a427282016-01-12 03:32:29 +000017#include "llvm/ADT/STLExtras.h"
Dan Gohman05ac43f2015-12-17 01:39:00 +000018#include "llvm/ADT/Statistic.h"
19#include "llvm/MC/MCCodeEmitter.h"
20#include "llvm/MC/MCFixup.h"
21#include "llvm/MC/MCInst.h"
22#include "llvm/MC/MCInstrInfo.h"
23#include "llvm/MC/MCRegisterInfo.h"
24#include "llvm/MC/MCSubtargetInfo.h"
25#include "llvm/MC/MCSymbol.h"
Sam Clegg685c5e82018-04-04 22:27:58 +000026#include "llvm/Support/Debug.h"
Reid Kleckner8f4bd1f2016-06-23 18:12:31 +000027#include "llvm/Support/EndianStream.h"
Dan Gohman4fc4e422016-10-24 19:49:43 +000028#include "llvm/Support/LEB128.h"
Dan Gohman05ac43f2015-12-17 01:39:00 +000029#include "llvm/Support/raw_ostream.h"
Sam Clegg685c5e82018-04-04 22:27:58 +000030
Dan Gohman05ac43f2015-12-17 01:39:00 +000031using namespace llvm;
32
33#define DEBUG_TYPE "mccodeemitter"
34
Dan Gohman1a427282016-01-12 03:32:29 +000035STATISTIC(MCNumEmitted, "Number of MC instructions emitted.");
36STATISTIC(MCNumFixups, "Number of MC fixups created.");
37
Dan Gohman05ac43f2015-12-17 01:39:00 +000038namespace {
39class WebAssemblyMCCodeEmitter final : public MCCodeEmitter {
Dan Gohman1a427282016-01-12 03:32:29 +000040 const MCInstrInfo &MCII;
Dan Gohman05ac43f2015-12-17 01:39:00 +000041
Dan Gohman1a427282016-01-12 03:32:29 +000042 // Implementation generated by tablegen.
Dan Gohman05ac43f2015-12-17 01:39:00 +000043 uint64_t getBinaryCodeForInstr(const MCInst &MI,
44 SmallVectorImpl<MCFixup> &Fixups,
45 const MCSubtargetInfo &STI) const;
46
Dan Gohman05ac43f2015-12-17 01:39:00 +000047 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
48 SmallVectorImpl<MCFixup> &Fixups,
49 const MCSubtargetInfo &STI) const override;
Dan Gohman1a427282016-01-12 03:32:29 +000050
51public:
Sam Clegg9d24fb72017-06-16 23:59:10 +000052 WebAssemblyMCCodeEmitter(const MCInstrInfo &mcii) : MCII(mcii) {}
Dan Gohman05ac43f2015-12-17 01:39:00 +000053};
54} // end anonymous namespace
55
Sam Clegg9d24fb72017-06-16 23:59:10 +000056MCCodeEmitter *llvm::createWebAssemblyMCCodeEmitter(const MCInstrInfo &MCII) {
57 return new WebAssemblyMCCodeEmitter(MCII);
Dan Gohman05ac43f2015-12-17 01:39:00 +000058}
59
60void WebAssemblyMCCodeEmitter::encodeInstruction(
61 const MCInst &MI, raw_ostream &OS, SmallVectorImpl<MCFixup> &Fixups,
62 const MCSubtargetInfo &STI) const {
Dan Gohman4fc4e422016-10-24 19:49:43 +000063 uint64_t Start = OS.tell();
64
65 uint64_t Binary = getBinaryCodeForInstr(MI, Fixups, STI);
Dan Gohmancdd48b82017-11-28 01:13:40 +000066 if (Binary <= UINT8_MAX) {
67 OS << uint8_t(Binary);
68 } else {
69 assert(Binary <= UINT16_MAX && "Several-byte opcodes not supported yet");
Heejin Ahnf208f632018-09-05 01:27:38 +000070 OS << uint8_t(Binary >> 8) << uint8_t(Binary);
Dan Gohmancdd48b82017-11-28 01:13:40 +000071 }
Dan Gohman4fc4e422016-10-24 19:49:43 +000072
Dan Gohmand934cb82017-02-24 23:18:00 +000073 // For br_table instructions, encode the size of the table. In the MCInst,
Wouter van Oortmerssen8a9cb242018-08-27 15:45:51 +000074 // there's an index operand (if not a stack instruction), one operand for
75 // each table entry, and the default operand.
76 if (MI.getOpcode() == WebAssembly::BR_TABLE_I32_S ||
77 MI.getOpcode() == WebAssembly::BR_TABLE_I64_S)
78 encodeULEB128(MI.getNumOperands() - 1, OS);
Dan Gohmand934cb82017-02-24 23:18:00 +000079 if (MI.getOpcode() == WebAssembly::BR_TABLE_I32 ||
80 MI.getOpcode() == WebAssembly::BR_TABLE_I64)
81 encodeULEB128(MI.getNumOperands() - 2, OS);
82
Dan Gohman1a427282016-01-12 03:32:29 +000083 const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
Dan Gohman1a427282016-01-12 03:32:29 +000084 for (unsigned i = 0, e = MI.getNumOperands(); i < e; ++i) {
85 const MCOperand &MO = MI.getOperand(i);
86 if (MO.isReg()) {
Dan Gohman4fc4e422016-10-24 19:49:43 +000087 /* nothing to encode */
Dan Gohman1a427282016-01-12 03:32:29 +000088 } else if (MO.isImm()) {
Dan Gohman3acb1872016-10-24 23:27:49 +000089 if (i < Desc.getNumOperands()) {
90 assert(Desc.TSFlags == 0 &&
91 "WebAssembly non-variable_ops don't use TSFlags");
92 const MCOperandInfo &Info = Desc.OpInfo[i];
Nicola Zaghend34e60c2018-05-14 12:53:11 +000093 LLVM_DEBUG(dbgs() << "Encoding immediate: type="
94 << int(Info.OperandType) << "\n");
Thomas Lively22442922018-08-21 21:03:18 +000095 switch (Info.OperandType) {
96 case WebAssembly::OPERAND_I32IMM:
Dan Gohman3acb1872016-10-24 23:27:49 +000097 encodeSLEB128(int32_t(MO.getImm()), OS);
Thomas Lively22442922018-08-21 21:03:18 +000098 break;
99 case WebAssembly::OPERAND_OFFSET32:
Sam Clegg685c5e82018-04-04 22:27:58 +0000100 encodeULEB128(uint32_t(MO.getImm()), OS);
Thomas Lively22442922018-08-21 21:03:18 +0000101 break;
102 case WebAssembly::OPERAND_I64IMM:
Dan Gohman3acb1872016-10-24 23:27:49 +0000103 encodeSLEB128(int64_t(MO.getImm()), OS);
Thomas Lively22442922018-08-21 21:03:18 +0000104 break;
105 case WebAssembly::OPERAND_SIGNATURE:
Heejin Ahn0c69a3e2018-03-02 20:52:59 +0000106 OS << uint8_t(MO.getImm());
Thomas Lively22442922018-08-21 21:03:18 +0000107 break;
108 case WebAssembly::OPERAND_VEC_I8IMM:
109 support::endian::write<uint8_t>(OS, MO.getImm(), support::little);
110 break;
111 case WebAssembly::OPERAND_VEC_I16IMM:
112 support::endian::write<uint16_t>(OS, MO.getImm(), support::little);
113 break;
114 case WebAssembly::OPERAND_VEC_I32IMM:
115 support::endian::write<uint32_t>(OS, MO.getImm(), support::little);
116 break;
117 case WebAssembly::OPERAND_VEC_I64IMM:
118 support::endian::write<uint64_t>(OS, MO.getImm(), support::little);
119 break;
120 case WebAssembly::OPERAND_GLOBAL:
121 llvm_unreachable("wasm globals should only be accessed symbolicly");
122 default:
Dan Gohman3acb1872016-10-24 23:27:49 +0000123 encodeULEB128(uint64_t(MO.getImm()), OS);
124 }
Dan Gohman4fc4e422016-10-24 19:49:43 +0000125 } else {
Dan Gohman3acb1872016-10-24 23:27:49 +0000126 assert(Desc.TSFlags == (WebAssemblyII::VariableOpIsImmediate |
127 WebAssemblyII::VariableOpImmediateIsLabel));
Dan Gohman4fc4e422016-10-24 19:49:43 +0000128 encodeULEB128(uint64_t(MO.getImm()), OS);
129 }
Dan Gohman1a427282016-01-12 03:32:29 +0000130 } else if (MO.isFPImm()) {
Dan Gohman4fc4e422016-10-24 19:49:43 +0000131 assert(i < Desc.getNumOperands() &&
132 "Unexpected floating-point immediate as a non-fixed operand");
133 assert(Desc.TSFlags == 0 &&
134 "WebAssembly variable_ops floating point ops don't use TSFlags");
135 const MCOperandInfo &Info = Desc.OpInfo[i];
136 if (Info.OperandType == WebAssembly::OPERAND_F32IMM) {
137 // TODO: MC converts all floating point immediate operands to double.
138 // This is fine for numeric values, but may cause NaNs to change bits.
139 float f = float(MO.getFPImm());
Peter Collingbournee3f65292018-05-18 19:46:24 +0000140 support::endian::write<float>(OS, f, support::little);
Dan Gohman4fc4e422016-10-24 19:49:43 +0000141 } else {
142 assert(Info.OperandType == WebAssembly::OPERAND_F64IMM);
143 double d = MO.getFPImm();
Peter Collingbournee3f65292018-05-18 19:46:24 +0000144 support::endian::write<double>(OS, d, support::little);
Dan Gohman4fc4e422016-10-24 19:49:43 +0000145 }
Dan Gohman1a427282016-01-12 03:32:29 +0000146 } else if (MO.isExpr()) {
Dan Gohmand934cb82017-02-24 23:18:00 +0000147 const MCOperandInfo &Info = Desc.OpInfo[i];
148 llvm::MCFixupKind FixupKind;
Sam Clegg66a99e42017-09-15 20:34:47 +0000149 size_t PaddedSize = 5;
Dan Gohmand934cb82017-02-24 23:18:00 +0000150 if (Info.OperandType == WebAssembly::OPERAND_I32IMM) {
151 FixupKind = MCFixupKind(WebAssembly::fixup_code_sleb128_i32);
Dan Gohmand934cb82017-02-24 23:18:00 +0000152 } else if (Info.OperandType == WebAssembly::OPERAND_I64IMM) {
153 FixupKind = MCFixupKind(WebAssembly::fixup_code_sleb128_i64);
154 PaddedSize = 10;
155 } else if (Info.OperandType == WebAssembly::OPERAND_FUNCTION32 ||
156 Info.OperandType == WebAssembly::OPERAND_OFFSET32 ||
157 Info.OperandType == WebAssembly::OPERAND_TYPEINDEX) {
158 FixupKind = MCFixupKind(WebAssembly::fixup_code_uleb128_i32);
Sam Clegg9d24fb72017-06-16 23:59:10 +0000159 } else if (Info.OperandType == WebAssembly::OPERAND_GLOBAL) {
Nicholas Wilsone408a892018-08-03 14:33:37 +0000160 FixupKind = MCFixupKind(WebAssembly::fixup_code_uleb128_i32);
Dan Gohmand934cb82017-02-24 23:18:00 +0000161 } else {
162 llvm_unreachable("unexpected symbolic operand kind");
163 }
Heejin Ahnf208f632018-09-05 01:27:38 +0000164 Fixups.push_back(MCFixup::create(OS.tell() - Start, MO.getExpr(),
165 FixupKind, MI.getLoc()));
Dan Gohman1a427282016-01-12 03:32:29 +0000166 ++MCNumFixups;
Sam Clegg66a99e42017-09-15 20:34:47 +0000167 encodeULEB128(0, OS, PaddedSize);
Dan Gohman1a427282016-01-12 03:32:29 +0000168 } else {
169 llvm_unreachable("unexpected operand kind");
170 }
171 }
Dan Gohman05ac43f2015-12-17 01:39:00 +0000172
Dan Gohman1a427282016-01-12 03:32:29 +0000173 ++MCNumEmitted; // Keep track of the # of mi's emitted.
Dan Gohman05ac43f2015-12-17 01:39:00 +0000174}
175
176#include "WebAssemblyGenMCCodeEmitter.inc"