var definitions = {}; function defineType(typeName, metadata) { definitions[typeName] = metadata; } defineType("Module", { spec: { wasm: "https://webassembly.github.io/spec/core/binary/modules.html#binary-module", wat: "https://webassembly.github.io/spec/core/text/modules.html#text-module" }, doc: "A module consists of a sequence of sections (termed fields in the text format).", unionType: ["Node"], fields: { id: { maybe: true, type: "string" }, fields: { array: true, type: "Node" }, metadata: { optional: true, type: "ModuleMetadata" } } }); defineType("ModuleMetadata", { unionType: ["Node"], fields: { sections: { array: true, type: "SectionMetadata" }, functionNames: { optional: true, array: true, type: "FunctionNameMetadata" }, localNames: { optional: true, array: true, type: "ModuleMetadata" }, producers: { optional: true, array: true, type: "ProducersSectionMetadata" } } }); defineType("ModuleNameMetadata", { unionType: ["Node"], fields: { value: { type: "string" } } }); defineType("FunctionNameMetadata", { unionType: ["Node"], fields: { value: { type: "string" }, index: { type: "number" } } }); defineType("LocalNameMetadata", { unionType: ["Node"], fields: { value: { type: "string" }, localIndex: { type: "number" }, functionIndex: { type: "number" } } }); defineType("BinaryModule", { unionType: ["Node"], fields: { id: { maybe: true, type: "string" }, blob: { array: true, type: "string" } } }); defineType("QuoteModule", { unionType: ["Node"], fields: { id: { maybe: true, type: "string" }, string: { array: true, type: "string" } } }); defineType("SectionMetadata", { unionType: ["Node"], fields: { section: { type: "SectionName" }, startOffset: { type: "number" }, size: { type: "NumberLiteral" }, vectorOfSize: { comment: "Size of the vector in the section (if any)", type: "NumberLiteral" } } }); defineType("ProducersSectionMetadata", { unionType: ["Node"], fields: { producers: { array: true, type: "ProducerMetadata" } } }); defineType("ProducerMetadata", { unionType: ["Node"], fields: { language: { type: "ProducerMetadataVersionedName", array: true }, processedBy: { type: "ProducerMetadataVersionedName", array: true }, sdk: { type: "ProducerMetadataVersionedName", array: true } } }); defineType("ProducerMetadataVersionedName", { unionType: ["Node"], fields: { name: { type: "string" }, version: { type: "string" } } }); /* Instructions */ defineType("LoopInstruction", { unionType: ["Node", "Block", "Instruction"], fields: { id: { constant: true, type: "string", value: "loop" }, label: { maybe: true, type: "Identifier" }, resulttype: { maybe: true, type: "Valtype" }, instr: { array: true, type: "Instruction" } } }); defineType("Instr", { unionType: ["Node", "Expression", "Instruction"], fields: { id: { type: "string" }, object: { optional: true, type: "Valtype" }, args: { array: true, type: "Expression" }, namedArgs: { optional: true, type: "Object" } } }); defineType("IfInstruction", { unionType: ["Node", "Instruction"], fields: { id: { constant: true, type: "string", value: "if" }, testLabel: { comment: "only for WAST", type: "Identifier" }, test: { array: true, type: "Instruction" }, result: { maybe: true, type: "Valtype" }, consequent: { array: true, type: "Instruction" }, alternate: { array: true, type: "Instruction" } } }); /* Concrete value types */ defineType("StringLiteral", { unionType: ["Node", "Expression"], fields: { value: { type: "string" } } }); defineType("NumberLiteral", { unionType: ["Node", "NumericLiteral", "Expression"], fields: { value: { type: "number" }, raw: { type: "string" } } }); defineType("LongNumberLiteral", { unionType: ["Node", "NumericLiteral", "Expression"], fields: { value: { type: "LongNumber" }, raw: { type: "string" } } }); defineType("FloatLiteral", { unionType: ["Node", "NumericLiteral", "Expression"], fields: { value: { type: "number" }, nan: { optional: true, type: "boolean" }, inf: { optional: true, type: "boolean" }, raw: { type: "string" } } }); defineType("Elem", { unionType: ["Node"], fields: { table: { type: "Index" }, offset: { array: true, type: "Instruction" }, funcs: { array: true, type: "Index" } } }); defineType("IndexInFuncSection", { unionType: ["Node"], fields: { index: { type: "Index" } } }); defineType("ValtypeLiteral", { unionType: ["Node", "Expression"], fields: { name: { type: "Valtype" } } }); defineType("TypeInstruction", { unionType: ["Node", "Instruction"], fields: { id: { maybe: true, type: "Index" }, functype: { type: "Signature" } } }); defineType("Start", { unionType: ["Node"], fields: { index: { type: "Index" } } }); defineType("GlobalType", { unionType: ["Node", "ImportDescr"], fields: { valtype: { type: "Valtype" }, mutability: { type: "Mutability" } } }); defineType("LeadingComment", { unionType: ["Node"], fields: { value: { type: "string" } } }); defineType("BlockComment", { unionType: ["Node"], fields: { value: { type: "string" } } }); defineType("Data", { unionType: ["Node"], fields: { memoryIndex: { type: "Memidx" }, offset: { type: "Instruction" }, init: { type: "ByteArray" } } }); defineType("Global", { unionType: ["Node"], fields: { globalType: { type: "GlobalType" }, init: { array: true, type: "Instruction" }, name: { maybe: true, type: "Identifier" } } }); defineType("Table", { unionType: ["Node", "ImportDescr"], fields: { elementType: { type: "TableElementType" }, limits: { assertNodeType: true, type: "Limit" }, name: { maybe: true, type: "Identifier" }, elements: { array: true, optional: true, type: "Index" } } }); defineType("Memory", { unionType: ["Node", "ImportDescr"], fields: { limits: { type: "Limit" }, id: { maybe: true, type: "Index" } } }); defineType("FuncImportDescr", { unionType: ["Node", "ImportDescr"], fields: { id: { type: "Identifier" }, signature: { type: "Signature" } } }); defineType("ModuleImport", { unionType: ["Node"], fields: { module: { type: "string" }, name: { type: "string" }, descr: { type: "ImportDescr" } } }); defineType("ModuleExportDescr", { unionType: ["Node"], fields: { exportType: { type: "ExportDescrType" }, id: { type: "Index" } } }); defineType("ModuleExport", { unionType: ["Node"], fields: { name: { type: "string" }, descr: { type: "ModuleExportDescr" } } }); defineType("Limit", { unionType: ["Node"], fields: { min: { type: "number" }, max: { optional: true, type: "number" }, // Threads proposal, shared memory shared: { optional: true, type: "boolean" } } }); defineType("Signature", { unionType: ["Node"], fields: { params: { array: true, type: "FuncParam" }, results: { array: true, type: "Valtype" } } }); defineType("Program", { unionType: ["Node"], fields: { body: { array: true, type: "Node" } } }); defineType("Identifier", { unionType: ["Node", "Expression"], fields: { value: { type: "string" }, raw: { optional: true, type: "string" } } }); defineType("BlockInstruction", { unionType: ["Node", "Block", "Instruction"], fields: { id: { constant: true, type: "string", value: "block" }, label: { maybe: true, type: "Identifier" }, instr: { array: true, type: "Instruction" }, result: { maybe: true, type: "Valtype" } } }); defineType("CallInstruction", { unionType: ["Node", "Instruction"], fields: { id: { constant: true, type: "string", value: "call" }, index: { type: "Index" }, instrArgs: { array: true, optional: true, type: "Expression" }, numeric: { type: "Index", optional: true } } }); defineType("CallIndirectInstruction", { unionType: ["Node", "Instruction"], fields: { id: { constant: true, type: "string", value: "call_indirect" }, signature: { type: "SignatureOrTypeRef" }, intrs: { array: true, optional: true, type: "Expression" } } }); defineType("ByteArray", { unionType: ["Node"], fields: { values: { array: true, type: "Byte" } } }); defineType("Func", { unionType: ["Node", "Block"], fields: { name: { maybe: true, type: "Index" }, signature: { type: "SignatureOrTypeRef" }, body: { array: true, type: "Instruction" }, isExternal: { comment: "means that it has been imported from the outside js", optional: true, type: "boolean" }, metadata: { optional: true, type: "FuncMetadata" } } }); /** * Intrinsics */ defineType("InternalBrUnless", { unionType: ["Node", "Intrinsic"], fields: { target: { type: "number" } } }); defineType("InternalGoto", { unionType: ["Node", "Intrinsic"], fields: { target: { type: "number" } } }); defineType("InternalCallExtern", { unionType: ["Node", "Intrinsic"], fields: { target: { type: "number" } } }); // function bodies are terminated by an `end` instruction but are missing a // return instruction // // Since we can't inject a new instruction we are injecting a new instruction. defineType("InternalEndAndReturn", { unionType: ["Node", "Intrinsic"], fields: {} }); module.exports = definitions;