blob: 70721e006dabe03a7ef19306215c76e2c6260515 [file] [log] [blame]
Derek Schuffd3d84fd2017-03-30 19:44:09 +00001//===- WasmYAML.cpp - Wasm YAMLIO implementation --------------------------===//
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// This file defines classes for handling the YAML representation of wasm.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/ObjectYAML/WasmYAML.h"
Eugene Zelenko28082ab2017-07-01 01:35:55 +000015#include "llvm/ADT/StringRef.h"
Derek Schuffd3d84fd2017-03-30 19:44:09 +000016#include "llvm/Support/Casting.h"
Eugene Zelenko28082ab2017-07-01 01:35:55 +000017#include "llvm/Support/ErrorHandling.h"
18#include "llvm/Support/YAMLTraits.h"
Derek Schuffd3d84fd2017-03-30 19:44:09 +000019
20namespace llvm {
Derek Schuffc5b472f2017-03-31 22:14:14 +000021
22namespace WasmYAML {
23
24// Declared here rather than in the header to comply with:
25// http://llvm.org/docs/CodingStandards.html#provide-a-virtual-method-anchor-for-classes-in-headers
Eugene Zelenko28082ab2017-07-01 01:35:55 +000026Section::~Section() = default;
Derek Schuffc5b472f2017-03-31 22:14:14 +000027
28} // end namespace WasmYAML
29
Derek Schuffd3d84fd2017-03-30 19:44:09 +000030namespace yaml {
31
32void MappingTraits<WasmYAML::FileHeader>::mapping(
33 IO &IO, WasmYAML::FileHeader &FileHdr) {
34 IO.mapRequired("Version", FileHdr.Version);
35}
36
37void MappingTraits<WasmYAML::Object>::mapping(IO &IO,
38 WasmYAML::Object &Object) {
39 IO.setContext(&Object);
40 IO.mapTag("!WASM", true);
41 IO.mapRequired("FileHeader", Object.Header);
42 IO.mapOptional("Sections", Object.Sections);
43 IO.setContext(nullptr);
44}
45
46static void commonSectionMapping(IO &IO, WasmYAML::Section &Section) {
47 IO.mapRequired("Type", Section.Type);
48 IO.mapOptional("Relocations", Section.Relocations);
49}
50
Sam Cleggb7787fd2017-06-20 04:04:59 +000051static void sectionMapping(IO &IO, WasmYAML::NameSection &Section) {
52 commonSectionMapping(IO, Section);
53 IO.mapRequired("Name", Section.Name);
54 IO.mapOptional("FunctionNames", Section.FunctionNames);
55}
56
57static void sectionMapping(IO &IO, WasmYAML::LinkingSection &Section) {
58 commonSectionMapping(IO, Section);
59 IO.mapRequired("Name", Section.Name);
Sam Clegg9e1ade92017-06-27 20:27:59 +000060 IO.mapRequired("DataSize", Section.DataSize);
Sam Clegge7a60702017-09-06 22:05:41 +000061 IO.mapOptional("SymbolInfo", Section.SymbolInfos);
Sam Clegg63ebb812017-09-29 16:50:08 +000062 IO.mapOptional("SegmentInfo", Section.SegmentInfos);
Sam Clegg42739982017-12-14 21:10:03 +000063 IO.mapOptional("InitFunctions", Section.InitFunctions);
Sam Cleggb7787fd2017-06-20 04:04:59 +000064}
65
Derek Schuffd3d84fd2017-03-30 19:44:09 +000066static void sectionMapping(IO &IO, WasmYAML::CustomSection &Section) {
67 commonSectionMapping(IO, Section);
68 IO.mapRequired("Name", Section.Name);
Sam Cleggb7787fd2017-06-20 04:04:59 +000069 IO.mapRequired("Payload", Section.Payload);
Derek Schuffd3d84fd2017-03-30 19:44:09 +000070}
71
72static void sectionMapping(IO &IO, WasmYAML::TypeSection &Section) {
73 commonSectionMapping(IO, Section);
74 IO.mapOptional("Signatures", Section.Signatures);
75}
76
77static void sectionMapping(IO &IO, WasmYAML::ImportSection &Section) {
78 commonSectionMapping(IO, Section);
79 IO.mapOptional("Imports", Section.Imports);
80}
81
82static void sectionMapping(IO &IO, WasmYAML::FunctionSection &Section) {
83 commonSectionMapping(IO, Section);
84 IO.mapOptional("FunctionTypes", Section.FunctionTypes);
85}
86
87static void sectionMapping(IO &IO, WasmYAML::TableSection &Section) {
88 commonSectionMapping(IO, Section);
89 IO.mapOptional("Tables", Section.Tables);
90}
91
92static void sectionMapping(IO &IO, WasmYAML::MemorySection &Section) {
93 commonSectionMapping(IO, Section);
94 IO.mapOptional("Memories", Section.Memories);
95}
96
97static void sectionMapping(IO &IO, WasmYAML::GlobalSection &Section) {
98 commonSectionMapping(IO, Section);
99 IO.mapOptional("Globals", Section.Globals);
100}
101
102static void sectionMapping(IO &IO, WasmYAML::ExportSection &Section) {
103 commonSectionMapping(IO, Section);
104 IO.mapOptional("Exports", Section.Exports);
105}
106
107static void sectionMapping(IO &IO, WasmYAML::StartSection &Section) {
108 commonSectionMapping(IO, Section);
109 IO.mapOptional("StartFunction", Section.StartFunction);
110}
111
112static void sectionMapping(IO &IO, WasmYAML::ElemSection &Section) {
113 commonSectionMapping(IO, Section);
114 IO.mapOptional("Segments", Section.Segments);
115}
116
117static void sectionMapping(IO &IO, WasmYAML::CodeSection &Section) {
118 commonSectionMapping(IO, Section);
119 IO.mapRequired("Functions", Section.Functions);
120}
121
122static void sectionMapping(IO &IO, WasmYAML::DataSection &Section) {
123 commonSectionMapping(IO, Section);
124 IO.mapRequired("Segments", Section.Segments);
125}
126
127void MappingTraits<std::unique_ptr<WasmYAML::Section>>::mapping(
128 IO &IO, std::unique_ptr<WasmYAML::Section> &Section) {
129 WasmYAML::SectionType SectionType;
130 if (IO.outputting())
131 SectionType = Section->Type;
132 else
133 IO.mapRequired("Type", SectionType);
134
135 switch (SectionType) {
Sam Cleggb7787fd2017-06-20 04:04:59 +0000136 case wasm::WASM_SEC_CUSTOM: {
137 StringRef SectionName;
138 if (IO.outputting()) {
139 auto CustomSection = cast<WasmYAML::CustomSection>(Section.get());
140 SectionName = CustomSection->Name;
141 } else {
142 IO.mapRequired("Name", SectionName);
143 }
144 if (SectionName == "linking") {
145 if (!IO.outputting())
146 Section.reset(new WasmYAML::LinkingSection());
147 sectionMapping(IO, *cast<WasmYAML::LinkingSection>(Section.get()));
148 } else if (SectionName == "name") {
149 if (!IO.outputting())
150 Section.reset(new WasmYAML::NameSection());
151 sectionMapping(IO, *cast<WasmYAML::NameSection>(Section.get()));
152 } else {
153 if (!IO.outputting())
154 Section.reset(new WasmYAML::CustomSection(SectionName));
155 sectionMapping(IO, *cast<WasmYAML::CustomSection>(Section.get()));
156 }
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000157 break;
Sam Cleggb7787fd2017-06-20 04:04:59 +0000158 }
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000159 case wasm::WASM_SEC_TYPE:
160 if (!IO.outputting())
161 Section.reset(new WasmYAML::TypeSection());
162 sectionMapping(IO, *cast<WasmYAML::TypeSection>(Section.get()));
163 break;
164 case wasm::WASM_SEC_IMPORT:
165 if (!IO.outputting())
166 Section.reset(new WasmYAML::ImportSection());
167 sectionMapping(IO, *cast<WasmYAML::ImportSection>(Section.get()));
168 break;
169 case wasm::WASM_SEC_FUNCTION:
170 if (!IO.outputting())
171 Section.reset(new WasmYAML::FunctionSection());
172 sectionMapping(IO, *cast<WasmYAML::FunctionSection>(Section.get()));
173 break;
174 case wasm::WASM_SEC_TABLE:
175 if (!IO.outputting())
176 Section.reset(new WasmYAML::TableSection());
177 sectionMapping(IO, *cast<WasmYAML::TableSection>(Section.get()));
178 break;
179 case wasm::WASM_SEC_MEMORY:
180 if (!IO.outputting())
181 Section.reset(new WasmYAML::MemorySection());
182 sectionMapping(IO, *cast<WasmYAML::MemorySection>(Section.get()));
183 break;
184 case wasm::WASM_SEC_GLOBAL:
185 if (!IO.outputting())
186 Section.reset(new WasmYAML::GlobalSection());
187 sectionMapping(IO, *cast<WasmYAML::GlobalSection>(Section.get()));
188 break;
189 case wasm::WASM_SEC_EXPORT:
190 if (!IO.outputting())
191 Section.reset(new WasmYAML::ExportSection());
192 sectionMapping(IO, *cast<WasmYAML::ExportSection>(Section.get()));
193 break;
194 case wasm::WASM_SEC_START:
195 if (!IO.outputting())
196 Section.reset(new WasmYAML::StartSection());
197 sectionMapping(IO, *cast<WasmYAML::StartSection>(Section.get()));
198 break;
199 case wasm::WASM_SEC_ELEM:
200 if (!IO.outputting())
201 Section.reset(new WasmYAML::ElemSection());
202 sectionMapping(IO, *cast<WasmYAML::ElemSection>(Section.get()));
203 break;
204 case wasm::WASM_SEC_CODE:
205 if (!IO.outputting())
206 Section.reset(new WasmYAML::CodeSection());
207 sectionMapping(IO, *cast<WasmYAML::CodeSection>(Section.get()));
208 break;
209 case wasm::WASM_SEC_DATA:
210 if (!IO.outputting())
211 Section.reset(new WasmYAML::DataSection());
212 sectionMapping(IO, *cast<WasmYAML::DataSection>(Section.get()));
213 break;
214 default:
215 llvm_unreachable("Unknown section type");
216 }
217}
218
219void ScalarEnumerationTraits<WasmYAML::SectionType>::enumeration(
220 IO &IO, WasmYAML::SectionType &Type) {
221#define ECase(X) IO.enumCase(Type, #X, wasm::WASM_SEC_##X);
222 ECase(CUSTOM);
223 ECase(TYPE);
224 ECase(IMPORT);
225 ECase(FUNCTION);
226 ECase(TABLE);
227 ECase(MEMORY);
228 ECase(GLOBAL);
229 ECase(EXPORT);
230 ECase(START);
231 ECase(ELEM);
232 ECase(CODE);
233 ECase(DATA);
234#undef ECase
235}
236
237void MappingTraits<WasmYAML::Signature>::mapping(
238 IO &IO, WasmYAML::Signature &Signature) {
Sam Clegge53af7f2018-01-09 21:38:53 +0000239 IO.mapRequired("Index", Signature.Index);
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000240 IO.mapRequired("ReturnType", Signature.ReturnType);
241 IO.mapRequired("ParamTypes", Signature.ParamTypes);
242}
243
244void MappingTraits<WasmYAML::Table>::mapping(IO &IO, WasmYAML::Table &Table) {
245 IO.mapRequired("ElemType", Table.ElemType);
246 IO.mapRequired("Limits", Table.TableLimits);
247}
248
249void MappingTraits<WasmYAML::Function>::mapping(IO &IO,
250 WasmYAML::Function &Function) {
Sam Clegge53af7f2018-01-09 21:38:53 +0000251 IO.mapRequired("Index", Function.Index);
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000252 IO.mapRequired("Locals", Function.Locals);
253 IO.mapRequired("Body", Function.Body);
254}
255
256void MappingTraits<WasmYAML::Relocation>::mapping(
257 IO &IO, WasmYAML::Relocation &Relocation) {
258 IO.mapRequired("Type", Relocation.Type);
259 IO.mapRequired("Index", Relocation.Index);
260 IO.mapRequired("Offset", Relocation.Offset);
Sam Cleggcc182aa2017-04-26 00:02:31 +0000261 IO.mapOptional("Addend", Relocation.Addend, 0);
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000262}
263
Sam Clegg03cdd122017-05-05 18:12:34 +0000264void MappingTraits<WasmYAML::NameEntry>::mapping(
265 IO &IO, WasmYAML::NameEntry &NameEntry) {
266 IO.mapRequired("Index", NameEntry.Index);
267 IO.mapRequired("Name", NameEntry.Name);
268}
269
Sam Clegg63ebb812017-09-29 16:50:08 +0000270void MappingTraits<WasmYAML::SegmentInfo>::mapping(
271 IO &IO, WasmYAML::SegmentInfo &SegmentInfo) {
272 IO.mapRequired("Index", SegmentInfo.Index);
273 IO.mapRequired("Name", SegmentInfo.Name);
274 IO.mapRequired("Alignment", SegmentInfo.Alignment);
275 IO.mapRequired("Flags", SegmentInfo.Flags);
276}
277
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000278void MappingTraits<WasmYAML::LocalDecl>::mapping(
279 IO &IO, WasmYAML::LocalDecl &LocalDecl) {
280 IO.mapRequired("Type", LocalDecl.Type);
281 IO.mapRequired("Count", LocalDecl.Count);
282}
283
284void MappingTraits<WasmYAML::Limits>::mapping(IO &IO,
285 WasmYAML::Limits &Limits) {
286 if (!IO.outputting() || Limits.Flags)
287 IO.mapOptional("Flags", Limits.Flags);
288 IO.mapRequired("Initial", Limits.Initial);
289 if (!IO.outputting() || Limits.Flags & wasm::WASM_LIMITS_FLAG_HAS_MAX)
290 IO.mapOptional("Maximum", Limits.Maximum);
291}
292
293void MappingTraits<WasmYAML::ElemSegment>::mapping(
294 IO &IO, WasmYAML::ElemSegment &Segment) {
295 IO.mapRequired("Offset", Segment.Offset);
296 IO.mapRequired("Functions", Segment.Functions);
297}
298
299void MappingTraits<WasmYAML::Import>::mapping(IO &IO,
300 WasmYAML::Import &Import) {
301 IO.mapRequired("Module", Import.Module);
302 IO.mapRequired("Field", Import.Field);
303 IO.mapRequired("Kind", Import.Kind);
304 if (Import.Kind == wasm::WASM_EXTERNAL_FUNCTION) {
305 IO.mapRequired("SigIndex", Import.SigIndex);
306 } else if (Import.Kind == wasm::WASM_EXTERNAL_GLOBAL) {
Sam Clegg41db5192017-05-10 00:14:04 +0000307 IO.mapRequired("GlobalType", Import.GlobalImport.Type);
308 IO.mapRequired("GlobalMutable", Import.GlobalImport.Mutable);
Sam Clegg2ffff5a2017-05-09 23:48:41 +0000309 } else if (Import.Kind == wasm::WASM_EXTERNAL_TABLE) {
Sam Clegg41db5192017-05-10 00:14:04 +0000310 IO.mapRequired("Table", Import.TableImport);
Sam Clegg2ffff5a2017-05-09 23:48:41 +0000311 } else if (Import.Kind == wasm::WASM_EXTERNAL_MEMORY ) {
312 IO.mapRequired("Memory", Import.Memory);
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000313 } else {
314 llvm_unreachable("unhandled import type");
315 }
316}
317
318void MappingTraits<WasmYAML::Export>::mapping(IO &IO,
319 WasmYAML::Export &Export) {
320 IO.mapRequired("Name", Export.Name);
321 IO.mapRequired("Kind", Export.Kind);
322 IO.mapRequired("Index", Export.Index);
323}
324
325void MappingTraits<WasmYAML::Global>::mapping(IO &IO,
326 WasmYAML::Global &Global) {
Sam Clegge53af7f2018-01-09 21:38:53 +0000327 IO.mapRequired("Index", Global.Index);
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000328 IO.mapRequired("Type", Global.Type);
329 IO.mapRequired("Mutable", Global.Mutable);
330 IO.mapRequired("InitExpr", Global.InitExpr);
331}
332
333void MappingTraits<wasm::WasmInitExpr>::mapping(IO &IO,
334 wasm::WasmInitExpr &Expr) {
335 WasmYAML::Opcode Op = Expr.Opcode;
336 IO.mapRequired("Opcode", Op);
337 Expr.Opcode = Op;
338 switch (Expr.Opcode) {
339 case wasm::WASM_OPCODE_I32_CONST:
340 IO.mapRequired("Value", Expr.Value.Int32);
341 break;
342 case wasm::WASM_OPCODE_I64_CONST:
343 IO.mapRequired("Value", Expr.Value.Int64);
344 break;
345 case wasm::WASM_OPCODE_F32_CONST:
346 IO.mapRequired("Value", Expr.Value.Float32);
347 break;
348 case wasm::WASM_OPCODE_F64_CONST:
349 IO.mapRequired("Value", Expr.Value.Float64);
350 break;
Sam Clegg7fb391f2017-04-25 17:11:56 +0000351 case wasm::WASM_OPCODE_GET_GLOBAL:
352 IO.mapRequired("Index", Expr.Value.Global);
353 break;
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000354 }
355}
356
357void MappingTraits<WasmYAML::DataSegment>::mapping(
358 IO &IO, WasmYAML::DataSegment &Segment) {
Sam Clegg9c07f942017-07-12 00:24:54 +0000359 IO.mapOptional("SectionOffset", Segment.SectionOffset);
360 IO.mapRequired("MemoryIndex", Segment.MemoryIndex);
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000361 IO.mapRequired("Offset", Segment.Offset);
362 IO.mapRequired("Content", Segment.Content);
363}
364
Sam Clegg42739982017-12-14 21:10:03 +0000365void MappingTraits<WasmYAML::InitFunction>::mapping(
366 IO &IO, WasmYAML::InitFunction &Init) {
367 IO.mapRequired("Priority", Init.Priority);
368 IO.mapRequired("FunctionIndex", Init.FunctionIndex);
369}
370
Sam Cleggb7787fd2017-06-20 04:04:59 +0000371void MappingTraits<WasmYAML::SymbolInfo>::mapping(IO &IO,
372 WasmYAML::SymbolInfo &Info) {
373 IO.mapRequired("Name", Info.Name);
374 IO.mapRequired("Flags", Info.Flags);
375}
376
Sam Clegg0fc55992017-12-13 22:02:25 +0000377void ScalarBitSetTraits<WasmYAML::LimitFlags>::bitset(
378 IO &IO, WasmYAML::LimitFlags &Value) {
379#define BCase(X) IO.bitSetCase(Value, #X, wasm::WASM_LIMITS_FLAG_##X)
380 BCase(HAS_MAX);
381#undef BCase
382}
383
384void ScalarBitSetTraits<WasmYAML::SegmentFlags>::bitset(
385 IO &IO, WasmYAML::SegmentFlags &Value) {
386}
387
388void ScalarBitSetTraits<WasmYAML::SymbolFlags>::bitset(
389 IO &IO, WasmYAML::SymbolFlags &Value) {
390#define BCaseMask(M, X) IO.maskedBitSetCase(Value, #X, wasm::WASM_SYMBOL_##X, wasm::WASM_SYMBOL_##M)
391 //BCaseMask(BINDING_MASK, BINDING_GLOBAL);
392 BCaseMask(BINDING_MASK, BINDING_WEAK);
393 BCaseMask(BINDING_MASK, BINDING_LOCAL);
394 //BCaseMask(VISIBILITY_MASK, VISIBILITY_DEFAULT);
395 BCaseMask(VISIBILITY_MASK, VISIBILITY_HIDDEN);
396#undef BCaseMask
397}
398
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000399void ScalarEnumerationTraits<WasmYAML::ValueType>::enumeration(
400 IO &IO, WasmYAML::ValueType &Type) {
401#define ECase(X) IO.enumCase(Type, #X, wasm::WASM_TYPE_##X);
402 ECase(I32);
403 ECase(I64);
404 ECase(F32);
405 ECase(F64);
406 ECase(ANYFUNC);
407 ECase(FUNC);
408 ECase(NORESULT);
409#undef ECase
410}
411
412void ScalarEnumerationTraits<WasmYAML::ExportKind>::enumeration(
413 IO &IO, WasmYAML::ExportKind &Kind) {
414#define ECase(X) IO.enumCase(Kind, #X, wasm::WASM_EXTERNAL_##X);
415 ECase(FUNCTION);
416 ECase(TABLE);
417 ECase(MEMORY);
418 ECase(GLOBAL);
419#undef ECase
420}
421
422void ScalarEnumerationTraits<WasmYAML::Opcode>::enumeration(
423 IO &IO, WasmYAML::Opcode &Code) {
424#define ECase(X) IO.enumCase(Code, #X, wasm::WASM_OPCODE_##X);
425 ECase(END);
426 ECase(I32_CONST);
427 ECase(I64_CONST);
428 ECase(F64_CONST);
429 ECase(F32_CONST);
430 ECase(GET_GLOBAL);
431#undef ECase
432}
433
434void ScalarEnumerationTraits<WasmYAML::TableType>::enumeration(
435 IO &IO, WasmYAML::TableType &Type) {
436#define ECase(X) IO.enumCase(Type, #X, wasm::WASM_TYPE_##X);
437 ECase(ANYFUNC);
438#undef ECase
439}
440
441void ScalarEnumerationTraits<WasmYAML::RelocType>::enumeration(
442 IO &IO, WasmYAML::RelocType &Type) {
443#define WASM_RELOC(name, value) IO.enumCase(Type, #name, wasm::name);
Sam Cleggc5d8bc82017-12-21 03:16:34 +0000444#include "llvm/BinaryFormat/WasmRelocs.def"
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000445#undef WASM_RELOC
446}
447
448} // end namespace yaml
Eugene Zelenko28082ab2017-07-01 01:35:55 +0000449
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000450} // end namespace llvm