Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 1 | //==-- WebAssemblyTargetStreamer.cpp - WebAssembly Target Streamer Methods --=// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | /// |
| 9 | /// \file |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 10 | /// This file defines WebAssembly-specific target streamer classes. |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 11 | /// These are for implementing support for target-specific assembly directives. |
| 12 | /// |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
David L. Jones | a263aa2 | 2019-05-13 03:32:41 +0000 | [diff] [blame] | 15 | #include "MCTargetDesc/WebAssemblyTargetStreamer.h" |
| 16 | #include "MCTargetDesc/WebAssemblyInstPrinter.h" |
| 17 | #include "MCTargetDesc/WebAssemblyMCTargetDesc.h" |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCContext.h" |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCSectionWasm.h" |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCSubtargetInfo.h" |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCSymbolWasm.h" |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 22 | #include "llvm/Support/Casting.h" |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 23 | #include "llvm/Support/ErrorHandling.h" |
| 24 | #include "llvm/Support/FormattedStream.h" |
| 25 | using namespace llvm; |
| 26 | |
| 27 | WebAssemblyTargetStreamer::WebAssemblyTargetStreamer(MCStreamer &S) |
| 28 | : MCTargetStreamer(S) {} |
| 29 | |
Derek Schuff | b879539 | 2017-03-16 20:49:48 +0000 | [diff] [blame] | 30 | void WebAssemblyTargetStreamer::emitValueType(wasm::ValType Type) { |
Sam Clegg | 03e101f | 2018-03-01 18:06:21 +0000 | [diff] [blame] | 31 | Streamer.EmitIntValue(uint8_t(Type), 1); |
Derek Schuff | b879539 | 2017-03-16 20:49:48 +0000 | [diff] [blame] | 32 | } |
| 33 | |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 34 | WebAssemblyTargetAsmStreamer::WebAssemblyTargetAsmStreamer( |
| 35 | MCStreamer &S, formatted_raw_ostream &OS) |
| 36 | : WebAssemblyTargetStreamer(S), OS(OS) {} |
| 37 | |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 38 | WebAssemblyTargetWasmStreamer::WebAssemblyTargetWasmStreamer(MCStreamer &S) |
| 39 | : WebAssemblyTargetStreamer(S) {} |
| 40 | |
Heejin Ahn | 21d45a2 | 2018-12-11 00:53:59 +0000 | [diff] [blame] | 41 | static void printTypes(formatted_raw_ostream &OS, |
| 42 | ArrayRef<wasm::ValType> Types) { |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 43 | bool First = true; |
Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 44 | for (auto Type : Types) { |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 45 | if (First) |
| 46 | First = false; |
| 47 | else |
| 48 | OS << ", "; |
Wouter van Oortmerssen | 9843295 | 2019-01-03 22:59:59 +0000 | [diff] [blame] | 49 | OS << WebAssembly::typeToString(Type); |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 50 | } |
| 51 | OS << '\n'; |
| 52 | } |
| 53 | |
Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 54 | void WebAssemblyTargetAsmStreamer::emitLocal(ArrayRef<wasm::ValType> Types) { |
Dan Gohman | 3acb187 | 2016-10-24 23:27:49 +0000 | [diff] [blame] | 55 | if (!Types.empty()) { |
| 56 | OS << "\t.local \t"; |
Heejin Ahn | 21d45a2 | 2018-12-11 00:53:59 +0000 | [diff] [blame] | 57 | printTypes(OS, Types); |
Dan Gohman | 3acb187 | 2016-10-24 23:27:49 +0000 | [diff] [blame] | 58 | } |
Dan Gohman | 3469ee1 | 2016-01-12 20:30:51 +0000 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | void WebAssemblyTargetAsmStreamer::emitEndFunc() { OS << "\t.endfunc\n"; } |
| 62 | |
Heejin Ahn | be5e587 | 2018-12-11 01:11:04 +0000 | [diff] [blame] | 63 | void WebAssemblyTargetAsmStreamer::emitSignature( |
| 64 | const wasm::WasmSignature *Sig) { |
| 65 | OS << "("; |
| 66 | emitParamList(Sig); |
| 67 | OS << ") -> ("; |
| 68 | emitReturnList(Sig); |
| 69 | OS << ")"; |
| 70 | } |
| 71 | |
| 72 | void WebAssemblyTargetAsmStreamer::emitParamList( |
| 73 | const wasm::WasmSignature *Sig) { |
| 74 | auto &Params = Sig->Params; |
| 75 | for (auto &Ty : Params) { |
| 76 | if (&Ty != &Params[0]) |
| 77 | OS << ", "; |
Wouter van Oortmerssen | 9843295 | 2019-01-03 22:59:59 +0000 | [diff] [blame] | 78 | OS << WebAssembly::typeToString(Ty); |
Heejin Ahn | be5e587 | 2018-12-11 01:11:04 +0000 | [diff] [blame] | 79 | } |
| 80 | } |
| 81 | |
| 82 | void WebAssemblyTargetAsmStreamer::emitReturnList( |
| 83 | const wasm::WasmSignature *Sig) { |
| 84 | auto &Returns = Sig->Returns; |
| 85 | for (auto &Ty : Returns) { |
| 86 | if (&Ty != &Returns[0]) |
| 87 | OS << ", "; |
Wouter van Oortmerssen | 9843295 | 2019-01-03 22:59:59 +0000 | [diff] [blame] | 88 | OS << WebAssembly::typeToString(Ty); |
Heejin Ahn | be5e587 | 2018-12-11 01:11:04 +0000 | [diff] [blame] | 89 | } |
| 90 | } |
| 91 | |
Heejin Ahn | 21d45a2 | 2018-12-11 00:53:59 +0000 | [diff] [blame] | 92 | void WebAssemblyTargetAsmStreamer::emitFunctionType(const MCSymbolWasm *Sym) { |
| 93 | assert(Sym->isFunction()); |
Heejin Ahn | be5e587 | 2018-12-11 01:11:04 +0000 | [diff] [blame] | 94 | OS << "\t.functype\t" << Sym->getName() << " "; |
| 95 | emitSignature(Sym->getSignature()); |
| 96 | OS << "\n"; |
Derek Schuff | 5859a9ed | 2016-06-03 18:34:36 +0000 | [diff] [blame] | 97 | } |
| 98 | |
Heejin Ahn | 21d45a2 | 2018-12-11 00:53:59 +0000 | [diff] [blame] | 99 | void WebAssemblyTargetAsmStreamer::emitGlobalType(const MCSymbolWasm *Sym) { |
Heejin Ahn | da419bd | 2018-11-14 02:46:21 +0000 | [diff] [blame] | 100 | assert(Sym->isGlobal()); |
Wouter van Oortmerssen | 9843295 | 2019-01-03 22:59:59 +0000 | [diff] [blame] | 101 | OS << "\t.globaltype\t" << Sym->getName() << ", " |
| 102 | << WebAssembly::typeToString( |
| 103 | static_cast<wasm::ValType>(Sym->getGlobalType().Type)) |
| 104 | << '\n'; |
Derek Schuff | 7747d703e | 2016-12-01 00:11:15 +0000 | [diff] [blame] | 105 | } |
| 106 | |
Heejin Ahn | 21d45a2 | 2018-12-11 00:53:59 +0000 | [diff] [blame] | 107 | void WebAssemblyTargetAsmStreamer::emitEventType(const MCSymbolWasm *Sym) { |
Heejin Ahn | da419bd | 2018-11-14 02:46:21 +0000 | [diff] [blame] | 108 | assert(Sym->isEvent()); |
Heejin Ahn | be5e587 | 2018-12-11 01:11:04 +0000 | [diff] [blame] | 109 | OS << "\t.eventtype\t" << Sym->getName() << " "; |
| 110 | emitParamList(Sym->getSignature()); |
| 111 | OS << "\n"; |
Heejin Ahn | da419bd | 2018-11-14 02:46:21 +0000 | [diff] [blame] | 112 | } |
| 113 | |
Heejin Ahn | 21d45a2 | 2018-12-11 00:53:59 +0000 | [diff] [blame] | 114 | void WebAssemblyTargetAsmStreamer::emitImportModule(const MCSymbolWasm *Sym, |
Dan Gohman | f726e44 | 2019-02-01 22:27:34 +0000 | [diff] [blame] | 115 | StringRef ImportModule) { |
| 116 | OS << "\t.import_module\t" << Sym->getName() << ", " |
| 117 | << ImportModule << '\n'; |
| 118 | } |
| 119 | |
| 120 | void WebAssemblyTargetAsmStreamer::emitImportName(const MCSymbolWasm *Sym, |
| 121 | StringRef ImportName) { |
| 122 | OS << "\t.import_name\t" << Sym->getName() << ", " |
| 123 | << ImportName << '\n'; |
Dan Gohman | db1916a | 2018-02-09 23:13:22 +0000 | [diff] [blame] | 124 | } |
| 125 | |
Derek Schuff | c64d765 | 2016-08-01 22:25:02 +0000 | [diff] [blame] | 126 | void WebAssemblyTargetAsmStreamer::emitIndIdx(const MCExpr *Value) { |
| 127 | OS << "\t.indidx \t" << *Value << '\n'; |
| 128 | } |
| 129 | |
Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 130 | void WebAssemblyTargetWasmStreamer::emitLocal(ArrayRef<wasm::ValType> Types) { |
| 131 | SmallVector<std::pair<wasm::ValType, uint32_t>, 4> Grouped; |
| 132 | for (auto Type : Types) { |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 133 | if (Grouped.empty() || Grouped.back().first != Type) |
| 134 | Grouped.push_back(std::make_pair(Type, 1)); |
| 135 | else |
| 136 | ++Grouped.back().second; |
| 137 | } |
| 138 | |
| 139 | Streamer.EmitULEB128IntValue(Grouped.size()); |
| 140 | for (auto Pair : Grouped) { |
| 141 | Streamer.EmitULEB128IntValue(Pair.second); |
Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 142 | emitValueType(Pair.first); |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 143 | } |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 144 | } |
| 145 | |
| 146 | void WebAssemblyTargetWasmStreamer::emitEndFunc() { |
Dan Gohman | d934cb8 | 2017-02-24 23:18:00 +0000 | [diff] [blame] | 147 | llvm_unreachable(".end_func is not needed for direct wasm output"); |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 148 | } |
| 149 | |
| 150 | void WebAssemblyTargetWasmStreamer::emitIndIdx(const MCExpr *Value) { |
| 151 | llvm_unreachable(".indidx encoding not yet implemented"); |
| 152 | } |