Gecko [ c.stage.kornherr.net ]

Linux v69820.1blu.de 4.15.0 #1 SMP Mon Sep 30 15:36:27 MSK 2024 x86_64
Apache/2.4.58
Server IP : 195.90.215.149 & Your IP : 216.73.216.250
Domains : Cant Read [ /etc/named.conf ]
User : www-data

Name	Size	Permission	Date
type-checker	[ DIR ]	drwxr-xr-x	2024-07-09 20:45
duplicated-exports.js	836 B	-rw-r--r--	2022-07-28 19:10
import-order.js	1.47 KB	-rw-r--r--	2022-07-28 19:10
imports.js	658 B	-rw-r--r--	2022-07-28 19:10
index.js	3.44 KB	-rw-r--r--	2022-07-28 19:10
is-const.js	1.42 KB	-rw-r--r--	2022-07-28 19:10
type-checker.js	9.4 KB	-rw-r--r--	2022-07-28 19:10
type-inference.js	2.02 KB	-rw-r--r--	2022-07-28 19:10

Rename

"use strict";

Object.defineProperty(exports, "__esModule", {
  value: true
});
exports["default"] = isConst;

var _ast = require("@webassemblyjs/ast");

/**
 * Determine if a sequence of instructions form a constant expression
 *
 * See https://webassembly.github.io/spec/core/multipage/valid/instructions.html#valid-constant
 */
function isConst(ast, moduleContext) {
  function isConstInstruction(instr) {
    if (instr.id === "const") {
      return true;
    }

if (instr.id === "get_global") {
      var index = instr.args[0].value;
      return !moduleContext.isMutableGlobal(index);
    }

if (instr.id === "end") {
      return true;
    }

return false;
  }

var errors = [];
  (0, _ast.traverse)(ast, {
    Global: function Global(path) {
      var isValid = path.node.init.reduce(function (acc, instr) {
        return acc && isConstInstruction(instr);
      }, true);

if (!isValid) {
        errors.push("constant expression required: initializer expression cannot reference mutable global");
      } // check type
      // FIXME(sven): this is a quick fix but should ideally go through our
      // stacky type checker

if (path.node.init.length > 0) {
        var type = path.node.globalType.valtype;
        var initType = path.node.init[0].object;

if (initType && type !== initType) {
          errors.push("type mismatch in global initializer");
        }
      }
    }
  });
  return errors;
}