aboutsummaryrefslogtreecommitdiff
path: root/node_modules/@webassemblyjs/ast/lib/transform
diff options
context:
space:
mode:
Diffstat (limited to 'node_modules/@webassemblyjs/ast/lib/transform')
-rw-r--r--node_modules/@webassemblyjs/ast/lib/transform/denormalize-type-references/index.js83
-rw-r--r--node_modules/@webassemblyjs/ast/lib/transform/wast-identifier-to-index/index.js225
2 files changed, 308 insertions, 0 deletions
diff --git a/node_modules/@webassemblyjs/ast/lib/transform/denormalize-type-references/index.js b/node_modules/@webassemblyjs/ast/lib/transform/denormalize-type-references/index.js
new file mode 100644
index 00000000..3258f84d
--- /dev/null
+++ b/node_modules/@webassemblyjs/ast/lib/transform/denormalize-type-references/index.js
@@ -0,0 +1,83 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+ value: true
+});
+exports.transform = transform;
+
+var t = require("../../index"); // func and call_indirect instructions can either define a signature inline, or
+// reference a signature, e.g.
+//
+// ;; inline signature
+// (func (result i64)
+// (i64.const 2)
+// )
+// ;; signature reference
+// (type (func (result i64)))
+// (func (type 0)
+// (i64.const 2))
+// )
+//
+// this AST transform denormalises the type references, making all signatures within the module
+// inline.
+
+
+function transform(ast) {
+ var typeInstructions = [];
+ t.traverse(ast, {
+ TypeInstruction: function TypeInstruction(_ref) {
+ var node = _ref.node;
+ typeInstructions.push(node);
+ }
+ });
+
+ if (!typeInstructions.length) {
+ return;
+ }
+
+ function denormalizeSignature(signature) {
+ // signature referenced by identifier
+ if (signature.type === "Identifier") {
+ var identifier = signature;
+ var typeInstruction = typeInstructions.find(function (t) {
+ return t.id.type === identifier.type && t.id.value === identifier.value;
+ });
+
+ if (!typeInstruction) {
+ throw new Error("A type instruction reference was not found ".concat(JSON.stringify(signature)));
+ }
+
+ return typeInstruction.functype;
+ } // signature referenced by index
+
+
+ if (signature.type === "NumberLiteral") {
+ var signatureRef = signature;
+ var _typeInstruction = typeInstructions[signatureRef.value];
+ return _typeInstruction.functype;
+ }
+
+ return signature;
+ }
+
+ t.traverse(ast, {
+ Func: function (_Func) {
+ function Func(_x) {
+ return _Func.apply(this, arguments);
+ }
+
+ Func.toString = function () {
+ return _Func.toString();
+ };
+
+ return Func;
+ }(function (_ref2) {
+ var node = _ref2.node;
+ node.signature = denormalizeSignature(node.signature);
+ }),
+ CallIndirectInstruction: function CallIndirectInstruction(_ref3) {
+ var node = _ref3.node;
+ node.signature = denormalizeSignature(node.signature);
+ }
+ });
+} \ No newline at end of file
diff --git a/node_modules/@webassemblyjs/ast/lib/transform/wast-identifier-to-index/index.js b/node_modules/@webassemblyjs/ast/lib/transform/wast-identifier-to-index/index.js
new file mode 100644
index 00000000..33130bf2
--- /dev/null
+++ b/node_modules/@webassemblyjs/ast/lib/transform/wast-identifier-to-index/index.js
@@ -0,0 +1,225 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+ value: true
+});
+exports.transform = transform;
+
+var _index = require("../../index");
+
+var _helperModuleContext = require("@webassemblyjs/helper-module-context");
+
+function _typeof(obj) { if (typeof Symbol === "function" && typeof Symbol.iterator === "symbol") { _typeof = function _typeof(obj) { return typeof obj; }; } else { _typeof = function _typeof(obj) { return obj && typeof Symbol === "function" && obj.constructor === Symbol && obj !== Symbol.prototype ? "symbol" : typeof obj; }; } return _typeof(obj); }
+
+function _sliceIterator(arr, i) { var _arr = []; var _n = true; var _d = false; var _e = undefined; try { for (var _i = arr[Symbol.iterator](), _s; !(_n = (_s = _i.next()).done); _n = true) { _arr.push(_s.value); if (i && _arr.length === i) break; } } catch (err) { _d = true; _e = err; } finally { try { if (!_n && _i["return"] != null) _i["return"](); } finally { if (_d) throw _e; } } return _arr; }
+
+function _slicedToArray(arr, i) { if (Array.isArray(arr)) { return arr; } else if (Symbol.iterator in Object(arr)) { return _sliceIterator(arr, i); } else { throw new TypeError("Invalid attempt to destructure non-iterable instance"); } }
+
+// FIXME(sven): do the same with all block instructions, must be more generic here
+function newUnexpectedFunction(i) {
+ return new Error("unknown function at offset: " + i);
+}
+
+function transform(ast) {
+ var module;
+ (0, _index.traverse)(ast, {
+ Module: function (_Module) {
+ function Module(_x) {
+ return _Module.apply(this, arguments);
+ }
+
+ Module.toString = function () {
+ return _Module.toString();
+ };
+
+ return Module;
+ }(function (path) {
+ module = path.node;
+ })
+ });
+ var moduleContext = (0, _helperModuleContext.moduleContextFromModuleAST)(module); // Transform the actual instruction in function bodies
+
+ (0, _index.traverse)(ast, {
+ Func: function (_Func) {
+ function Func(_x2) {
+ return _Func.apply(this, arguments);
+ }
+
+ Func.toString = function () {
+ return _Func.toString();
+ };
+
+ return Func;
+ }(function (path) {
+ transformFuncPath(path, moduleContext);
+ }),
+ Start: function (_Start) {
+ function Start(_x3) {
+ return _Start.apply(this, arguments);
+ }
+
+ Start.toString = function () {
+ return _Start.toString();
+ };
+
+ return Start;
+ }(function (path) {
+ var index = path.node.index;
+
+ if ((0, _index.isIdentifier)(index) === true) {
+ var offsetInModule = moduleContext.getFunctionOffsetByIdentifier(index.value);
+
+ if (typeof offsetInModule === "undefined") {
+ throw newUnexpectedFunction(index.value);
+ } // Replace the index Identifier
+ // $FlowIgnore: reference?
+
+
+ path.node.index = (0, _index.numberLiteralFromRaw)(offsetInModule);
+ }
+ })
+ });
+}
+
+function transformFuncPath(funcPath, moduleContext) {
+ var funcNode = funcPath.node;
+ var signature = funcNode.signature;
+
+ if (signature.type !== "Signature") {
+ throw new Error("Function signatures must be denormalised before execution");
+ }
+
+ var params = signature.params; // Add func locals in the context
+
+ params.forEach(function (p) {
+ return moduleContext.addLocal(p.valtype);
+ });
+ (0, _index.traverse)(funcNode, {
+ Instr: function (_Instr) {
+ function Instr(_x4) {
+ return _Instr.apply(this, arguments);
+ }
+
+ Instr.toString = function () {
+ return _Instr.toString();
+ };
+
+ return Instr;
+ }(function (instrPath) {
+ var instrNode = instrPath.node;
+ /**
+ * Local access
+ */
+
+ if (instrNode.id === "get_local" || instrNode.id === "set_local" || instrNode.id === "tee_local") {
+ var _instrNode$args = _slicedToArray(instrNode.args, 1),
+ firstArg = _instrNode$args[0];
+
+ if (firstArg.type === "Identifier") {
+ var offsetInParams = params.findIndex(function (_ref) {
+ var id = _ref.id;
+ return id === firstArg.value;
+ });
+
+ if (offsetInParams === -1) {
+ throw new Error("".concat(firstArg.value, " not found in ").concat(instrNode.id, ": not declared in func params"));
+ } // Replace the Identifer node by our new NumberLiteral node
+
+
+ instrNode.args[0] = (0, _index.numberLiteralFromRaw)(offsetInParams);
+ }
+ }
+ /**
+ * Global access
+ */
+
+
+ if (instrNode.id === "get_global" || instrNode.id === "set_global") {
+ var _instrNode$args2 = _slicedToArray(instrNode.args, 1),
+ _firstArg = _instrNode$args2[0];
+
+ if ((0, _index.isIdentifier)(_firstArg) === true) {
+ var globalOffset = moduleContext.getGlobalOffsetByIdentifier( // $FlowIgnore: reference?
+ _firstArg.value);
+
+ if (typeof globalOffset === "undefined") {
+ // $FlowIgnore: reference?
+ throw new Error("global ".concat(_firstArg.value, " not found in module"));
+ } // Replace the Identifer node by our new NumberLiteral node
+
+
+ instrNode.args[0] = (0, _index.numberLiteralFromRaw)(globalOffset);
+ }
+ }
+ /**
+ * Labels lookup
+ */
+
+
+ if (instrNode.id === "br") {
+ var _instrNode$args3 = _slicedToArray(instrNode.args, 1),
+ _firstArg2 = _instrNode$args3[0];
+
+ if ((0, _index.isIdentifier)(_firstArg2) === true) {
+ // if the labels is not found it is going to be replaced with -1
+ // which is invalid.
+ var relativeBlockCount = -1; // $FlowIgnore: reference?
+
+ instrPath.findParent(function (_ref2) {
+ var node = _ref2.node;
+
+ if ((0, _index.isBlock)(node)) {
+ relativeBlockCount++; // $FlowIgnore: reference?
+
+ var name = node.label || node.name;
+
+ if (_typeof(name) === "object") {
+ // $FlowIgnore: isIdentifier ensures that
+ if (name.value === _firstArg2.value) {
+ // Found it
+ return false;
+ }
+ }
+ }
+
+ if ((0, _index.isFunc)(node)) {
+ return false;
+ }
+ }); // Replace the Identifer node by our new NumberLiteral node
+
+ instrNode.args[0] = (0, _index.numberLiteralFromRaw)(relativeBlockCount);
+ }
+ }
+ }),
+
+ /**
+ * Func lookup
+ */
+ CallInstruction: function (_CallInstruction) {
+ function CallInstruction(_x5) {
+ return _CallInstruction.apply(this, arguments);
+ }
+
+ CallInstruction.toString = function () {
+ return _CallInstruction.toString();
+ };
+
+ return CallInstruction;
+ }(function (_ref3) {
+ var node = _ref3.node;
+ var index = node.index;
+
+ if ((0, _index.isIdentifier)(index) === true) {
+ var offsetInModule = moduleContext.getFunctionOffsetByIdentifier(index.value);
+
+ if (typeof offsetInModule === "undefined") {
+ throw newUnexpectedFunction(index.value);
+ } // Replace the index Identifier
+ // $FlowIgnore: reference?
+
+
+ node.index = (0, _index.numberLiteralFromRaw)(offsetInModule);
+ }
+ })
+ });
+} \ No newline at end of file