porffor 0.60.22 → 0.60.23

package/compiler/codegen.js

@@ -1198,6 +1198,22 @@ const nullish = (scope, wasm, type, nonbinary = true, intIn = false) => {
   ];
 };
 
+const eitherStringType = (leftType, rightType) => [
+  ...leftType,
+  number(TYPE_FLAGS.parity, Valtype.i32),
+  [ Opcodes.i32_or ],
+  number(TYPES.bytestring, Valtype.i32),
+  [ Opcodes.i32_eq ],
+
+  ...rightType,
+  number(TYPE_FLAGS.parity, Valtype.i32),
+  [ Opcodes.i32_or ],
+  number(TYPES.bytestring, Valtype.i32),
+  [ Opcodes.i32_eq ],
+
+  [ Opcodes.i32_or ]
+];
+
 const performOp = (scope, op, left, right, leftType, rightType) => {
   if (op === '||' || op === '&&' || op === '??') {
     return performLogicOp(scope, op, left, right, leftType, rightType);
@@ -1294,19 +1310,7 @@ const performOp = (scope, op, left, right, leftType, rightType) => {
 
     ops.unshift(
       // if left or right are string or bytestring
-      ...leftType,
-      number(TYPE_FLAGS.parity, Valtype.i32),
-      [ Opcodes.i32_or ],
-      number(TYPES.bytestring, Valtype.i32),
-      [ Opcodes.i32_eq ],
-
-      ...rightType,
-      number(TYPE_FLAGS.parity, Valtype.i32),
-      [ Opcodes.i32_or ],
-      number(TYPES.bytestring, Valtype.i32),
-      [ Opcodes.i32_eq ],
-
-      [ Opcodes.i32_or ],
+      ...eitherStringType(leftType, rightType),
       [ Opcodes.if, Blocktype.void ],
       ...concatStrings(scope, [ [ Opcodes.local_get, tmpLeft ] ], [ [ Opcodes.local_get, tmpRight ] ], leftType, rightType),
       [ Opcodes.br, 1 ],
@@ -1326,19 +1330,7 @@ const performOp = (scope, op, left, right, leftType, rightType) => {
 
     ops.unshift(
       // if left or right are string or bytestring
-      ...leftType,
-      number(TYPE_FLAGS.parity, Valtype.i32),
-      [ Opcodes.i32_or ],
-      number(TYPES.bytestring, Valtype.i32),
-      [ Opcodes.i32_eq ],
-
-      ...rightType,
-      number(TYPE_FLAGS.parity, Valtype.i32),
-      [ Opcodes.i32_or ],
-      number(TYPES.bytestring, Valtype.i32),
-      [ Opcodes.i32_eq ],
-
-      [ Opcodes.i32_or ],
+      ...eitherStringType(leftType, rightType),
       [ Opcodes.if, Blocktype.void ],
       ...compareStrings(scope, [ [ Opcodes.local_get, tmpLeft ] ], [ [ Opcodes.local_get, tmpRight ] ], leftType, rightType),
       ...(op === '!==' || op === '!=' ? [ [ Opcodes.i32_eqz ] ] : []),
@@ -1599,11 +1591,11 @@ const generateLogicExp = (scope, decl) =>
 const getInferred = (scope, name, global = false) => {
   const isConst = getVarMetadata(scope, name, global)?.kind === 'const';
   if (global) {
-    if (globalInfer.has(name) && (isConst || inferLoopPrev.length === 0)) return globalInfer.get(name);
+    if (name in globalInfer && (isConst || inferLoopPrev.length === 0)) return globalInfer[name];
   } else if (scope.inferTree) {
     for (let i = scope.inferTree.length - 1; i >= 0; i--) {
       const x = scope.inferTree[i];
-      if (x._infer?.has(name)) return x._infer.get(name);
+      if (name in x) return x[name];
     }
   }
 
@@ -1612,21 +1604,20 @@ const getInferred = (scope, name, global = false) => {
 
 const setInferred = (scope, name, type, global = false) => {
   const isConst = getVarMetadata(scope, name, global)?.kind === 'const';
-  scope.inferTree ??= [];
+  scope.inferTree ??= [ Object.create(null) ];
 
   if (global) {
     // set inferred type in global if not already and not in a loop, else make it null
-    globalInfer.set(name, globalInfer.has(name) || (!isConst && inferLoopPrev.length > 0) ? null : type);
+    globalInfer[name] = name in globalInfer || (!isConst && inferLoopPrev.length > 0) ? null : type;
   } else {
     // set inferred type in top
     const top = scope.inferTree.at(-1);
-    top._infer ??= new Map();
-    top._infer.set(name, type);
+    top[name] = type;
 
     // invalidate inferred type above if mismatched
     for (let i = scope.inferTree.length - 2; i >= 0; i--) {
       const x = scope.inferTree[i];
-      if (x._infer && x._infer.get(name) !== type) x._infer.set(name, null);
+      if (name in x && x[name] !== type) x[name] = null;
     }
   }
 };
@@ -2051,31 +2042,6 @@ const generateChain = (scope, decl) => {
   return out;
 };
 
-const ArrayUtil = {
-  getLengthI32: pointer => [
-    ...pointer,
-    [ Opcodes.i32_load, Math.log2(ValtypeSize.i32) - 1, 0 ]
-  ],
-
-  getLength: pointer => [
-    ...pointer,
-    [ Opcodes.i32_load, Math.log2(ValtypeSize.i32) - 1, 0 ],
-    Opcodes.i32_from_u
-  ],
-
-  setLengthI32: (pointer, value) => [
-    ...pointer,
-    ...value,
-    [ Opcodes.i32_store, Math.log2(ValtypeSize.i32) - 1, 0 ]
-  ],
-
-  setLength: (pointer, value) => [
-    ...pointer,
-    ...value,
-    Opcodes.i32_to_u,
-    [ Opcodes.i32_store, Math.log2(ValtypeSize.i32) - 1, 0 ]
-  ]
-};
 
 const createNewTarget = (scope, decl, idx = 0, force = false) => {
   if (decl._new || force) {
@@ -2824,16 +2790,6 @@ const DEFAULT_VALUE = () => ({
   name: 'undefined'
 });
 
-const codeToSanitizedStr = code => {
-  let out = '';
-  while (code > 0) {
-    out += String.fromCharCode(97 + code % 26);
-    code -= 26;
-  }
-  return out;
-};
-const sanitize = str => str.replace(/[^0-9a-zA-Z_]/g, _ => codeToSanitizedStr(_.charCodeAt(0)));
-
 const unhackName = name => {
   if (!name) return name;
 
@@ -3299,8 +3255,7 @@ const generateVarDstr = (scope, kind, pattern, init, defaultValue, global) => {
     try {
       let usedNames = [];
       for (const x of pattern.properties) {
-        const name = x.key.name;
-        usedNames.push(name);
+        usedNames.push(x.key.name);
       }
 
       let path = init.arguments[0].value;
@@ -3327,7 +3282,7 @@ const generateVarDstr = (scope, kind, pattern, init, defaultValue, global) => {
 
         // mock ffi function
         asmFunc(name, {
-          wasm: [],
+          wasm: () => [],
           params: parameters.map(x => Valtype.i32),
           returns: result ? [ Valtype.i32 ] : [],
           returnType: TYPES.number
@@ -4523,27 +4478,26 @@ const generateUpdate = (scope, decl, _global, _name, valueUnused = false) => {
   ];
 };
 
-const inferBranchStart = (scope, decl) => {
-  scope.inferTree ??= [];
-  scope.inferTree.push(decl);
+const inferBranchStart = scope => {
+  scope.inferTree ??= [ Object.create(null) ];
+  scope.inferTree.push(Object.create(null));
 };
 
 const inferBranchEnd = scope => {
   scope.inferTree.pop();
 };
 
-const inferBranchElse = (scope, decl) => {
+const inferBranchElse = scope => {
+  // todo/opt: at end of else, find inferences in common and keep them?
   inferBranchEnd(scope);
-  inferBranchStart(scope, decl);
+  inferBranchStart(scope);
 };
 
 const inferLoopPrev = [];
-const inferLoopStart = (scope, decl) => {
-  scope.inferTree ??= [];
-
+const inferLoopStart = scope => {
   // todo/opt: do not just wipe the infer tree for loops
-  inferLoopPrev.push(scope.inferTree);
-  scope.inferTree = [ decl ];
+  inferLoopPrev.push(scope.inferTree ?? [ Object.create(null) ]);
+  scope.inferTree = [ Object.create(null) ];
 };
 
 const inferLoopEnd = scope => {
@@ -4562,23 +4516,23 @@ const generateIf = (scope, decl) => {
   const out = truthy(scope, generate(scope, decl.test), getNodeType(scope, decl.test));
   out.push([ Opcodes.if, Blocktype.void ]);
   depth.push('if');
-  inferBranchStart(scope, decl.consequent);
+  inferBranchStart(scope);
 
   out.push(
     ...generate(scope, decl.consequent),
     [ Opcodes.drop ]
   );
 
-  inferBranchEnd(scope);
+
   if (decl.alternate) {
-    inferBranchStart(scope, decl.alternate);
+    inferBranchElse(scope);
     out.push(
       [ Opcodes.else ],
       ...generate(scope, decl.alternate),
       [ Opcodes.drop ]
     );
     inferBranchEnd(scope);
-  }
+  } else inferBranchEnd(scope);
 
   out.push(
     [ Opcodes.end ],
@@ -4594,7 +4548,7 @@ const generateConditional = (scope, decl) => {
 
   out.push([ Opcodes.if, valtypeBinary ]);
   depth.push('if');
-  inferBranchStart(scope, decl.consequent);
+  inferBranchStart(scope);
 
   out.push(
     ...generate(scope, decl.consequent),
@@ -4602,7 +4556,7 @@ const generateConditional = (scope, decl) => {
   );
 
   out.push([ Opcodes.else ]);
-  inferBranchElse(scope, decl.alternate);
+  inferBranchElse(scope);
 
   out.push(
     ...generate(scope, decl.alternate),
@@ -4624,7 +4578,7 @@ const generateFor = (scope, decl) => {
     [ Opcodes.drop ]
   );
 
-  inferLoopStart(scope, decl);
+  inferLoopStart(scope);
   out.push([ Opcodes.loop, Blocktype.void ]);
   depth.push('for');
 
@@ -4663,7 +4617,7 @@ const generateFor = (scope, decl) => {
 
 const generateWhile = (scope, decl) => {
   const out = [];
-  inferLoopStart(scope, decl);
+  inferLoopStart(scope);
 
   out.push([ Opcodes.loop, Blocktype.void ]);
   depth.push('while');
@@ -4691,7 +4645,7 @@ const generateWhile = (scope, decl) => {
 
 const generateDoWhile = (scope, decl) => {
   const out = [];
-  inferLoopStart(scope, decl);
+  inferLoopStart(scope);
 
   out.push([ Opcodes.loop, Blocktype.void ]);
 
@@ -4764,7 +4718,7 @@ const generateForOf = (scope, decl) => {
     [ Opcodes.local_set, length ]
   );
 
-  inferLoopStart(scope, decl);
+  inferLoopStart(scope);
   depth.push('forof');
   depth.push('block');
 
@@ -5104,7 +5058,7 @@ const generateForIn = (scope, decl) => {
     [ Opcodes.if, Blocktype.void ]
   );
 
-  inferLoopStart(scope, decl);
+  inferLoopStart(scope);
   depth.push('if');
   depth.push('forin');
   depth.push('block');
@@ -6829,7 +6783,6 @@ const generateFunc = (scope, decl, forceNoExpr = false) => {
     async: decl.async,
     subclass: decl._subclass, _onlyConstr: decl._onlyConstr, _onlyThisMethod: decl._onlyThisMethod,
     strict: scope.strict || decl.strict,
-    inferTree: [ decl ],
 
     generate() {
       if (func.wasm) return func.wasm;
@@ -7185,8 +7138,7 @@ const generateFunc = (scope, decl, forceNoExpr = false) => {
 const generateBlock = (scope, decl) => {
   let out = [];
 
-  scope.inferTree ??= [];
-  scope.inferTree.push(decl);
+  inferBranchStart(scope);
 
   let len = decl.body.length, j = 0;
   for (let i = 0; i < len; i++) {
@@ -7197,7 +7149,7 @@ const generateBlock = (scope, decl) => {
     out = out.concat(generate(scope, x));
   }
 
-  scope.inferTree.pop();
+  inferBranchEnd(scope);
 
   if (out.length === 0) out.push(number(UNDEFINED));
   return out;
@@ -7403,7 +7355,7 @@ export default program => {
   typeswitchDepth = 0;
   usedTypes = new Set([ TYPES.undefined, TYPES.number, TYPES.boolean, TYPES.function ]);
   coctc = new Map();
-  globalInfer = new Map();
+  globalInfer = Object.create(null);
 
   // set generic opcodes for current valtype
   Opcodes.const = valtypeBinary === Valtype.i32 ? Opcodes.i32_const : Opcodes.f64_const;
@@ -7429,7 +7381,7 @@ export default program => {
     objectHackers = ['assert', 'compareArray', 'Test262Error', ...new Set(Object.keys(builtinFuncs).map(getObjectName).concat(Object.keys(builtinVars).map(getObjectName)).filter(x => x))];
   }
 
-  const [ main ] = generateFunc({}, {
+  generateFunc({}, {
     type: 'Program',
     id: { name: '#main' },
     body: {
@@ -7438,9 +7390,6 @@ export default program => {
     }
   });
 
-  // if wanted and blank main func and other exports, remove it
-  if (Prefs.rmBlankMain && main.wasm.length === 0 && funcs.some(x => x.export)) funcs.splice(main.index - importedFuncs.length, 1);
-
   for (let i = 0; i < funcs.length; i++) {
     const f = funcs[i];
 

package/compiler/parse.js

@@ -17,7 +17,7 @@ globalThis.parser = '';
 let parse;
 const loadParser = async (fallbackParser = 'acorn', forceParser) => {
   parser = forceParser ?? Prefs.parser ?? fallbackParser;
-  const mod = (await import((globalThis.document || globalThis.Deno ? 'https://esm.sh/' : '') + parser));
+  const mod = (await import((globalThis.document ? 'https://esm.sh/' : '') + parser));
   if (mod.parseSync) parse = mod.parseSync;
     else parse = mod.parse;
 };

package/jsr.json

@@ -1,6 +1,6 @@
 {
   "name": "@honk/porffor",
-  "version": "0.60.22",
+  "version": "0.60.23",
   "exports": "./compiler/wrap.js",
   "publish": {
     "exclude": [

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "porffor",
   "description": "An ahead-of-time JavaScript compiler",
-  "version": "0.60.22",
+  "version": "0.60.23",
   "author": "Oliver Medhurst <honk@goose.icu>",
   "license": "MIT",
   "scripts": {},

package/runtime/index.js

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 import fs from 'node:fs';
-globalThis.version = '0.60.22';
+globalThis.version = '0.60.23';
 
 // deno compat
 if (typeof process === 'undefined' && typeof Deno !== 'undefined') {

package/foo.js

@@ -1 +0,0 @@
-(typeof console === 'undefined' ? print : console.log)('lol');