blob: 2040efdc9d117681941414cc4b56858eeff484d4 [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);
61 IO.mapRequired("DataAlignment", Section.DataAlignment);
Sam Cleggb7787fd2017-06-20 04:04:59 +000062 IO.mapRequired("SymbolInfo", Section.SymbolInfos);
63}
64
Derek Schuffd3d84fd2017-03-30 19:44:09 +000065static void sectionMapping(IO &IO, WasmYAML::CustomSection &Section) {
66 commonSectionMapping(IO, Section);
67 IO.mapRequired("Name", Section.Name);
Sam Cleggb7787fd2017-06-20 04:04:59 +000068 IO.mapRequired("Payload", Section.Payload);
Derek Schuffd3d84fd2017-03-30 19:44:09 +000069}
70
71static void sectionMapping(IO &IO, WasmYAML::TypeSection &Section) {
72 commonSectionMapping(IO, Section);
73 IO.mapOptional("Signatures", Section.Signatures);
74}
75
76static void sectionMapping(IO &IO, WasmYAML::ImportSection &Section) {
77 commonSectionMapping(IO, Section);
78 IO.mapOptional("Imports", Section.Imports);
79}
80
81static void sectionMapping(IO &IO, WasmYAML::FunctionSection &Section) {
82 commonSectionMapping(IO, Section);
83 IO.mapOptional("FunctionTypes", Section.FunctionTypes);
84}
85
86static void sectionMapping(IO &IO, WasmYAML::TableSection &Section) {
87 commonSectionMapping(IO, Section);
88 IO.mapOptional("Tables", Section.Tables);
89}
90
91static void sectionMapping(IO &IO, WasmYAML::MemorySection &Section) {
92 commonSectionMapping(IO, Section);
93 IO.mapOptional("Memories", Section.Memories);
94}
95
96static void sectionMapping(IO &IO, WasmYAML::GlobalSection &Section) {
97 commonSectionMapping(IO, Section);
98 IO.mapOptional("Globals", Section.Globals);
99}
100
101static void sectionMapping(IO &IO, WasmYAML::ExportSection &Section) {
102 commonSectionMapping(IO, Section);
103 IO.mapOptional("Exports", Section.Exports);
104}
105
106static void sectionMapping(IO &IO, WasmYAML::StartSection &Section) {
107 commonSectionMapping(IO, Section);
108 IO.mapOptional("StartFunction", Section.StartFunction);
109}
110
111static void sectionMapping(IO &IO, WasmYAML::ElemSection &Section) {
112 commonSectionMapping(IO, Section);
113 IO.mapOptional("Segments", Section.Segments);
114}
115
116static void sectionMapping(IO &IO, WasmYAML::CodeSection &Section) {
117 commonSectionMapping(IO, Section);
118 IO.mapRequired("Functions", Section.Functions);
119}
120
121static void sectionMapping(IO &IO, WasmYAML::DataSection &Section) {
122 commonSectionMapping(IO, Section);
123 IO.mapRequired("Segments", Section.Segments);
124}
125
126void MappingTraits<std::unique_ptr<WasmYAML::Section>>::mapping(
127 IO &IO, std::unique_ptr<WasmYAML::Section> &Section) {
128 WasmYAML::SectionType SectionType;
129 if (IO.outputting())
130 SectionType = Section->Type;
131 else
132 IO.mapRequired("Type", SectionType);
133
134 switch (SectionType) {
Sam Cleggb7787fd2017-06-20 04:04:59 +0000135 case wasm::WASM_SEC_CUSTOM: {
136 StringRef SectionName;
137 if (IO.outputting()) {
138 auto CustomSection = cast<WasmYAML::CustomSection>(Section.get());
139 SectionName = CustomSection->Name;
140 } else {
141 IO.mapRequired("Name", SectionName);
142 }
143 if (SectionName == "linking") {
144 if (!IO.outputting())
145 Section.reset(new WasmYAML::LinkingSection());
146 sectionMapping(IO, *cast<WasmYAML::LinkingSection>(Section.get()));
147 } else if (SectionName == "name") {
148 if (!IO.outputting())
149 Section.reset(new WasmYAML::NameSection());
150 sectionMapping(IO, *cast<WasmYAML::NameSection>(Section.get()));
151 } else {
152 if (!IO.outputting())
153 Section.reset(new WasmYAML::CustomSection(SectionName));
154 sectionMapping(IO, *cast<WasmYAML::CustomSection>(Section.get()));
155 }
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000156 break;
Sam Cleggb7787fd2017-06-20 04:04:59 +0000157 }
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000158 case wasm::WASM_SEC_TYPE:
159 if (!IO.outputting())
160 Section.reset(new WasmYAML::TypeSection());
161 sectionMapping(IO, *cast<WasmYAML::TypeSection>(Section.get()));
162 break;
163 case wasm::WASM_SEC_IMPORT:
164 if (!IO.outputting())
165 Section.reset(new WasmYAML::ImportSection());
166 sectionMapping(IO, *cast<WasmYAML::ImportSection>(Section.get()));
167 break;
168 case wasm::WASM_SEC_FUNCTION:
169 if (!IO.outputting())
170 Section.reset(new WasmYAML::FunctionSection());
171 sectionMapping(IO, *cast<WasmYAML::FunctionSection>(Section.get()));
172 break;
173 case wasm::WASM_SEC_TABLE:
174 if (!IO.outputting())
175 Section.reset(new WasmYAML::TableSection());
176 sectionMapping(IO, *cast<WasmYAML::TableSection>(Section.get()));
177 break;
178 case wasm::WASM_SEC_MEMORY:
179 if (!IO.outputting())
180 Section.reset(new WasmYAML::MemorySection());
181 sectionMapping(IO, *cast<WasmYAML::MemorySection>(Section.get()));
182 break;
183 case wasm::WASM_SEC_GLOBAL:
184 if (!IO.outputting())
185 Section.reset(new WasmYAML::GlobalSection());
186 sectionMapping(IO, *cast<WasmYAML::GlobalSection>(Section.get()));
187 break;
188 case wasm::WASM_SEC_EXPORT:
189 if (!IO.outputting())
190 Section.reset(new WasmYAML::ExportSection());
191 sectionMapping(IO, *cast<WasmYAML::ExportSection>(Section.get()));
192 break;
193 case wasm::WASM_SEC_START:
194 if (!IO.outputting())
195 Section.reset(new WasmYAML::StartSection());
196 sectionMapping(IO, *cast<WasmYAML::StartSection>(Section.get()));
197 break;
198 case wasm::WASM_SEC_ELEM:
199 if (!IO.outputting())
200 Section.reset(new WasmYAML::ElemSection());
201 sectionMapping(IO, *cast<WasmYAML::ElemSection>(Section.get()));
202 break;
203 case wasm::WASM_SEC_CODE:
204 if (!IO.outputting())
205 Section.reset(new WasmYAML::CodeSection());
206 sectionMapping(IO, *cast<WasmYAML::CodeSection>(Section.get()));
207 break;
208 case wasm::WASM_SEC_DATA:
209 if (!IO.outputting())
210 Section.reset(new WasmYAML::DataSection());
211 sectionMapping(IO, *cast<WasmYAML::DataSection>(Section.get()));
212 break;
213 default:
214 llvm_unreachable("Unknown section type");
215 }
216}
217
218void ScalarEnumerationTraits<WasmYAML::SectionType>::enumeration(
219 IO &IO, WasmYAML::SectionType &Type) {
220#define ECase(X) IO.enumCase(Type, #X, wasm::WASM_SEC_##X);
221 ECase(CUSTOM);
222 ECase(TYPE);
223 ECase(IMPORT);
224 ECase(FUNCTION);
225 ECase(TABLE);
226 ECase(MEMORY);
227 ECase(GLOBAL);
228 ECase(EXPORT);
229 ECase(START);
230 ECase(ELEM);
231 ECase(CODE);
232 ECase(DATA);
233#undef ECase
234}
235
236void MappingTraits<WasmYAML::Signature>::mapping(
237 IO &IO, WasmYAML::Signature &Signature) {
238 IO.mapOptional("Index", Signature.Index);
239 IO.mapRequired("ReturnType", Signature.ReturnType);
240 IO.mapRequired("ParamTypes", Signature.ParamTypes);
241}
242
243void MappingTraits<WasmYAML::Table>::mapping(IO &IO, WasmYAML::Table &Table) {
244 IO.mapRequired("ElemType", Table.ElemType);
245 IO.mapRequired("Limits", Table.TableLimits);
246}
247
248void MappingTraits<WasmYAML::Function>::mapping(IO &IO,
249 WasmYAML::Function &Function) {
250 IO.mapRequired("Locals", Function.Locals);
251 IO.mapRequired("Body", Function.Body);
252}
253
254void MappingTraits<WasmYAML::Relocation>::mapping(
255 IO &IO, WasmYAML::Relocation &Relocation) {
256 IO.mapRequired("Type", Relocation.Type);
257 IO.mapRequired("Index", Relocation.Index);
258 IO.mapRequired("Offset", Relocation.Offset);
Sam Cleggcc182aa2017-04-26 00:02:31 +0000259 IO.mapOptional("Addend", Relocation.Addend, 0);
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000260}
261
Sam Clegg03cdd122017-05-05 18:12:34 +0000262void MappingTraits<WasmYAML::NameEntry>::mapping(
263 IO &IO, WasmYAML::NameEntry &NameEntry) {
264 IO.mapRequired("Index", NameEntry.Index);
265 IO.mapRequired("Name", NameEntry.Name);
266}
267
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000268void MappingTraits<WasmYAML::LocalDecl>::mapping(
269 IO &IO, WasmYAML::LocalDecl &LocalDecl) {
270 IO.mapRequired("Type", LocalDecl.Type);
271 IO.mapRequired("Count", LocalDecl.Count);
272}
273
274void MappingTraits<WasmYAML::Limits>::mapping(IO &IO,
275 WasmYAML::Limits &Limits) {
276 if (!IO.outputting() || Limits.Flags)
277 IO.mapOptional("Flags", Limits.Flags);
278 IO.mapRequired("Initial", Limits.Initial);
279 if (!IO.outputting() || Limits.Flags & wasm::WASM_LIMITS_FLAG_HAS_MAX)
280 IO.mapOptional("Maximum", Limits.Maximum);
281}
282
283void MappingTraits<WasmYAML::ElemSegment>::mapping(
284 IO &IO, WasmYAML::ElemSegment &Segment) {
285 IO.mapRequired("Offset", Segment.Offset);
286 IO.mapRequired("Functions", Segment.Functions);
287}
288
289void MappingTraits<WasmYAML::Import>::mapping(IO &IO,
290 WasmYAML::Import &Import) {
291 IO.mapRequired("Module", Import.Module);
292 IO.mapRequired("Field", Import.Field);
293 IO.mapRequired("Kind", Import.Kind);
294 if (Import.Kind == wasm::WASM_EXTERNAL_FUNCTION) {
295 IO.mapRequired("SigIndex", Import.SigIndex);
296 } else if (Import.Kind == wasm::WASM_EXTERNAL_GLOBAL) {
Sam Clegg41db5192017-05-10 00:14:04 +0000297 IO.mapRequired("GlobalType", Import.GlobalImport.Type);
298 IO.mapRequired("GlobalMutable", Import.GlobalImport.Mutable);
Sam Clegg2ffff5a2017-05-09 23:48:41 +0000299 } else if (Import.Kind == wasm::WASM_EXTERNAL_TABLE) {
Sam Clegg41db5192017-05-10 00:14:04 +0000300 IO.mapRequired("Table", Import.TableImport);
Sam Clegg2ffff5a2017-05-09 23:48:41 +0000301 } else if (Import.Kind == wasm::WASM_EXTERNAL_MEMORY ) {
302 IO.mapRequired("Memory", Import.Memory);
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000303 } else {
304 llvm_unreachable("unhandled import type");
305 }
306}
307
308void MappingTraits<WasmYAML::Export>::mapping(IO &IO,
309 WasmYAML::Export &Export) {
310 IO.mapRequired("Name", Export.Name);
311 IO.mapRequired("Kind", Export.Kind);
312 IO.mapRequired("Index", Export.Index);
313}
314
315void MappingTraits<WasmYAML::Global>::mapping(IO &IO,
316 WasmYAML::Global &Global) {
317 IO.mapRequired("Type", Global.Type);
318 IO.mapRequired("Mutable", Global.Mutable);
319 IO.mapRequired("InitExpr", Global.InitExpr);
320}
321
322void MappingTraits<wasm::WasmInitExpr>::mapping(IO &IO,
323 wasm::WasmInitExpr &Expr) {
324 WasmYAML::Opcode Op = Expr.Opcode;
325 IO.mapRequired("Opcode", Op);
326 Expr.Opcode = Op;
327 switch (Expr.Opcode) {
328 case wasm::WASM_OPCODE_I32_CONST:
329 IO.mapRequired("Value", Expr.Value.Int32);
330 break;
331 case wasm::WASM_OPCODE_I64_CONST:
332 IO.mapRequired("Value", Expr.Value.Int64);
333 break;
334 case wasm::WASM_OPCODE_F32_CONST:
335 IO.mapRequired("Value", Expr.Value.Float32);
336 break;
337 case wasm::WASM_OPCODE_F64_CONST:
338 IO.mapRequired("Value", Expr.Value.Float64);
339 break;
Sam Clegg7fb391f2017-04-25 17:11:56 +0000340 case wasm::WASM_OPCODE_GET_GLOBAL:
341 IO.mapRequired("Index", Expr.Value.Global);
342 break;
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000343 }
344}
345
346void MappingTraits<WasmYAML::DataSegment>::mapping(
347 IO &IO, WasmYAML::DataSegment &Segment) {
348 IO.mapRequired("Index", Segment.Index);
349 IO.mapRequired("Offset", Segment.Offset);
350 IO.mapRequired("Content", Segment.Content);
351}
352
Sam Cleggb7787fd2017-06-20 04:04:59 +0000353void MappingTraits<WasmYAML::SymbolInfo>::mapping(IO &IO,
354 WasmYAML::SymbolInfo &Info) {
355 IO.mapRequired("Name", Info.Name);
356 IO.mapRequired("Flags", Info.Flags);
357}
358
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000359void ScalarEnumerationTraits<WasmYAML::ValueType>::enumeration(
360 IO &IO, WasmYAML::ValueType &Type) {
361#define ECase(X) IO.enumCase(Type, #X, wasm::WASM_TYPE_##X);
362 ECase(I32);
363 ECase(I64);
364 ECase(F32);
365 ECase(F64);
366 ECase(ANYFUNC);
367 ECase(FUNC);
368 ECase(NORESULT);
369#undef ECase
370}
371
372void ScalarEnumerationTraits<WasmYAML::ExportKind>::enumeration(
373 IO &IO, WasmYAML::ExportKind &Kind) {
374#define ECase(X) IO.enumCase(Kind, #X, wasm::WASM_EXTERNAL_##X);
375 ECase(FUNCTION);
376 ECase(TABLE);
377 ECase(MEMORY);
378 ECase(GLOBAL);
379#undef ECase
380}
381
382void ScalarEnumerationTraits<WasmYAML::Opcode>::enumeration(
383 IO &IO, WasmYAML::Opcode &Code) {
384#define ECase(X) IO.enumCase(Code, #X, wasm::WASM_OPCODE_##X);
385 ECase(END);
386 ECase(I32_CONST);
387 ECase(I64_CONST);
388 ECase(F64_CONST);
389 ECase(F32_CONST);
390 ECase(GET_GLOBAL);
391#undef ECase
392}
393
394void ScalarEnumerationTraits<WasmYAML::TableType>::enumeration(
395 IO &IO, WasmYAML::TableType &Type) {
396#define ECase(X) IO.enumCase(Type, #X, wasm::WASM_TYPE_##X);
397 ECase(ANYFUNC);
398#undef ECase
399}
400
401void ScalarEnumerationTraits<WasmYAML::RelocType>::enumeration(
402 IO &IO, WasmYAML::RelocType &Type) {
403#define WASM_RELOC(name, value) IO.enumCase(Type, #name, wasm::name);
Zachary Turner264b5d92017-06-07 03:48:56 +0000404#include "llvm/BinaryFormat/WasmRelocs/WebAssembly.def"
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000405#undef WASM_RELOC
406}
407
408} // end namespace yaml
Eugene Zelenko28082ab2017-07-01 01:35:55 +0000409
Derek Schuffd3d84fd2017-03-30 19:44:09 +0000410} // end namespace llvm