blob: d45f6a4c77f6b40a4dfb1cd4897e0684f3c8d9e5 [file] [log] [blame]
Sam Cleggc94d3932017-11-17 18:14:09 +00001//===- WriterUtils.cpp ----------------------------------------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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 Cleggc94d3932017-11-17 18:14:09 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "WriterUtils.h"
Sam Cleggc94d3932017-11-17 18:14:09 +000010#include "lld/Common/ErrorHandler.h"
Sam Cleggc94d3932017-11-17 18:14:09 +000011#include "llvm/Support/Debug.h"
12#include "llvm/Support/EndianStream.h"
Sam Cleggc94d3932017-11-17 18:14:09 +000013#include "llvm/Support/LEB128.h"
14
15#define DEBUG_TYPE "lld"
16
17using namespace llvm;
18using namespace llvm::wasm;
Sam Cleggc94d3932017-11-17 18:14:09 +000019
Sam Cleggc94d3932017-11-17 18:14:09 +000020namespace lld {
21
Rui Ueyama136d27a2019-07-11 05:40:30 +000022void wasm::debugWrite(uint64_t offset, const Twine &msg) {
23 LLVM_DEBUG(dbgs() << format(" | %08lld: ", offset) << msg << "\n");
Sam Cleggc94d3932017-11-17 18:14:09 +000024}
25
Rui Ueyama136d27a2019-07-11 05:40:30 +000026void wasm::writeUleb128(raw_ostream &os, uint32_t number, const Twine &msg) {
27 debugWrite(os.tell(), msg + "[" + utohexstr(number) + "]");
28 encodeULEB128(number, os);
Sam Cleggc94d3932017-11-17 18:14:09 +000029}
30
Rui Ueyama136d27a2019-07-11 05:40:30 +000031void wasm::writeSleb128(raw_ostream &os, int32_t number, const Twine &msg) {
32 debugWrite(os.tell(), msg + "[" + utohexstr(number) + "]");
33 encodeSLEB128(number, os);
Sam Cleggc94d3932017-11-17 18:14:09 +000034}
35
Rui Ueyama136d27a2019-07-11 05:40:30 +000036void 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 Cleggc94d3932017-11-17 18:14:09 +000040}
41
Rui Ueyama136d27a2019-07-11 05:40:30 +000042void 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 Cleggc94d3932017-11-17 18:14:09 +000047}
48
Rui Ueyama136d27a2019-07-11 05:40:30 +000049void wasm::writeU8(raw_ostream &os, uint8_t byte, const Twine &msg) {
50 debugWrite(os.tell(), msg + " [0x" + utohexstr(byte) + "]");
51 os << byte;
Sam Cleggea397f62018-03-01 00:42:57 +000052}
Sam Cleggc94d3932017-11-17 18:14:09 +000053
Rui Ueyama136d27a2019-07-11 05:40:30 +000054void 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 Cleggc94d3932017-11-17 18:14:09 +000057}
58
Rui Ueyama136d27a2019-07-11 05:40:30 +000059void wasm::writeValueType(raw_ostream &os, ValType type, const Twine &msg) {
60 writeU8(os, static_cast<uint8_t>(type),
61 msg + "[type: " + toString(type) + "]");
Sam Cleggc94d3932017-11-17 18:14:09 +000062}
63
Rui Ueyama136d27a2019-07-11 05:40:30 +000064void 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 Cleggc94d3932017-11-17 18:14:09 +000069 }
Rui Ueyama136d27a2019-07-11 05:40:30 +000070 writeUleb128(os, sig.Returns.size(), "result Count");
71 if (sig.Returns.size()) {
72 writeValueType(os, sig.Returns[0], "result type");
Sam Cleggc94d3932017-11-17 18:14:09 +000073 }
74}
75
Rui Ueyama136d27a2019-07-11 05:40:30 +000076void wasm::writeInitExpr(raw_ostream &os, const WasmInitExpr &initExpr) {
77 writeU8(os, initExpr.Opcode, "opcode");
78 switch (initExpr.Opcode) {
Sam Cleggc94d3932017-11-17 18:14:09 +000079 case WASM_OPCODE_I32_CONST:
Rui Ueyama136d27a2019-07-11 05:40:30 +000080 writeSleb128(os, initExpr.Value.Int32, "literal (i32)");
Sam Cleggc94d3932017-11-17 18:14:09 +000081 break;
82 case WASM_OPCODE_I64_CONST:
Rui Ueyama136d27a2019-07-11 05:40:30 +000083 writeSleb128(os, initExpr.Value.Int64, "literal (i64)");
Sam Cleggc94d3932017-11-17 18:14:09 +000084 break;
Thomas Lively25ff8932019-01-08 06:25:55 +000085 case WASM_OPCODE_GLOBAL_GET:
Rui Ueyama136d27a2019-07-11 05:40:30 +000086 writeUleb128(os, initExpr.Value.Global, "literal (global index)");
Sam Cleggc94d3932017-11-17 18:14:09 +000087 break;
88 default:
Rui Ueyama136d27a2019-07-11 05:40:30 +000089 fatal("unknown opcode in init expr: " + Twine(initExpr.Opcode));
Sam Cleggc94d3932017-11-17 18:14:09 +000090 }
Rui Ueyama136d27a2019-07-11 05:40:30 +000091 writeU8(os, WASM_OPCODE_END, "opcode:end");
Sam Cleggc94d3932017-11-17 18:14:09 +000092}
93
Rui Ueyama136d27a2019-07-11 05:40:30 +000094void wasm::writeLimits(raw_ostream &os, const WasmLimits &limits) {
95 writeU8(os, limits.Flags, "limits flags");
96 writeUleb128(os, limits.Initial, "limits initial");
97 if (limits.Flags & WASM_LIMITS_FLAG_HAS_MAX)
98 writeUleb128(os, limits.Maximum, "limits max");
Sam Cleggc94d3932017-11-17 18:14:09 +000099}
100
Rui Ueyama136d27a2019-07-11 05:40:30 +0000101void wasm::writeGlobalType(raw_ostream &os, const WasmGlobalType &type) {
Derek Schuff371842b2018-10-03 22:25:32 +0000102 // TODO: Update WasmGlobalType to use ValType and remove this cast.
Rui Ueyama136d27a2019-07-11 05:40:30 +0000103 writeValueType(os, ValType(type.Type), "global type");
104 writeU8(os, type.Mutable, "global mutable");
Sam Clegg1a9b7b92018-01-31 19:54:34 +0000105}
106
Rui Ueyama136d27a2019-07-11 05:40:30 +0000107void wasm::writeGlobal(raw_ostream &os, const WasmGlobal &global) {
108 writeGlobalType(os, global.Type);
109 writeInitExpr(os, global.InitExpr);
Sam Cleggc94d3932017-11-17 18:14:09 +0000110}
111
Rui Ueyama136d27a2019-07-11 05:40:30 +0000112void wasm::writeEventType(raw_ostream &os, const WasmEventType &type) {
113 writeUleb128(os, type.Attribute, "event attribute");
114 writeUleb128(os, type.SigIndex, "sig index");
Heejin Ahne915a712018-12-08 06:17:43 +0000115}
116
Rui Ueyama136d27a2019-07-11 05:40:30 +0000117void wasm::writeEvent(raw_ostream &os, const WasmEvent &event) {
118 writeEventType(os, event.Type);
Heejin Ahne915a712018-12-08 06:17:43 +0000119}
120
Rui Ueyama136d27a2019-07-11 05:40:30 +0000121void wasm::writeTableType(raw_ostream &os, const llvm::wasm::WasmTable &type) {
122 writeU8(os, WASM_TYPE_FUNCREF, "table type");
123 writeLimits(os, type.Limits);
Nicholas Wilson874eedd2018-03-27 17:38:51 +0000124}
125
Rui Ueyama136d27a2019-07-11 05:40:30 +0000126void wasm::writeImport(raw_ostream &os, const WasmImport &import) {
127 writeStr(os, import.Module, "import module name");
128 writeStr(os, import.Field, "import field name");
129 writeU8(os, import.Kind, "import kind");
130 switch (import.Kind) {
Sam Cleggc94d3932017-11-17 18:14:09 +0000131 case WASM_EXTERNAL_FUNCTION:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000132 writeUleb128(os, import.SigIndex, "import sig index");
Sam Cleggc94d3932017-11-17 18:14:09 +0000133 break;
134 case WASM_EXTERNAL_GLOBAL:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000135 writeGlobalType(os, import.Global);
Sam Cleggc94d3932017-11-17 18:14:09 +0000136 break;
Heejin Ahne915a712018-12-08 06:17:43 +0000137 case WASM_EXTERNAL_EVENT:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000138 writeEventType(os, import.Event);
Heejin Ahne915a712018-12-08 06:17:43 +0000139 break;
Sam Cleggc94d3932017-11-17 18:14:09 +0000140 case WASM_EXTERNAL_MEMORY:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000141 writeLimits(os, import.Memory);
Sam Cleggc94d3932017-11-17 18:14:09 +0000142 break;
Nicholas Wilson874eedd2018-03-27 17:38:51 +0000143 case WASM_EXTERNAL_TABLE:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000144 writeTableType(os, import.Table);
Nicholas Wilson874eedd2018-03-27 17:38:51 +0000145 break;
Sam Cleggc94d3932017-11-17 18:14:09 +0000146 default:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000147 fatal("unsupported import type: " + Twine(import.Kind));
Sam Cleggc94d3932017-11-17 18:14:09 +0000148 }
149}
150
Rui Ueyama136d27a2019-07-11 05:40:30 +0000151void wasm::writeExport(raw_ostream &os, const WasmExport &export_) {
152 writeStr(os, export_.Name, "export name");
153 writeU8(os, export_.Kind, "export kind");
154 switch (export_.Kind) {
Sam Cleggc94d3932017-11-17 18:14:09 +0000155 case WASM_EXTERNAL_FUNCTION:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000156 writeUleb128(os, export_.Index, "function index");
Sam Cleggc94d3932017-11-17 18:14:09 +0000157 break;
158 case WASM_EXTERNAL_GLOBAL:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000159 writeUleb128(os, export_.Index, "global index");
Sam Cleggc94d3932017-11-17 18:14:09 +0000160 break;
161 case WASM_EXTERNAL_MEMORY:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000162 writeUleb128(os, export_.Index, "memory index");
Sam Cleggc94d3932017-11-17 18:14:09 +0000163 break;
Nicholas Wilson874eedd2018-03-27 17:38:51 +0000164 case WASM_EXTERNAL_TABLE:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000165 writeUleb128(os, export_.Index, "table index");
Nicholas Wilson874eedd2018-03-27 17:38:51 +0000166 break;
Sam Cleggc94d3932017-11-17 18:14:09 +0000167 default:
Rui Ueyama136d27a2019-07-11 05:40:30 +0000168 fatal("unsupported export type: " + Twine(export_.Kind));
Sam Cleggc94d3932017-11-17 18:14:09 +0000169 }
170}
Sam Cleggc94d3932017-11-17 18:14:09 +0000171} // namespace lld
Sam Cleggb8621592017-11-30 01:40:08 +0000172
Rui Ueyama136d27a2019-07-11 05:40:30 +0000173std::string lld::toString(ValType type) {
174 switch (type) {
Sam Cleggb8621592017-11-30 01:40:08 +0000175 case ValType::I32:
Sam Cleggc1a3b9d2018-11-01 01:08:37 +0000176 return "i32";
Sam Cleggb8621592017-11-30 01:40:08 +0000177 case ValType::I64:
Sam Cleggc1a3b9d2018-11-01 01:08:37 +0000178 return "i64";
Sam Cleggb8621592017-11-30 01:40:08 +0000179 case ValType::F32:
Sam Cleggc1a3b9d2018-11-01 01:08:37 +0000180 return "f32";
Sam Cleggb8621592017-11-30 01:40:08 +0000181 case ValType::F64:
Sam Cleggc1a3b9d2018-11-01 01:08:37 +0000182 return "f64";
Thomas Livelyd661e262018-09-20 22:07:18 +0000183 case ValType::V128:
Sam Cleggc1a3b9d2018-11-01 01:08:37 +0000184 return "v128";
Heejin Ahn2dce27d2018-03-08 04:06:57 +0000185 case ValType::EXCEPT_REF:
186 return "except_ref";
Sam Cleggb8621592017-11-30 01:40:08 +0000187 }
188 llvm_unreachable("Invalid wasm::ValType");
189}
190
Rui Ueyama136d27a2019-07-11 05:40:30 +0000191std::string lld::toString(const WasmSignature &sig) {
192 SmallString<128> s("(");
193 for (ValType type : sig.Params) {
194 if (s.size() != 1)
195 s += ", ";
196 s += toString(type);
Sam Cleggb8621592017-11-30 01:40:08 +0000197 }
Rui Ueyama136d27a2019-07-11 05:40:30 +0000198 s += ") -> ";
199 if (sig.Returns.empty())
200 s += "void";
Sam Cleggb8621592017-11-30 01:40:08 +0000201 else
Rui Ueyama136d27a2019-07-11 05:40:30 +0000202 s += toString(sig.Returns[0]);
203 return s.str();
Sam Cleggb8621592017-11-30 01:40:08 +0000204}
Sam Clegg93102972018-02-23 05:08:53 +0000205
Rui Ueyama136d27a2019-07-11 05:40:30 +0000206std::string lld::toString(const WasmGlobalType &type) {
207 return (type.Mutable ? "var " : "const ") +
208 toString(static_cast<ValType>(type.Type));
Heejin Ahne915a712018-12-08 06:17:43 +0000209}
210
Rui Ueyama136d27a2019-07-11 05:40:30 +0000211std::string lld::toString(const WasmEventType &type) {
212 if (type.Attribute == WASM_EVENT_ATTRIBUTE_EXCEPTION)
Heejin Ahne915a712018-12-08 06:17:43 +0000213 return "exception";
214 return "unknown";
Sam Clegg93102972018-02-23 05:08:53 +0000215}