Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 1 | //=- 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 Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame^] | 16 | #include "MCTargetDesc/WebAssemblyFixupKinds.h" |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/STLExtras.h" |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 18 | #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 Kleckner | 8f4bd1f | 2016-06-23 18:12:31 +0000 | [diff] [blame] | 26 | #include "llvm/Support/EndianStream.h" |
Dan Gohman | 4fc4e42 | 2016-10-24 19:49:43 +0000 | [diff] [blame] | 27 | #include "llvm/Support/LEB128.h" |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 28 | #include "llvm/Support/raw_ostream.h" |
| 29 | using namespace llvm; |
| 30 | |
| 31 | #define DEBUG_TYPE "mccodeemitter" |
| 32 | |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 33 | STATISTIC(MCNumEmitted, "Number of MC instructions emitted."); |
| 34 | STATISTIC(MCNumFixups, "Number of MC fixups created."); |
| 35 | |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 36 | namespace { |
| 37 | class WebAssemblyMCCodeEmitter final : public MCCodeEmitter { |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 38 | const MCInstrInfo &MCII; |
Dan Gohman | df4f4d4 | 2017-02-10 00:14:42 +0000 | [diff] [blame] | 39 | MCContext &Ctx; |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 40 | |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 41 | // Implementation generated by tablegen. |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 42 | uint64_t getBinaryCodeForInstr(const MCInst &MI, |
| 43 | SmallVectorImpl<MCFixup> &Fixups, |
| 44 | const MCSubtargetInfo &STI) const; |
| 45 | |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 46 | void encodeInstruction(const MCInst &MI, raw_ostream &OS, |
| 47 | SmallVectorImpl<MCFixup> &Fixups, |
| 48 | const MCSubtargetInfo &STI) const override; |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 49 | |
| 50 | public: |
Dan Gohman | df4f4d4 | 2017-02-10 00:14:42 +0000 | [diff] [blame] | 51 | WebAssemblyMCCodeEmitter(const MCInstrInfo &mcii, MCContext &ctx) |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame^] | 52 | : MCII(mcii), Ctx(ctx) {} |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 53 | }; |
| 54 | } // end anonymous namespace |
| 55 | |
Dan Gohman | df4f4d4 | 2017-02-10 00:14:42 +0000 | [diff] [blame] | 56 | MCCodeEmitter *llvm::createWebAssemblyMCCodeEmitter(const MCInstrInfo &MCII, |
| 57 | MCContext &Ctx) { |
| 58 | return new WebAssemblyMCCodeEmitter(MCII, Ctx); |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | void WebAssemblyMCCodeEmitter::encodeInstruction( |
| 62 | const MCInst &MI, raw_ostream &OS, SmallVectorImpl<MCFixup> &Fixups, |
| 63 | const MCSubtargetInfo &STI) const { |
Dan Gohman | 4fc4e42 | 2016-10-24 19:49:43 +0000 | [diff] [blame] | 64 | uint64_t Start = OS.tell(); |
| 65 | |
| 66 | uint64_t Binary = getBinaryCodeForInstr(MI, Fixups, STI); |
Dan Gohman | 3acb187 | 2016-10-24 23:27:49 +0000 | [diff] [blame] | 67 | assert(Binary < UINT8_MAX && "Multi-byte opcodes not supported yet"); |
| 68 | OS << uint8_t(Binary); |
Dan Gohman | 4fc4e42 | 2016-10-24 19:49:43 +0000 | [diff] [blame] | 69 | |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame^] | 70 | // 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 Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 77 | const MCInstrDesc &Desc = MCII.get(MI.getOpcode()); |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 78 | for (unsigned i = 0, e = MI.getNumOperands(); i < e; ++i) { |
| 79 | const MCOperand &MO = MI.getOperand(i); |
| 80 | if (MO.isReg()) { |
Dan Gohman | 4fc4e42 | 2016-10-24 19:49:43 +0000 | [diff] [blame] | 81 | /* nothing to encode */ |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 82 | } else if (MO.isImm()) { |
Dan Gohman | 3acb187 | 2016-10-24 23:27:49 +0000 | [diff] [blame] | 83 | 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 Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame^] | 91 | } 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 Gohman | 3acb187 | 2016-10-24 23:27:49 +0000 | [diff] [blame] | 97 | } else { |
| 98 | encodeULEB128(uint64_t(MO.getImm()), OS); |
| 99 | } |
Dan Gohman | 4fc4e42 | 2016-10-24 19:49:43 +0000 | [diff] [blame] | 100 | } else { |
Dan Gohman | 3acb187 | 2016-10-24 23:27:49 +0000 | [diff] [blame] | 101 | assert(Desc.TSFlags == (WebAssemblyII::VariableOpIsImmediate | |
| 102 | WebAssemblyII::VariableOpImmediateIsLabel)); |
Dan Gohman | 4fc4e42 | 2016-10-24 19:49:43 +0000 | [diff] [blame] | 103 | encodeULEB128(uint64_t(MO.getImm()), OS); |
| 104 | } |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 105 | } else if (MO.isFPImm()) { |
Dan Gohman | 4fc4e42 | 2016-10-24 19:49:43 +0000 | [diff] [blame] | 106 | 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 Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 121 | } else if (MO.isExpr()) { |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame^] | 122 | 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 Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 139 | Fixups.push_back(MCFixup::create( |
Dan Gohman | 4fc4e42 | 2016-10-24 19:49:43 +0000 | [diff] [blame] | 140 | OS.tell() - Start, MO.getExpr(), |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame^] | 141 | FixupKind, MI.getLoc())); |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 142 | ++MCNumFixups; |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame^] | 143 | encodeULEB128(0, OS, PaddedSize - 1); |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 144 | } else { |
| 145 | llvm_unreachable("unexpected operand kind"); |
| 146 | } |
| 147 | } |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 148 | |
Dan Gohman | 1a42728 | 2016-01-12 03:32:29 +0000 | [diff] [blame] | 149 | ++MCNumEmitted; // Keep track of the # of mi's emitted. |
Dan Gohman | 05ac43f | 2015-12-17 01:39:00 +0000 | [diff] [blame] | 150 | } |
| 151 | |
| 152 | #include "WebAssemblyGenMCCodeEmitter.inc" |