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