porffor 0.55.14 → 0.55.15

package/README.md

@@ -108,7 +108,6 @@ Porffor can run Test262 via some hacks/transforms which remove unsupported featu
   - `codegen.js`: code (wasm) generation, ast -> wasm. The bulk of the effort
   - `cyclone.js`: wasm partial constant evaluator (it is fast and dangerous hence "cyclone")
   - `disassemble.js`: wasm disassembler using internal debug info
-  - `embedding.js`: utils for embedding consts
   - `encoding.js`: utils for encoding things as bytes as wasm expects
   - `expression.js`: mapping most operators to an opcode (advanced are as built-ins eg `f64_%`)
   - `havoc.js`: wasm rewrite library (it wreaks havoc upon wasm bytecode hence "havoc")

package/compiler/builtins/_internal_object.ts

@@ -135,11 +135,16 @@ export const __Porffor_object_lookup = (obj: any, target: any): i32 => {
   const size: i32 = Porffor.wasm.i32.load(obj, 0, 0);
   const endPtr: i32 = ptr + size * 14;
 
+  let out: boolean = false;
   if (targetType == Porffor.TYPES.symbol) {
     const targetSym: symbol = target;
     for (; ptr < endPtr; ptr += 14) {
       const keyRaw: i32 = Porffor.wasm.i32.load(ptr, 0, 0);
-      if (keyRaw == 0) break; // ran out of keys
+      if (keyRaw == 0) {
+        if (out) break; // ran out of keys
+        out = true;
+      }
+
       if (keyRaw >>> 30 == 3) { // MSB 1 and 2 set, symbol
         const keySym: symbol = keyRaw & 0x3FFFFFFF; // unset MSB
         if (keySym == targetSym) return ptr;
@@ -148,7 +153,10 @@ export const __Porffor_object_lookup = (obj: any, target: any): i32 => {
   } else {
     for (; ptr < endPtr; ptr += 14) {
       const keyRaw: i32 = Porffor.wasm.i32.load(ptr, 0, 0);
-      if (keyRaw == 0) break; // ran out of keys
+      if (keyRaw == 0) {
+        if (out) break; // ran out of keys
+        out = true;
+      }
 
       const msb: i32 = keyRaw >>> 30;
       if (msb == 0) {

package/compiler/builtins/number.ts

@@ -559,6 +559,8 @@ export const parseInt = (input: any, radix: any): f64 => {
 
   let defaultRadix: boolean = false;
   radix = ecma262.ToIntegerOrInfinity(radix);
+  if (!Number.isFinite(radix)) radix = 0; // infinity/NaN -> default
+
   if (radix == 0) {
     defaultRadix = true;
     radix = 10;

package/compiler/builtins.js

@@ -1,10 +1,9 @@
 import * as PrecompiledBuiltins from './builtins_precompiled.js';
 import ObjectBuiltins from './builtins_objects.js';
 import { Blocktype, Opcodes, Valtype, ValtypeSize } from './wasmSpec.js';
-import { number } from './embedding.js';
 import { TYPES, TYPE_NAMES } from './types.js';
+import { number, unsignedLEB128 } from './encoding.js';
 import './prefs.js';
-import { unsignedLEB128 } from './encoding.js';
 
 export const importedFuncs = [
   {
@@ -230,90 +229,26 @@ export const BuiltinFuncs = function() {
   };
 
 
-  this.__Math_sqrt = {
-    floatOnly: true,
-    params: [ valtypeBinary ],
-    locals: [],
-    returns: [ valtypeBinary ],
-    returnType: TYPES.number,
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.f64_sqrt ]
-    ]
-  };
-
-  this.__Math_abs = {
-    floatOnly: true,
-    params: [ valtypeBinary ],
-    locals: [],
-    returns: [ valtypeBinary ],
-    returnType: TYPES.number,
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.f64_abs ]
-    ]
-  };
-
-  this.__Math_sign = {
-    floatOnly: true,
-    params: [ valtypeBinary ],
-    locals: [],
-    returns: [ valtypeBinary ],
-    returnType: TYPES.number,
-    wasm: [
-      number(1),
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.f64_copysign ]
-    ]
-  };
-
-  this.__Math_floor = {
-    floatOnly: true,
-    params: [ valtypeBinary ],
-    locals: [],
-    returns: [ valtypeBinary ],
-    returnType: TYPES.number,
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.f64_floor ]
-    ]
-  };
-
-  this.__Math_ceil = {
-    floatOnly: true,
-    params: [ valtypeBinary ],
-    locals: [],
-    returns: [ valtypeBinary ],
-    returnType: TYPES.number,
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.f64_ceil ]
-    ]
-  };
-
-  this.__Math_round = {
-    floatOnly: true,
-    params: [ valtypeBinary ],
-    locals: [],
-    returns: [ valtypeBinary ],
-    returnType: TYPES.number,
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.f64_nearest ]
-    ]
-  };
-
-  this.__Math_trunc = {
-    floatOnly: true,
-    params: [ valtypeBinary ],
-    locals: [],
-    returns: [ valtypeBinary ],
-    returnType: TYPES.number,
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.f64_trunc ]
-    ]
-  };
+  for (const [ name, op, prefix = [ [ Opcodes.local_get, 0 ] ] ] of [
+    [ 'sqrt', Opcodes.f64_sqrt ],
+    [ 'abs', Opcodes.f64_abs ],
+    [ 'sign', Opcodes.f64_copysign, [ number(1), [ Opcodes.local_get, 0 ] ] ],
+    [ 'floor', Opcodes.f64_floor ],
+    [ 'ceil', Opcodes.f64_ceil ],
+    [ 'round', Opcodes.f64_nearest ],
+    [ 'trunc', Opcodes.f64_trunc ]
+  ]) {
+    this[`__Math_${name}`] = {
+      params: [ Valtype.f64 ],
+      locals: [],
+      returns: [ Valtype.f64 ],
+      returnType: TYPES.number,
+      wasm: [
+        ...prefix,
+        [ op ]
+      ]
+    };
+  }
 
   // todo: does not follow spec with +-Infinity and values >2**32
   this.__Math_clz32 = {
@@ -359,10 +294,7 @@ export const BuiltinFuncs = function() {
     ]
   };
 
