Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 1 | //===- WriterUtils.cpp ----------------------------------------------------===// |
| 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 |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
| 9 | #include "WriterUtils.h" |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 10 | #include "lld/Common/ErrorHandler.h" |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 11 | #include "llvm/Support/Debug.h" |
| 12 | #include "llvm/Support/EndianStream.h" |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 13 | #include "llvm/Support/LEB128.h" |
| 14 | |
| 15 | #define DEBUG_TYPE "lld" |
| 16 | |
| 17 | using namespace llvm; |
| 18 | using namespace llvm::wasm; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 19 | |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 20 | namespace lld { |
| 21 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 22 | void wasm::debugWrite(uint64_t offset, const Twine &msg) { |
| 23 | LLVM_DEBUG(dbgs() << format(" | %08lld: ", offset) << msg << "\n"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 24 | } |
| 25 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 26 | void wasm::writeUleb128(raw_ostream &os, uint32_t number, const Twine &msg) { |
| 27 | debugWrite(os.tell(), msg + "[" + utohexstr(number) + "]"); |
| 28 | encodeULEB128(number, os); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 29 | } |
| 30 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 31 | void wasm::writeSleb128(raw_ostream &os, int32_t number, const Twine &msg) { |
| 32 | debugWrite(os.tell(), msg + "[" + utohexstr(number) + "]"); |
| 33 | encodeSLEB128(number, os); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 34 | } |
| 35 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 36 | void wasm::writeBytes(raw_ostream &os, const char *bytes, size_t count, |
| 37 | const Twine &msg) { |
| 38 | debugWrite(os.tell(), msg + " [data[" + Twine(count) + "]]"); |
| 39 | os.write(bytes, count); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 40 | } |
| 41 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 42 | void wasm::writeStr(raw_ostream &os, StringRef string, const Twine &msg) { |
| 43 | debugWrite(os.tell(), |
| 44 | msg + " [str[" + Twine(string.size()) + "]: " + string + "]"); |
| 45 | encodeULEB128(string.size(), os); |
| 46 | os.write(string.data(), string.size()); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 47 | } |
| 48 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 49 | void wasm::writeU8(raw_ostream &os, uint8_t byte, const Twine &msg) { |
| 50 | debugWrite(os.tell(), msg + " [0x" + utohexstr(byte) + "]"); |
| 51 | os << byte; |
Sam Clegg | ea397f6 | 2018-03-01 00:42:57 +0000 | [diff] [blame] | 52 | } |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 53 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 54 | void wasm::writeU32(raw_ostream &os, uint32_t number, const Twine &msg) { |
| 55 | debugWrite(os.tell(), msg + "[0x" + utohexstr(number) + "]"); |
| 56 | support::endian::write(os, number, support::little); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 57 | } |
| 58 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 59 | void wasm::writeValueType(raw_ostream &os, ValType type, const Twine &msg) { |
| 60 | writeU8(os, static_cast<uint8_t>(type), |
| 61 | msg + "[type: " + toString(type) + "]"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 62 | } |
| 63 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 64 | void wasm::writeSig(raw_ostream &os, const WasmSignature &sig) { |
| 65 | writeU8(os, WASM_TYPE_FUNC, "signature type"); |
| 66 | writeUleb128(os, sig.Params.size(), "param Count"); |
| 67 | for (ValType paramType : sig.Params) { |
| 68 | writeValueType(os, paramType, "param type"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 69 | } |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 70 | writeUleb128(os, sig.Returns.size(), "result Count"); |
| 71 | if (sig.Returns.size()) { |
| 72 | writeValueType(os, sig.Returns[0], "result type"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 73 | } |
| 74 | } |
| 75 | |
Thomas Lively | 09768c5 | 2019-09-04 19:50:39 +0000 | [diff] [blame^] | 76 | void wasm::writeI32Const(raw_ostream &os, int32_t number, const Twine &msg) { |
| 77 | writeU8(os, WASM_OPCODE_I32_CONST, "i32.const"); |
| 78 | writeSleb128(os, number, msg); |
| 79 | } |
| 80 | |
| 81 | void wasm::writeI64Const(raw_ostream &os, int32_t number, const Twine &msg) { |
| 82 | writeU8(os, WASM_OPCODE_I64_CONST, "i64.const"); |
| 83 | writeSleb128(os, number, msg); |
| 84 | } |
| 85 | |
| 86 | void wasm::writeMemArg(raw_ostream &os, uint32_t alignment, uint32_t offset) { |
| 87 | writeUleb128(os, alignment, "alignment"); |
| 88 | writeUleb128(os, offset, "offset"); |
| 89 | } |
| 90 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 91 | void wasm::writeInitExpr(raw_ostream &os, const WasmInitExpr &initExpr) { |
| 92 | writeU8(os, initExpr.Opcode, "opcode"); |
| 93 | switch (initExpr.Opcode) { |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 94 | case WASM_OPCODE_I32_CONST: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 95 | writeSleb128(os, initExpr.Value.Int32, "literal (i32)"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 96 | break; |
| 97 | case WASM_OPCODE_I64_CONST: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 98 | writeSleb128(os, initExpr.Value.Int64, "literal (i64)"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 99 | break; |
Thomas Lively | 25ff893 | 2019-01-08 06:25:55 +0000 | [diff] [blame] | 100 | case WASM_OPCODE_GLOBAL_GET: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 101 | writeUleb128(os, initExpr.Value.Global, "literal (global index)"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 102 | break; |
| 103 | default: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 104 | fatal("unknown opcode in init expr: " + Twine(initExpr.Opcode)); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 105 | } |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 106 | writeU8(os, WASM_OPCODE_END, "opcode:end"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 107 | } |
| 108 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 109 | void wasm::writeLimits(raw_ostream &os, const WasmLimits &limits) { |
| 110 | writeU8(os, limits.Flags, "limits flags"); |
| 111 | writeUleb128(os, limits.Initial, "limits initial"); |
| 112 | if (limits.Flags & WASM_LIMITS_FLAG_HAS_MAX) |
| 113 | writeUleb128(os, limits.Maximum, "limits max"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 114 | } |
| 115 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 116 | void wasm::writeGlobalType(raw_ostream &os, const WasmGlobalType &type) { |
Derek Schuff | 371842b | 2018-10-03 22:25:32 +0000 | [diff] [blame] | 117 | // TODO: Update WasmGlobalType to use ValType and remove this cast. |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 118 | writeValueType(os, ValType(type.Type), "global type"); |
| 119 | writeU8(os, type.Mutable, "global mutable"); |
Sam Clegg | 1a9b7b9 | 2018-01-31 19:54:34 +0000 | [diff] [blame] | 120 | } |
| 121 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 122 | void wasm::writeGlobal(raw_ostream &os, const WasmGlobal &global) { |
| 123 | writeGlobalType(os, global.Type); |
| 124 | writeInitExpr(os, global.InitExpr); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 125 | } |
| 126 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 127 | void wasm::writeEventType(raw_ostream &os, const WasmEventType &type) { |
| 128 | writeUleb128(os, type.Attribute, "event attribute"); |
| 129 | writeUleb128(os, type.SigIndex, "sig index"); |
Heejin Ahn | e915a71 | 2018-12-08 06:17:43 +0000 | [diff] [blame] | 130 | } |
| 131 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 132 | void wasm::writeEvent(raw_ostream &os, const WasmEvent &event) { |
| 133 | writeEventType(os, event.Type); |
Heejin Ahn | e915a71 | 2018-12-08 06:17:43 +0000 | [diff] [blame] | 134 | } |
| 135 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 136 | void wasm::writeTableType(raw_ostream &os, const llvm::wasm::WasmTable &type) { |
| 137 | writeU8(os, WASM_TYPE_FUNCREF, "table type"); |
| 138 | writeLimits(os, type.Limits); |
Nicholas Wilson | 874eedd | 2018-03-27 17:38:51 +0000 | [diff] [blame] | 139 | } |
| 140 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 141 | void wasm::writeImport(raw_ostream &os, const WasmImport &import) { |
| 142 | writeStr(os, import.Module, "import module name"); |
| 143 | writeStr(os, import.Field, "import field name"); |
| 144 | writeU8(os, import.Kind, "import kind"); |
| 145 | switch (import.Kind) { |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 146 | case WASM_EXTERNAL_FUNCTION: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 147 | writeUleb128(os, import.SigIndex, "import sig index"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 148 | break; |
| 149 | case WASM_EXTERNAL_GLOBAL: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 150 | writeGlobalType(os, import.Global); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 151 | break; |
Heejin Ahn | e915a71 | 2018-12-08 06:17:43 +0000 | [diff] [blame] | 152 | case WASM_EXTERNAL_EVENT: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 153 | writeEventType(os, import.Event); |
Heejin Ahn | e915a71 | 2018-12-08 06:17:43 +0000 | [diff] [blame] | 154 | break; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 155 | case WASM_EXTERNAL_MEMORY: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 156 | writeLimits(os, import.Memory); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 157 | break; |
Nicholas Wilson | 874eedd | 2018-03-27 17:38:51 +0000 | [diff] [blame] | 158 | case WASM_EXTERNAL_TABLE: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 159 | writeTableType(os, import.Table); |
Nicholas Wilson | 874eedd | 2018-03-27 17:38:51 +0000 | [diff] [blame] | 160 | break; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 161 | default: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 162 | fatal("unsupported import type: " + Twine(import.Kind)); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 163 | } |
| 164 | } |
| 165 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 166 | void wasm::writeExport(raw_ostream &os, const WasmExport &export_) { |
| 167 | writeStr(os, export_.Name, "export name"); |
| 168 | writeU8(os, export_.Kind, "export kind"); |
| 169 | switch (export_.Kind) { |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 170 | case WASM_EXTERNAL_FUNCTION: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 171 | writeUleb128(os, export_.Index, "function index"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 172 | break; |
| 173 | case WASM_EXTERNAL_GLOBAL: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 174 | writeUleb128(os, export_.Index, "global index"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 175 | break; |
| 176 | case WASM_EXTERNAL_MEMORY: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 177 | writeUleb128(os, export_.Index, "memory index"); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 178 | break; |
Nicholas Wilson | 874eedd | 2018-03-27 17:38:51 +0000 | [diff] [blame] | 179 | case WASM_EXTERNAL_TABLE: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 180 | writeUleb128(os, export_.Index, "table index"); |
Nicholas Wilson | 874eedd | 2018-03-27 17:38:51 +0000 | [diff] [blame] | 181 | break; |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 182 | default: |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 183 | fatal("unsupported export type: " + Twine(export_.Kind)); |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 184 | } |
| 185 | } |
Sam Clegg | c94d393 | 2017-11-17 18:14:09 +0000 | [diff] [blame] | 186 | } // namespace lld |
Sam Clegg | b862159 | 2017-11-30 01:40:08 +0000 | [diff] [blame] | 187 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 188 | std::string lld::toString(ValType type) { |
| 189 | switch (type) { |
Sam Clegg | b862159 | 2017-11-30 01:40:08 +0000 | [diff] [blame] | 190 | case ValType::I32: |
Sam Clegg | c1a3b9d | 2018-11-01 01:08:37 +0000 | [diff] [blame] | 191 | return "i32"; |
Sam Clegg | b862159 | 2017-11-30 01:40:08 +0000 | [diff] [blame] | 192 | case ValType::I64: |
Sam Clegg | c1a3b9d | 2018-11-01 01:08:37 +0000 | [diff] [blame] | 193 | return "i64"; |
Sam Clegg | b862159 | 2017-11-30 01:40:08 +0000 | [diff] [blame] | 194 | case ValType::F32: |
Sam Clegg | c1a3b9d | 2018-11-01 01:08:37 +0000 | [diff] [blame] | 195 | return "f32"; |
Sam Clegg | b862159 | 2017-11-30 01:40:08 +0000 | [diff] [blame] | 196 | case ValType::F64: |
Sam Clegg | c1a3b9d | 2018-11-01 01:08:37 +0000 | [diff] [blame] | 197 | return "f64"; |
Thomas Lively | d661e26 | 2018-09-20 22:07:18 +0000 | [diff] [blame] | 198 | case ValType::V128: |
Sam Clegg | c1a3b9d | 2018-11-01 01:08:37 +0000 | [diff] [blame] | 199 | return "v128"; |
Heejin Ahn | 9f96a58 | 2019-07-15 22:49:25 +0000 | [diff] [blame] | 200 | case ValType::EXNREF: |
| 201 | return "exnref"; |
Sam Clegg | b862159 | 2017-11-30 01:40:08 +0000 | [diff] [blame] | 202 | } |
| 203 | llvm_unreachable("Invalid wasm::ValType"); |
| 204 | } |
| 205 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 206 | std::string lld::toString(const WasmSignature &sig) { |
| 207 | SmallString<128> s("("); |
| 208 | for (ValType type : sig.Params) { |
| 209 | if (s.size() != 1) |
| 210 | s += ", "; |
| 211 | s += toString(type); |
Sam Clegg | b862159 | 2017-11-30 01:40:08 +0000 | [diff] [blame] | 212 | } |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 213 | s += ") -> "; |
| 214 | if (sig.Returns.empty()) |
| 215 | s += "void"; |
Sam Clegg | b862159 | 2017-11-30 01:40:08 +0000 | [diff] [blame] | 216 | else |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 217 | s += toString(sig.Returns[0]); |
| 218 | return s.str(); |
Sam Clegg | b862159 | 2017-11-30 01:40:08 +0000 | [diff] [blame] | 219 | } |
Sam Clegg | 9310297 | 2018-02-23 05:08:53 +0000 | [diff] [blame] | 220 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 221 | std::string lld::toString(const WasmGlobalType &type) { |
| 222 | return (type.Mutable ? "var " : "const ") + |
| 223 | toString(static_cast<ValType>(type.Type)); |
Heejin Ahn | e915a71 | 2018-12-08 06:17:43 +0000 | [diff] [blame] | 224 | } |
| 225 | |
Rui Ueyama | 136d27a | 2019-07-11 05:40:30 +0000 | [diff] [blame] | 226 | std::string lld::toString(const WasmEventType &type) { |
| 227 | if (type.Attribute == WASM_EVENT_ATTRIBUTE_EXCEPTION) |
Heejin Ahn | e915a71 | 2018-12-08 06:17:43 +0000 | [diff] [blame] | 228 | return "exception"; |
| 229 | return "unknown"; |
Sam Clegg | 9310297 | 2018-02-23 05:08:53 +0000 | [diff] [blame] | 230 | } |