porffor 0.22.3 → 0.22.4

package/compiler/builtins/object.ts

@@ -50,7 +50,7 @@ if 127
 
   local.get raw
   i32.const 1073741823
-  i32.and
+  i32.and ;; unset 2 MSBs
 else
   i32.const 195
   local.set ${key+1}
@@ -175,7 +175,6 @@ export const __Object_prototype_hasOwnProperty = (_this: any, prop: any) => {
 };
 
 export const __Object_hasOwn = (obj: any, prop: any) => {
-  // todo: not spec compliant lol
   return __Object_prototype_hasOwnProperty(obj, prop);
 };
 
@@ -483,7 +482,7 @@ if 127
 
   local.get raw
   i32.const 1073741823
-  i32.and
+  i32.and ;; unset 2 MSBs
 else
   i32.const 195
   local.set ${key+1}
@@ -548,7 +547,7 @@ if 127
 
   local.get raw
   i32.const 1073741823
-  i32.and
+  i32.and ;; unset 2 MSBs
 else
   i32.const 195
   local.set ${key+1}

package/compiler/codegen.js

@@ -1132,6 +1132,23 @@ const generateBinaryExp = (scope, decl, _global, _name) => {
     return out;
   }
 
+  if (decl.operator === 'in') {
+    // hack: a in b -> Object.hasOwn(b, a)
+    // todo: not spec compliant, in should check prototype chain too (once we have it)
+
+    return generate(scope, {
+      type: 'CallExpression',
+      callee: {
+        type: 'Identifier',
+        name: '__Object_hasOwn'
+      },
+      arguments: [
+        decl.right,
+        decl.left
+      ]
+    });
+  }
+
   // opt: == null|undefined -> nullish
   if (decl.operator === '==' || decl.operator === '!=') {
     if (knownNullish(decl.right)) {
@@ -1441,6 +1458,7 @@ const getNodeType = (scope, node) => {
 
       // check if this is a prototype function
       // if so and there is only one impl (eg charCodeAt)
+      // or all impls have the same return type
       // use that return type as that is the only possibility
       // (if non-matching type it would error out)
       if (name.startsWith('__')) {
@@ -1448,7 +1466,10 @@ const getNodeType = (scope, node) => {
 
         const func = spl[spl.length - 1];
         const protoFuncs = Object.keys(prototypeFuncs).filter(x => x != TYPES.bytestring && prototypeFuncs[x][func] != null);
-        if (protoFuncs.length === 1) {
+        if (
+          protoFuncs.length === 1 ||
+          (protoFuncs.length > 1 && protoFuncs.every(x => x.returnType === protoFuncs[0].returnType))
+        ) {
           if (protoFuncs[0].returnType != null) return protoFuncs[0].returnType;
         }
       }
@@ -1513,7 +1534,7 @@ const getNodeType = (scope, node) => {
     }
 
     if (node.type === 'BinaryExpression') {
-      if (['==', '===', '!=', '!==', '>', '>=', '<', '<=', 'instanceof'].includes(node.operator)) return TYPES.boolean;
+      if (['==', '===', '!=', '!==', '>', '>=', '<', '<=', 'instanceof', 'in'].includes(node.operator)) return TYPES.boolean;
       if (node.operator !== '+') return TYPES.number;
 
       const leftType = getNodeType(scope, node.left);

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "porffor",
   "description": "a basic experimental wip aot optimizing js -> wasm engine/compiler/runtime in js",
-  "version": "0.22.3+201819f93",
+  "version": "0.22.4+619e50acb",
   "author": "CanadaHonk",
   "license": "MIT",
   "scripts": {},

package/runner/index.js

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