blob: a0b008947491a1cbfb276d124ecd5ef24ebd6d2c [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
11/// \brief This file implements the WebAssemblyMCCodeEmitter class.
12///
13//===----------------------------------------------------------------------===//
14
15#include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
Dan Gohmand934cb82017-02-24 23:18:00 +000016#include "MCTargetDesc/WebAssemblyFixupKinds.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"
Reid Kleckner8f4bd1f2016-06-23 18:12:31 +000026#include "llvm/Support/EndianStream.h"
Dan Gohman4fc4e422016-10-24 19:49:43 +000027#include "llvm/Support/LEB128.h"
Dan Gohman05ac43f2015-12-17 01:39:00 +000028#include "llvm/Support/raw_ostream.h"
29using namespace llvm;
30
31#define DEBUG_TYPE "mccodeemitter"
32
Dan Gohman1a427282016-01-12 03:32:29 +000033STATISTIC(MCNumEmitted, "Number of MC instructions emitted.");
34STATISTIC(MCNumFixups, "Number of MC fixups created.");
35
Dan Gohman05ac43f2015-12-17 01:39:00 +000036namespace {
37class WebAssemblyMCCodeEmitter final : public MCCodeEmitter {
Dan Gohman1a427282016-01-12 03:32:29 +000038 const MCInstrInfo &MCII;
Dan Gohmandf4f4d42017-02-10 00:14:42 +000039 MCContext &Ctx;
Dan Gohman05ac43f2015-12-17 01:39:00 +000040
Dan Gohman1a427282016-01-12 03:32:29 +000041 // Implementation generated by tablegen.
Dan Gohman05ac43f2015-12-17 01:39:00 +000042 uint64_t getBinaryCodeForInstr(const MCInst &MI,
43 SmallVectorImpl<MCFixup> &Fixups,
44 const MCSubtargetInfo &STI) const;
45
Dan Gohman05ac43f2015-12-17 01:39:00 +000046 void encodeInstruction(const MCInst &MI, raw_ostream &OS,
47 SmallVectorImpl<MCFixup> &Fixups,
48 const MCSubtargetInfo &STI) const override;
Dan Gohman1a427282016-01-12 03:32:29 +000049
50public:
Dan Gohmandf4f4d42017-02-10 00:14:42 +000051 WebAssemblyMCCodeEmitter(const MCInstrInfo &mcii, MCContext &ctx)
Dan Gohmand934cb82017-02-24 23:18:00 +000052 : MCII(mcii), Ctx(ctx) {}
Dan Gohman05ac43f2015-12-17 01:39:00 +000053};
54} // end anonymous namespace
55
Dan Gohmandf4f4d42017-02-10 00:14:42 +000056MCCodeEmitter *llvm::createWebAssemblyMCCodeEmitter(const MCInstrInfo &MCII,
57 MCContext &Ctx) {
58 return new WebAssemblyMCCodeEmitter(MCII, Ctx);
Dan Gohman05ac43f2015-12-17 01:39:00 +000059}
60
61void WebAssemblyMCCodeEmitter::encodeInstruction(
62 const MCInst &MI, raw_ostream &OS, SmallVectorImpl<MCFixup> &Fixups,
63 const MCSubtargetInfo &STI) const {
Dan Gohman4fc4e422016-10-24 19:49:43 +000064 uint64_t Start = OS.tell();
65
66 uint64_t Binary = getBinaryCodeForInstr(MI, Fixups, STI);
Dan Gohman3acb1872016-10-24 23:27:49 +000067 assert(Binary < UINT8_MAX && "Multi-byte opcodes not supported yet");
68 OS << uint8_t(Binary);
Dan Gohman4fc4e422016-10-24 19:49:43 +000069
Dan Gohmand934cb82017-02-24 23:18:00 +000070 // For br_table instructions, encode the size of the table. In the MCInst,
71 // there's an index operand, one operand for each table entry, and the
72 // default operand.
73 if (MI.getOpcode() == WebAssembly::BR_TABLE_I32 ||
74 MI.getOpcode() == WebAssembly::BR_TABLE_I64)
75 encodeULEB128(MI.getNumOperands() - 2, OS);
76
Dan Gohman1a427282016-01-12 03:32:29 +000077 const MCInstrDesc &Desc = MCII.get(MI.getOpcode());
Dan Gohman1a427282016-01-12 03:32:29 +000078 for (unsigned i = 0, e = MI.getNumOperands(); i < e; ++i) {
79 const MCOperand &MO = MI.getOperand(i);
80 if (MO.isReg()) {
Dan Gohman4fc4e422016-10-24 19:49:43 +000081 /* nothing to encode */
Dan Gohman1a427282016-01-12 03:32:29 +000082 } else if (MO.isImm()) {
Dan Gohman3acb1872016-10-24 23:27:49 +000083 if (i < Desc.getNumOperands()) {
84 assert(Desc.TSFlags == 0 &&
85 "WebAssembly non-variable_ops don't use TSFlags");
86 const MCOperandInfo &Info = Desc.OpInfo[i];
87 if (Info.OperandType == WebAssembly::OPERAND_I32IMM) {
88 encodeSLEB128(int32_t(MO.getImm()), OS);
89 } else if (Info.OperandType == WebAssembly::OPERAND_I64IMM) {
90 encodeSLEB128(int64_t(MO.getImm()), OS);
Dan Gohmand934cb82017-02-24 23:18:00 +000091 } else if (Info.OperandType == WebAssembly::OPERAND_GLOBAL) {
92 Fixups.push_back(MCFixup::create(
93 OS.tell() - Start, MCConstantExpr::create(MO.getImm(), Ctx),
94 MCFixupKind(WebAssembly::fixup_code_global_index), MI.getLoc()));
95 ++MCNumFixups;
96 encodeULEB128(uint64_t(MO.getImm()), OS);
Dan Gohman3acb1872016-10-24 23:27:49 +000097 } else {
98 encodeULEB128(uint64_t(MO.getImm()), OS);
99 }
Dan Gohman4fc4e422016-10-24 19:49:43 +0000100 } else {
Dan Gohman3acb1872016-10-24 23:27:49 +0000101 assert(Desc.TSFlags == (WebAssemblyII::VariableOpIsImmediate |
102 WebAssemblyII::VariableOpImmediateIsLabel));
Dan Gohman4fc4e422016-10-24 19:49:43 +0000103 encodeULEB128(uint64_t(MO.getImm()), OS);
104 }
Dan Gohman1a427282016-01-12 03:32:29 +0000105 } else if (MO.isFPImm()) {
Dan Gohman4fc4e422016-10-24 19:49:43 +0000106 assert(i < Desc.getNumOperands() &&
107 "Unexpected floating-point immediate as a non-fixed operand");
108 assert(Desc.TSFlags == 0 &&
109 "WebAssembly variable_ops floating point ops don't use TSFlags");
110 const MCOperandInfo &Info = Desc.OpInfo[i];
111 if (Info.OperandType == WebAssembly::OPERAND_F32IMM) {
112 // TODO: MC converts all floating point immediate operands to double.
113 // This is fine for numeric values, but may cause NaNs to change bits.
114 float f = float(MO.getFPImm());
115 support::endian::Writer<support::little>(OS).write<float>(f);
116 } else {
117 assert(Info.OperandType == WebAssembly::OPERAND_F64IMM);
118 double d = MO.getFPImm();
119 support::endian::Writer<support::little>(OS).write<double>(d);
120 }
Dan Gohman1a427282016-01-12 03:32:29 +0000121 } else if (MO.isExpr()) {
Dan Gohmand934cb82017-02-24 23:18:00 +0000122 const MCOperandInfo &Info = Desc.OpInfo[i];
123 llvm::MCFixupKind FixupKind;
124 size_t PaddedSize;
125 if (Info.OperandType == WebAssembly::OPERAND_I32IMM) {
126 FixupKind = MCFixupKind(WebAssembly::fixup_code_sleb128_i32);
127 PaddedSize = 5;
128 } else if (Info.OperandType == WebAssembly::OPERAND_I64IMM) {
129 FixupKind = MCFixupKind(WebAssembly::fixup_code_sleb128_i64);
130 PaddedSize = 10;
131 } else if (Info.OperandType == WebAssembly::OPERAND_FUNCTION32 ||
132 Info.OperandType == WebAssembly::OPERAND_OFFSET32 ||
133 Info.OperandType == WebAssembly::OPERAND_TYPEINDEX) {
134 FixupKind = MCFixupKind(WebAssembly::fixup_code_uleb128_i32);
135 PaddedSize = 5;
136 } else {
137 llvm_unreachable("unexpected symbolic operand kind");
138 }
Dan Gohman1a427282016-01-12 03:32:29 +0000139 Fixups.push_back(MCFixup::create(
Dan Gohman4fc4e422016-10-24 19:49:43 +0000140 OS.tell() - Start, MO.getExpr(),
Dan Gohmand934cb82017-02-24 23:18:00 +0000141 FixupKind, MI.getLoc()));
Dan Gohman1a427282016-01-12 03:32:29 +0000142 ++MCNumFixups;
Dan Gohmand934cb82017-02-24 23:18:00 +0000143 encodeULEB128(0, OS, PaddedSize - 1);
Dan Gohman1a427282016-01-12 03:32:29 +0000144 } else {
145 llvm_unreachable("unexpected operand kind");
146 }
147 }
Dan Gohman05ac43f2015-12-17 01:39:00 +0000148
Dan Gohman1a427282016-01-12 03:32:29 +0000149 ++MCNumEmitted; // Keep track of the # of mi's emitted.
Dan Gohman05ac43f2015-12-17 01:39:00 +0000150}
151
152#include "WebAssemblyGenMCCodeEmitter.inc"