-  // this is an implementation of xorshift128+ (in wasm bytecode)
-  // fun fact: v8, SM, JSC also use this (you will need this fun fact to maintain your sanity reading this code)
   const prngSeed0 = (Math.random() * (2 ** 30)) | 0, prngSeed1 = (Math.random() * (2 ** 30)) | 0;
-
   const prng = ({
     'lcg32': {
       globals: [ Valtype.i32 ],

package/compiler/builtins_objects.js

@@ -1,6 +1,6 @@
 import { Blocktype, Opcodes, PageSize, Valtype } from './wasmSpec.js';
 import { TYPES } from './types.js';
-import { number } from './embedding.js';
+import { number } from './encoding.js';
 
 export default function({ builtinFuncs }, Prefs) {
   const makePrefix = name => (name.startsWith('__') ? '' : '__') + name + '_';

package/compiler/builtins_precompiled.js

@@ -1,5 +1,5 @@
 // autogenerated by compiler/precompile.js
-import { number } from './embedding.js';
+import { number } from './encoding.js';
 
 export const BuiltinFuncs = function() {
 this.__Porffor_object_underlying = {
@@ -56,9 +56,9 @@ params:[127,127],typedParams:1,returns:[127,127],typedReturns:1,
 locals:[127],localNames:["entryPtr","entryPtr#type","out"],
 }
 this.__Porffor_object_lookup = {
-wasm:(_,{t,builtin})=>[[32,0],[69],[4,64],[65,127],[65,1],[15],[26],[11],[32,1],[65,7],[71],[4,64],[32,0],[183],[32,1],[16,builtin('__Porffor_object_underlying')],[33,4],[252,2],[33,0],[32,4],[34,1],[65,7],[71],[4,64],[65,127],[65,1],[15],[26],[11],[11],[32,3],[33,5],[32,0],[65,5],[106],[33,6],[32,0],[40,0,0],[33,7],[32,6],[32,7],[65,14],[108],[106],[33,8],[32,5],[65,5],[70],[4,64],[32,2],[33,9],[3,64],[32,6],[32,8],[72],[4,64],[2,64],[32,6],[40,0,0],[34,10],[69],[4,64],[12,2],[26],[11],[32,10],[65,30],[118],[65,3],[70],[4,64],[32,10],[65,255,255,255,255,3],[113],[34,11],[32,9],[70],[4,64],[32,6],[65,1],[15],[26],[11],[11],[11],[32,6],[65,14],[106],[33,6],[12,1],[11],[11],[5],[3,64],[32,6],[32,8],[72],[4,64],[2,64],[32,6],[40,0,0],[34,10],[69],[4,64],[12,2],[26],[11],[32,10],[65,30],[118],[34,12],[69],[4,64],[32,10],[34,13],[65,195,1],[32,2],[32,3],[16,builtin('__Porffor_strcmp')],[33,4],[33,14],[32,4],[33,15],[2,127],...t([67,195],()=>[[32,15],[65,195,0],[70],[32,15],[65,195,1],[70],[114],[4,64],[32,14],[40,1,0],[12,1],[11]]),[32,14],[11],[4,64],[32,6],[65,1],[15],[26],[11],[5],[32,12],[65,2],[70],[4,64],[32,10],[65,255,255,255,255,7],[113],[34,13],[65,195,0],[32,2],[32,3],[16,builtin('__Porffor_strcmp')],[33,4],[33,14],[32,4],[33,15],[2,127],...t([67,195],()=>[[32,15],[65,195,0],[70],[32,15],[65,195,1],[70],[114],[4,64],[32,14],[40,1,0],[12,1],[11]]),[32,14],[11],[4,64],[32,6],[65,1],[15],[26],[11],[11],[11],[11],[32,6],[65,14],[106],[33,6],[12,1],[11],[11],[11],[65,127],[65,1],[15]],
+wasm:(_,{t,builtin})=>[[32,0],[69],[4,64],[65,127],[65,1],[15],[26],[11],[32,1],[65,7],[71],[4,64],[32,0],[183],[32,1],[16,builtin('__Porffor_object_underlying')],[33,4],[252,2],[33,0],[32,4],[34,1],[65,7],[71],[4,64],[65,127],[65,1],[15],[26],[11],[11],[32,3],[33,5],[32,0],[65,5],[106],[33,6],[32,0],[40,0,0],[33,7],[32,6],[32,7],[65,14],[108],[106],[33,8],[65,0],[33,9],[32,5],[65,5],[70],[4,64],[32,2],[33,10],[3,64],[32,6],[32,8],[72],[4,64],[2,64],[32,6],[40,0,0],[34,11],[69],[4,64],[32,9],[4,64],[12,3],[26],[11],[65,1],[33,9],[11],[32,11],[65,30],[118],[65,3],[70],[4,64],[32,11],[65,255,255,255,255,3],[113],[34,12],[32,10],[70],[4,64],[32,6],[65,1],[15],[26],[11],[11],[11],[32,6],[65,14],[106],[33,6],[12,1],[11],[11],[5],[3,64],[32,6],[32,8],[72],[4,64],[2,64],[32,6],[40,0,0],[34,11],[69],[4,64],[32,9],[4,64],[12,3],[26],[11],[65,1],[33,9],[11],[32,11],[65,30],[118],[34,13],[69],[4,64],[32,11],[34,14],[65,195,1],[32,2],[32,3],[16,builtin('__Porffor_strcmp')],[33,4],[33,15],[32,4],[33,16],[2,127],...t([67,195],()=>[[32,16],[65,195,0],[70],[32,16],[65,195,1],[70],[114],[4,64],[32,15],[40,1,0],[12,1],[11]]),[32,15],[11],[4,64],[32,6],[65,1],[15],[26],[11],[5],[32,13],[65,2],[70],[4,64],[32,11],[65,255,255,255,255,7],[113],[34,14],[65,195,0],[32,2],[32,3],[16,builtin('__Porffor_strcmp')],[33,4],[33,15],[32,4],[33,16],[2,127],...t([67,195],()=>[[32,16],[65,195,0],[70],[32,16],[65,195,1],[70],[114],[4,64],[32,15],[40,1,0],[12,1],[11]]),[32,15],[11],[4,64],[32,6],[65,1],[15],[26],[11],[11],[11],[11],[32,6],[65,14],[106],[33,6],[12,1],[11],[11],[11],[65,127],[65,1],[15]],
 params:[127,127,127,127],typedParams:1,returns:[127,127],typedReturns:1,
-locals:[127,127,127,127,127,127,127,127,127,127,127,127],localNames:["obj","obj#type","target","target#type","#last_type","targetType","ptr","size","endPtr","targetSym","keyRaw","keySym","msb","keyStr","#logicinner_tmp","#typeswitch_tmp1"],
+locals:[127,127,127,127,127,127,127,127,127,127,127,127,127],localNames:["obj","obj#type","target","target#type","#last_type","targetType","ptr","size","endPtr","out","targetSym","keyRaw","keySym","msb","keyStr","#logicinner_tmp","#typeswitch_tmp1"],
 usedTypes:[5,195,67],
 }
 this.__Porffor_object_readValue = {
@@ -1981,7 +1981,7 @@ locals:[],localNames:["_this","_this#type"],
 usesTag:1,
 }
 this.parseInt = {
-wasm:(_,{t,builtin,internalThrow})=>[[32,0],[32,1],[16,builtin('__ecma262_ToString')],[33,4],[33,5],[32,4],[33,6],[32,4],[33,7],[2,124],...t([39],()=>[[32,7],[65,39],[70],[4,64],[32,5],[252,2],[32,6],[16,builtin('__String_prototype_trim')],[33,4],[183],[12,1],[11]]),...t([67],()=>[[32,7],[65,195,0],[70],[4,64],[32,5],[252,2],[32,6],[16,builtin('__String_prototype_trim')],[33,4],[183],[12,1],[11]]),...t([195],()=>[[32,7],[65,195,1],[70],[4,64],[32,5],[252,2],[32,6],[16,builtin('__ByteString_prototype_trim')],[33,4],[183],[12,1],[11]]),...internalThrow(_,'TypeError',`'trim' proto func tried to be called on a type without an impl`),[68,0],[11],[33,0],[32,4],[33,1],[68,0],[33,8],[32,2],[32,3],[16,builtin('__ecma262_ToIntegerOrInfinity')],[34,4],[33,3],[34,2],[68,0],[97],[4,64],[68,1],[33,8],[68,10],[33,2],[65,1],[33,3],[11],[32,2],[68,2],[99],[34,9],[69],[4,127],[32,2],[68,36],[100],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[68,"NaN"],[65,1],[15],[26],[11],[68,58],[33,10],[32,2],[68,10],[99],[4,64],[68,48],[32,2],[160],[33,10],[11],[68,"NaN"],[33,11],[32,0],[34,12],[252,2],[40,0,0],[183],[33,13],[32,12],[33,14],[68,0],[33,15],[32,1],[184],[68,195],[97],[4,64],[32,14],[32,13],[160],[33,16],[32,14],[252,2],[45,0,4],[183],[34,17],[68,43],[97],[4,64],[32,14],[68,1],[160],[33,14],[11],[32,17],[68,45],[97],[4,64],[68,1],[33,15],[32,14],[68,1],[160],[33,14],[11],[32,8],[34,18],[68,0],[97],[4,124],[32,2],[68,16],[97],[184],[65,2],[33,4],[5],[32,18],[65,2],[33,4],[11],[34,18],[33,19],[32,4],[33,7],[2,127],...t([67,195],()=>[[32,7],[65,195,0],[70],[32,7],[65,195,1],[70],[114],[4,64],[32,19],[252,3],[40,1,0],[12,1],[11]]),[32,19],[252,3],[11],[4,124],[32,17],[68,48],[97],[184],[65,2],[33,4],[5],[32,18],[32,4],[33,4],[11],[33,19],[32,4],[33,7],[2,127],...t([67,195],()=>[[32,7],[65,195,0],[70],[32,7],[65,195,1],[70],[114],[4,64],[32,19],[252,3],[40,1,0],[12,1],[11]]),[32,19],[252,3],[11],[4,64],[32,14],[68,1],[160],[252,2],[45,0,4],[183],[34,20],[68,120],[97],[34,9],[69],[4,127],[32,20],[68,88],[97],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,14],[68,2],[160],[33,14],[68,16],[33,2],[65,1],[33,3],[11],[11],[3,64],[32,14],[32,16],[99],[4,64],[32,14],[32,14],[68,1],[160],[33,14],[252,2],[45,0,4],[183],[34,21],[68,48],[102],[34,9],[4,127],[32,21],[32,10],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,48],[161],[33,11],[5],[32,2],[68,10],[100],[4,64],[32,21],[68,97],[102],[34,9],[4,127],[32,21],[68,87],[32,2],[160],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,87],[161],[33,11],[5],[32,21],[68,65],[102],[34,9],[4,127],[32,21],[68,55],[32,2],[160],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,55],[161],[33,11],[5],[12,4],[26],[11],[11],[5],[12,2],[26],[11],[11],[12,1],[11],[11],[32,15],[252,3],[4,64],[32,11],[154],[65,1],[15],[26],[11],[32,11],[65,1],[15],[26],[11],[32,14],[32,13],[68,2],[162],[160],[33,16],[32,14],[252,2],[47,0,4],[183],[34,17],[68,43],[97],[4,64],[32,14],[68,2],[160],[33,14],[11],[32,17],[68,45],[97],[4,64],[68,1],[33,15],[32,14],[68,2],[160],[33,14],[11],[32,8],[34,18],[68,0],[97],[4,124],[32,2],[68,16],[97],[184],[65,2],[33,4],[5],[32,18],[65,2],[33,4],[11],[34,18],[33,19],[32,4],[33,7],[2,127],...t([67,195],()=>[[32,7],[65,195,0],[70],[32,7],[65,195,1],[70],[114],[4,64],[32,19],[252,3],[40,1,0],[12,1],[11]]),[32,19],[252,3],[11],[4,124],[32,17],[68,48],[97],[184],[65,2],[33,4],[5],[32,18],[32,4],[33,4],[11],[33,19],[32,4],[33,7],[2,127],...t([67,195],()=>[[32,7],[65,195,0],[70],[32,7],[65,195,1],[70],[114],[4,64],[32,19],[252,3],[40,1,0],[12,1],[11]]),[32,19],[252,3],[11],[4,64],[32,14],[68,2],[160],[252,2],[47,0,4],[183],[34,20],[68,120],[97],[34,9],[69],[4,127],[32,20],[68,88],[97],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,14],[68,4],[160],[33,14],[68,16],[33,2],[65,1],[33,3],[11],[11],[3,64],[32,14],[32,16],[99],[4,64],[32,14],[252,2],[47,0,4],[183],[33,21],[32,14],[68,2],[160],[33,14],[32,21],[68,48],[102],[34,9],[4,127],[32,21],[32,10],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,48],[161],[33,11],[5],[32,2],[68,10],[100],[4,64],[32,21],[68,97],[102],[34,9],[4,127],[32,21],[68,87],[32,2],[160],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,87],[161],[33,11],[5],[32,21],[68,65],[102],[34,9],[4,127],[32,21],[68,55],[32,2],[160],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,55],[161],[33,11],[5],[12,4],[26],[11],[11],[5],[12,2],[26],[11],[11],[12,1],[11],[11],[32,15],[252,3],[4,64],[32,11],[154],[65,1],[15],[26],[11],[32,11],[65,1],[15]],
+wasm:(_,{t,builtin,internalThrow})=>[[32,0],[32,1],[16,builtin('__ecma262_ToString')],[33,4],[33,5],[32,4],[33,6],[32,4],[33,7],[2,124],...t([39],()=>[[32,7],[65,39],[70],[4,64],[32,5],[252,2],[32,6],[16,builtin('__String_prototype_trim')],[33,4],[183],[12,1],[11]]),...t([67],()=>[[32,7],[65,195,0],[70],[4,64],[32,5],[252,2],[32,6],[16,builtin('__String_prototype_trim')],[33,4],[183],[12,1],[11]]),...t([195],()=>[[32,7],[65,195,1],[70],[4,64],[32,5],[252,2],[32,6],[16,builtin('__ByteString_prototype_trim')],[33,4],[183],[12,1],[11]]),...internalThrow(_,'TypeError',`'trim' proto func tried to be called on a type without an impl`),[68,0],[11],[33,0],[32,4],[33,1],[68,0],[33,8],[32,2],[32,3],[16,builtin('__ecma262_ToIntegerOrInfinity')],[34,4],[33,3],[34,2],[16,builtin('__Number_isFinite')],[68,0],[97],[4,64],[68,0],[33,2],[65,1],[33,3],[11],[32,2],[68,0],[97],[4,64],[68,1],[33,8],[68,10],[33,2],[65,1],[33,3],[11],[32,2],[68,2],[99],[34,9],[69],[4,127],[32,2],[68,36],[100],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[68,"NaN"],[65,1],[15],[26],[11],[68,58],[33,10],[32,2],[68,10],[99],[4,64],[68,48],[32,2],[160],[33,10],[11],[68,"NaN"],[33,11],[32,0],[34,12],[252,2],[40,0,0],[183],[33,13],[32,12],[33,14],[68,0],[33,15],[32,1],[184],[68,195],[97],[4,64],[32,14],[32,13],[160],[33,16],[32,14],[252,2],[45,0,4],[183],[34,17],[68,43],[97],[4,64],[32,14],[68,1],[160],[33,14],[11],[32,17],[68,45],[97],[4,64],[68,1],[33,15],[32,14],[68,1],[160],[33,14],[11],[32,8],[34,18],[68,0],[97],[4,124],[32,2],[68,16],[97],[184],[65,2],[33,4],[5],[32,18],[65,2],[33,4],[11],[34,18],[33,19],[32,4],[33,7],[2,127],...t([67,195],()=>[[32,7],[65,195,0],[70],[32,7],[65,195,1],[70],[114],[4,64],[32,19],[252,3],[40,1,0],[12,1],[11]]),[32,19],[252,3],[11],[4,124],[32,17],[68,48],[97],[184],[65,2],[33,4],[5],[32,18],[32,4],[33,4],[11],[33,19],[32,4],[33,7],[2,127],...t([67,195],()=>[[32,7],[65,195,0],[70],[32,7],[65,195,1],[70],[114],[4,64],[32,19],[252,3],[40,1,0],[12,1],[11]]),[32,19],[252,3],[11],[4,64],[32,14],[68,1],[160],[252,2],[45,0,4],[183],[34,20],[68,120],[97],[34,9],[69],[4,127],[32,20],[68,88],[97],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,14],[68,2],[160],[33,14],[68,16],[33,2],[65,1],[33,3],[11],[11],[3,64],[32,14],[32,16],[99],[4,64],[32,14],[32,14],[68,1],[160],[33,14],[252,2],[45,0,4],[183],[34,21],[68,48],[102],[34,9],[4,127],[32,21],[32,10],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,48],[161],[33,11],[5],[32,2],[68,10],[100],[4,64],[32,21],[68,97],[102],[34,9],[4,127],[32,21],[68,87],[32,2],[160],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,87],[161],[33,11],[5],[32,21],[68,65],[102],[34,9],[4,127],[32,21],[68,55],[32,2],[160],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,55],[161],[33,11],[5],[12,4],[26],[11],[11],[5],[12,2],[26],[11],[11],[12,1],[11],[11],[32,15],[252,3],[4,64],[32,11],[154],[65,1],[15],[26],[11],[32,11],[65,1],[15],[26],[11],[32,14],[32,13],[68,2],[162],[160],[33,16],[32,14],[252,2],[47,0,4],[183],[34,17],[68,43],[97],[4,64],[32,14],[68,2],[160],[33,14],[11],[32,17],[68,45],[97],[4,64],[68,1],[33,15],[32,14],[68,2],[160],[33,14],[11],[32,8],[34,18],[68,0],[97],[4,124],[32,2],[68,16],[97],[184],[65,2],[33,4],[5],[32,18],[65,2],[33,4],[11],[34,18],[33,19],[32,4],[33,7],[2,127],...t([67,195],()=>[[32,7],[65,195,0],[70],[32,7],[65,195,1],[70],[114],[4,64],[32,19],[252,3],[40,1,0],[12,1],[11]]),[32,19],[252,3],[11],[4,124],[32,17],[68,48],[97],[184],[65,2],[33,4],[5],[32,18],[32,4],[33,4],[11],[33,19],[32,4],[33,7],[2,127],...t([67,195],()=>[[32,7],[65,195,0],[70],[32,7],[65,195,1],[70],[114],[4,64],[32,19],[252,3],[40,1,0],[12,1],[11]]),[32,19],[252,3],[11],[4,64],[32,14],[68,2],[160],[252,2],[47,0,4],[183],[34,20],[68,120],[97],[34,9],[69],[4,127],[32,20],[68,88],[97],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,14],[68,4],[160],[33,14],[68,16],[33,2],[65,1],[33,3],[11],[11],[3,64],[32,14],[32,16],[99],[4,64],[32,14],[252,2],[47,0,4],[183],[33,21],[32,14],[68,2],[160],[33,14],[32,21],[68,48],[102],[34,9],[4,127],[32,21],[32,10],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,48],[161],[33,11],[5],[32,2],[68,10],[100],[4,64],[32,21],[68,97],[102],[34,9],[4,127],[32,21],[68,87],[32,2],[160],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,87],[161],[33,11],[5],[32,21],[68,65],[102],[34,9],[4,127],[32,21],[68,55],[32,2],[160],[99],[65,2],[33,4],[5],[32,9],[65,2],[33,4],[11],[4,64],[32,11],[16,builtin('__Number_isNaN')],[252,3],[4,64],[68,0],[33,11],[11],[32,11],[32,2],[162],[32,21],[160],[68,55],[161],[33,11],[5],[12,4],[26],[11],[11],[5],[12,2],[26],[11],[11],[12,1],[11],[11],[32,15],[252,3],[4,64],[32,11],[154],[65,1],[15],[26],[11],[32,11],[65,1],[15]],
 params:[124,127,124,127],typedParams:1,returns:[124,127],typedReturns:1,
 locals:[127,124,127,127,124,127,124,124,124,124,124,124,124,124,124,124,124,124],localNames:["input","input#type","radix","radix#type","#last_type","#proto_target","#proto_target#type","#typeswitch_tmp1","defaultRadix","logictmpi","nMax","n","inputPtr","len","i","negative","endPtr","startChr","logictmp","#logicinner_tmp","second","chr"],
 usesTag:1,

package/compiler/codegen.js

@@ -1,15 +1,14 @@
 import { Blocktype, Opcodes, Valtype, ValtypeSize } from './wasmSpec.js';
-import { ieee754_binary64, signedLEB128, unsignedLEB128, encodeVector, read_signedLEB128 } from './encoding.js';
+import { number, ieee754_binary64, signedLEB128, unsignedLEB128, encodeVector, read_signedLEB128 } from './encoding.js';
 import { operatorOpcode } from './expression.js';
 import { BuiltinFuncs, BuiltinVars, importedFuncs, NULL, UNDEFINED } from './builtins.js';
 import { PrototypeFuncs } from './prototype.js';
-import { number } from './embedding.js';
 import { TYPES, TYPE_FLAGS, TYPE_NAMES, typeHasFlag } from './types.js';
 import * as Rhemyn from '../rhemyn/compile.js';
 import parse from './parse.js';
 import { log } from './log.js';
-import './prefs.js';
 import { allocPage, allocStr } from './allocator.js';
+import './prefs.js';
 
 let globals = {};
 let tags = [];

package/compiler/cyclone.js

@@ -1,7 +1,6 @@
 // cyclone: wasm partial constant evaluator (it is fast and dangerous hence "cyclone")
-import { signedLEB128, ieee754_binary64, read_ieee754_binary64, read_signedLEB128 } from './encoding.js';
+import { number, signedLEB128, ieee754_binary64, read_ieee754_binary64, read_signedLEB128 } from './encoding.js';
 import { Opcodes, Valtype } from './wasmSpec.js';
-import { number } from './embedding.js';
 
 const f64ToI32Op = {
   [Opcodes.f64_eq]: Opcodes.i32_eq,

package/compiler/encoding.js

@@ -1,3 +1,13 @@
+import { Opcodes, Valtype } from './wasmSpec.js';
+export const number = (n, valtype = valtypeBinary) => {
+  if (valtype === Valtype.f64) return [ Opcodes.f64_const, n ];
+
+  const out = [ valtype === Valtype.i32 ? Opcodes.i32_const : Opcodes.i64_const ];
+  signedLEB128_into(n, out);
+
+  return out;
+};
+
 export const codifyString = str => {
   let out = [];
   for (let i = 0; i < str.length; i++) {

package/compiler/opt.js

@@ -1,6 +1,5 @@
 import { Opcodes, Valtype } from './wasmSpec.js';
-import { number } from './embedding.js';
-import { read_signedLEB128, read_ieee754_binary64 } from './encoding.js';
+import { number, read_signedLEB128, read_ieee754_binary64 } from './encoding.js';
 import { log } from './log.js';
 import './prefs.js';
 

package/compiler/pgo.js

@@ -1,10 +1,10 @@
 import { Opcodes, Valtype } from './wasmSpec.js';
-import { number } from './embedding.js';
+import { number } from './encoding.js';
 import { importedFuncs } from './builtins.js';
-import './prefs.js';
 import assemble from './assemble.js';
 import wrap, { writeByteStr } from './wrap.js';
 import * as Havoc from './havoc.js';
+import './prefs.js';
 
 export const setup = () => {
   importedFuncs[importedFuncs.profile2].params = [ Valtype.i32, valtypeBinary ];

package/compiler/precompile.js

@@ -216,7 +216,7 @@ const precompile = async () => {
   };
 
   return `// autogenerated by compiler/precompile.js
-import { number } from './embedding.js';
+import { number } from './encoding.js';
 
 export const BuiltinFuncs = function() {
 ${funcs.map(x => {

package/compiler/prototype.js

@@ -1,5 +1,5 @@
 import { Opcodes, Blocktype, Valtype, ValtypeSize } from './wasmSpec.js';
-import { number } from './embedding.js';
+import { number } from './encoding.js';
 import { UNDEFINED } from './builtins.js';
 import { TYPES } from './types.js';
 import './prefs.js';

package/compiler/types.js

@@ -58,15 +58,9 @@ registerInternalType('Map');
 registerInternalType('ArrayBuffer');
 registerInternalType('SharedArrayBuffer');
 registerInternalType('DataView');
-registerInternalType('Uint8Array', ['iterable', 'length']);
-registerInternalType('Int8Array', ['iterable', 'length']);
-registerInternalType('Uint8ClampedArray', ['iterable', 'length']);
-registerInternalType('Uint16Array', ['iterable', 'length']);
-registerInternalType('Int16Array', ['iterable', 'length']);
-registerInternalType('Uint32Array', ['iterable', 'length']);
-registerInternalType('Int32Array', ['iterable', 'length']);
-registerInternalType('Float32Array', ['iterable', 'length']);
-registerInternalType('Float64Array', ['iterable', 'length']);
+
+for (const x of [ 'Uint8', 'Int8', 'Uint8Clamped', 'Uint16', 'Int16', 'Uint32', 'Int32', 'Float32', 'Float64' ])
+  registerInternalType(`${x}Array`, ['iterable', 'length']);
 
 registerInternalType('WeakRef');
 registerInternalType('WeakSet');
@@ -78,16 +72,8 @@ registerInternalType('BooleanObject');
 registerInternalType('NumberObject');
 registerInternalType('StringObject');
 
-registerInternalType('Error');
-registerInternalType('AggregateError');
-registerInternalType('TypeError');
-registerInternalType('ReferenceError');
-registerInternalType('SyntaxError');
-registerInternalType('RangeError');
-registerInternalType('EvalError');
-registerInternalType('URIError');
-registerInternalType('Test262Error');
-registerInternalType('TodoError');
+for (const x of [ '', 'Aggregate', 'Type', 'Reference', 'Syntax', 'Range', 'Eval', 'URI', 'Test262', 'Todo' ])
+  registerInternalType(`${x}Error`);
 
 registerInternalType('__Porffor_Generator');
 registerInternalType('__Porffor_AsyncGenerator');

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.55.14",
+  "version": "0.55.15",
   "author": "CanadaHonk",
   "license": "MIT",
   "scripts": {},

package/r.cjs

@@ -1,13 +1,6 @@
-// 'use strict';
-function foo() {
-  'use strict';
-  console.log(this);
-  eval('console.log(this)');
-  (0, eval)('console.log(this)');
-  eval?.('console.log(this)');
-}
+const x = new Date();
+console.log(x.constructor === Date);
 
-foo();
 
 // let o = { set foo(x) { console.log('set foo', x); }, __proto__: { set bar(x) { console.log('set bar', x); } } };
 

package/rhemyn/compile.js

@@ -1,8 +1,8 @@
 import { Blocktype, Opcodes, Valtype, ValtypeSize } from '../compiler/wasmSpec.js';
-import { number } from '../compiler/embedding.js';
+import { number } from '../compiler/encoding.js';
 import parse from './parse.js';
-import '../compiler/prefs.js';
 import { TYPES } from '../compiler/types.js';
+import '../compiler/prefs.js';
 
 // local indexes
 const BasePointer = 0; // base string pointer

package/runner/flamegraph.js

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 import { Opcodes, Valtype } from '../compiler/wasmSpec.js';
-import { number } from '../compiler/embedding.js';
+import { number } from '../compiler/encoding.js';
 import { importedFuncs } from '../compiler/builtins.js';
 import compile from '../compiler/wrap.js';
 import fs from 'node:fs';

package/runner/index.js

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

package/.fails.cjs

@@ -1,20 +0,0 @@
-const all = require('./all.json').map(x => x.slice(21));
-const { passes } = require('./test262/results.json');
-const fails = all.filter(x => !passes.includes(x));
-{
-  const dirs = Object.groupBy(fails, x => x.split('/').slice(0, 2).join('/'));
-  const top = Object.keys(dirs).sort((a, b) => dirs[b].length - dirs[a].length);
-  console.log(top.slice(0, 20).map(x => `${x}: ${dirs[x].length} (${((dirs[x].length / all.length) * 100).toFixed(2)}%)`).join('\n'));
-}
-console.log()
-{
-  const dirs = Object.groupBy(fails, x => x.split('/').slice(0, 3).join('/'));
-  const top = Object.keys(dirs).sort((a, b) => dirs[b].length - dirs[a].length);
-  console.log(top.slice(0, 20).map(x => `${x}: ${dirs[x].length} (${((dirs[x].length / all.length) * 100).toFixed(2)}%)`).join('\n'));
-}
-console.log()
-{
-  const dirs = Object.groupBy(fails, x => x.split('/').slice(0, 4).join('/'));
-  const top = Object.keys(dirs).sort((a, b) => dirs[b].length - dirs[a].length);
-  console.log(top.slice(0, 20).map(x => `${x}: ${dirs[x].length} (${((dirs[x].length / all.length) * 100).toFixed(2)}%)`).join('\n'));
-}