porffor 0.57.32 → 0.57.33

package/compiler/builtins.js

@@ -61,14 +61,14 @@ export const UNDEFINED = 0;
 export const NULL = 0;
 
 export const BuiltinVars = function(ctx) {
-  this.undefined = [ number(UNDEFINED) ];
+  this.undefined = () => [ number(UNDEFINED) ];
   this.undefined.type = TYPES.undefined;
 
-  this.null = [ number(NULL) ];
+  this.null = () => [ number(NULL) ];
   this.null.type = TYPES.object;
 
-  this.NaN = [ number(NaN) ];
-  this.Infinity = [ number(Infinity) ];
+  this.NaN = () => [ number(NaN) ];
+  this.Infinity = () => [ number(Infinity) ];
 
   for (const x in TYPES) {
     this['__Porffor_TYPES_' + x] = () => [ number(TYPES[x]) ];
@@ -79,17 +79,17 @@ export const BuiltinVars = function(ctx) {
   ];
   this.__performance_timeOrigin.usesImports = true;
 
-  this.__Uint8Array_BYTES_PER_ELEMENT = [ number(1) ];
-  this.__Int8Array_BYTES_PER_ELEMENT = [ number(1) ];
-  this.__Uint8ClampedArray_BYTES_PER_ELEMENT = [ number(1) ];
-  this.__Uint16Array_BYTES_PER_ELEMENT = [ number(2) ];
-  this.__Int16Array_BYTES_PER_ELEMENT = [ number(2) ];
-  this.__Uint32Array_BYTES_PER_ELEMENT = [ number(4) ];
-  this.__Int32Array_BYTES_PER_ELEMENT = [ number(4) ];
-  this.__Float32Array_BYTES_PER_ELEMENT = [ number(4) ];
-  this.__Float64Array_BYTES_PER_ELEMENT = [ number(8) ];
-  this.__BigInt64Array_BYTES_PER_ELEMENT = [ number(8) ];
-  this.__BigUint64Array_BYTES_PER_ELEMENT = [ number(8) ];
+  this.__Uint8Array_BYTES_PER_ELEMENT = () => [ number(1) ];
+  this.__Int8Array_BYTES_PER_ELEMENT = () => [ number(1) ];
+  this.__Uint8ClampedArray_BYTES_PER_ELEMENT = () => [ number(1) ];
+  this.__Uint16Array_BYTES_PER_ELEMENT = () => [ number(2) ];
+  this.__Int16Array_BYTES_PER_ELEMENT = () => [ number(2) ];
+  this.__Uint32Array_BYTES_PER_ELEMENT = () => [ number(4) ];
+  this.__Int32Array_BYTES_PER_ELEMENT = () => [ number(4) ];
+  this.__Float32Array_BYTES_PER_ELEMENT = () => [ number(4) ];
+  this.__Float64Array_BYTES_PER_ELEMENT = () => [ number(8) ];
+  this.__BigInt64Array_BYTES_PER_ELEMENT = () => [ number(8) ];
+  this.__BigUint64Array_BYTES_PER_ELEMENT = () => [ number(8) ];
 
   // well-known symbols
   for (const x of [
@@ -128,7 +128,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.boolean,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 0 ],
       [ Opcodes.f64_ne ],
@@ -142,7 +142,7 @@ export const BuiltinFuncs = function() {
     locals: [ valtypeBinary ],
     returns: [ valtypeBinary ],
     returnType: TYPES.boolean,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 0 ],
       [ Opcodes.f64_sub ],
@@ -160,7 +160,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.boolean,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 0 ],
       [ Opcodes.f64_trunc ],
@@ -174,7 +174,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.boolean,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 0 ],
       [ Opcodes.f64_trunc ],
@@ -206,7 +206,7 @@ export const BuiltinFuncs = function() {
       locals: [],
       returns: [ Valtype.f64 ],
       returnType: TYPES.number,
-      wasm: [
+      wasm: () => [
         ...prefix,
         [ op ]
       ]
@@ -219,7 +219,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.number,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       Opcodes.i32_to_u,
       [ Opcodes.i32_clz ],
@@ -232,7 +232,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.number,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.f32_demote_f64 ],
       [ Opcodes.f64_promote_f32 ]
@@ -245,7 +245,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.number,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       Opcodes.i32_to,
       [ Opcodes.local_get, 1 ],
@@ -256,280 +256,252 @@ export const BuiltinFuncs = function() {
   };
 
   const prngSeed0 = (Math.random() * (2 ** 30)) | 0, prngSeed1 = (Math.random() * (2 ** 30)) | 0;
-  const prng = ({
-    'lcg32': {
-      globals: [ Valtype.i32 ],
-      locals: [],
-      returns: Valtype.i32,
-      wasm: [
-        // use glibc/musl's constants
-        // seed = (MULTIPLIER * seed + INCREMENT) % MODULUS
-        [ Opcodes.global_get, 0 ],
-        number(1103515245, Valtype.i32),
-        [ Opcodes.i32_mul ],
-
-        // + INCREMENT
-        number(12345, Valtype.i32),
-        [ Opcodes.i32_add ],
-
-        // % MODULUS
-        number(0x7fffffff, Valtype.i32),
-        [ Opcodes.i32_and ],
-
-        // state0 =
-        [ Opcodes.global_set, 0 ],
-
-        // state0
-        [ Opcodes.global_get, 0 ],
-      ],
-    },
-
-    'xorshift32+': {
-      globals: [ Valtype.i32 ],
-      locals: [ Valtype.i32 ],
-      returns: Valtype.i32,
-      wasm: [
-        // setup: s1 = state0
-        [ Opcodes.global_get, 0 ], // state0
-        [ Opcodes.local_tee, 0 ], // s1
-
-        // s1 ^= s1 << 13
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.i32_const, 13 ],
-        [ Opcodes.i32_shl ], // <<
-        [ Opcodes.i32_xor ], // ^
-        [ Opcodes.local_tee, 0 ], // s1
-
-        // s1 ^= s1 >> 17
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.i32_const, 17 ],
-        [ Opcodes.i32_shr_s ], // >>
-        [ Opcodes.i32_xor ], // ^
-        [ Opcodes.local_tee, 0 ], // s1
-
-        // s1 ^= s1 << 5
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.i32_const, 5 ],
-        [ Opcodes.i32_shl ], // <<
-        [ Opcodes.i32_xor ], // ^
-        [ Opcodes.local_tee, 0 ], // s1
-
-        // state0 = s1
-        [ Opcodes.global_set, 0 ],
-
-        // s1
-        [ Opcodes.local_get, 0 ],
-      ],
-    },
-
-    'xorshift64+': {
-      globals: [ Valtype.i64 ],
-      locals: [ Valtype.i64 ],
-      returns: Valtype.i64,
-      wasm: [
-        // setup: s1 = state0
-        [ Opcodes.global_get, 0 ], // state0
-        [ Opcodes.local_tee, 0 ], // s1
-
-        // s1 ^= s1 >> 12
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.i64_const, 12 ],
-        [ Opcodes.i64_shr_s ], // >>
-        [ Opcodes.i64_xor ], // ^
-        [ Opcodes.local_tee, 0 ], // s1
-
-        // s1 ^= s1 << 25
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.i64_const, 25 ],
-        [ Opcodes.i64_shl ], // <<
-        [ Opcodes.i64_xor ], // ^
-        [ Opcodes.local_tee, 0 ], // s1
-
-        // s1 ^= s1 >> 27
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.i64_const, 27 ],
-        [ Opcodes.i64_shr_s ], // >>
-        [ Opcodes.i64_xor ], // ^
-        [ Opcodes.local_tee, 0 ], // s1
-
-        // state0 = s1
-        [ Opcodes.global_set, 0 ],
-
-        // s1
-        [ Opcodes.local_get, 0 ],
-      ],
-    },
-
-    'xorshift128+': {
-      globals: [ Valtype.i64, Valtype.i64 ],
-      locals: [ Valtype.i64, Valtype.i64 ],
-      returns: Valtype.i64,
-      wasm: [
-        // setup: s1 = state0, s0 = state1, state0 = s0
-        [ Opcodes.global_get, 0 ], // state0
-        [ Opcodes.local_tee, 0 ], // s1
-        [ Opcodes.global_get, 1 ], // state1
-        [ Opcodes.local_tee, 1, ], // s0
-        [ Opcodes.global_set, 0 ], // state0
-
-        // s1 ^= s1 << 23
-        // [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.i64_const, 23 ],
-        [ Opcodes.i64_shl ], // <<
-        [ Opcodes.i64_xor ], // ^
-        [ Opcodes.local_set, 0 ], // s1
-
-        // state1 = s1 ^ s0 ^ (s1 >> 17) ^ (s0 >> 26)
-        // s1 ^ s0
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.local_get, 1 ], // s0
-        [ Opcodes.i64_xor ], // ^
-
-        // ^ (s1 >> 17)
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.i64_const, 17 ],
-        [ Opcodes.i64_shr_u ], // >>
-        [ Opcodes.i64_xor ], // ^
-
-        // ^ (s0 >> 26)
-        [ Opcodes.local_get, 1 ], // s0
-        [ Opcodes.i64_const, 26 ],
-        [ Opcodes.i64_shr_u ], // >>
-        [ Opcodes.i64_xor ], // ^
-
-        // state1 =
-        [ Opcodes.global_set, 1 ],
-
-        // state1 + s0
-        [ Opcodes.global_get, 1 ], // state1
-        [ Opcodes.local_get, 1 ], // s0
-        [ Opcodes.i64_add ]
-      ]
-    },
-
-    'xoroshiro128+': {
-      globals: [ Valtype.i64, Valtype.i64 ],
-      locals: [ Valtype.i64, Valtype.i64, Valtype.i64 ],
-      returns: Valtype.i64,
-      wasm: [
-        // setup: s1 = state1, s0 = state0
-        [ Opcodes.global_get, 1 ], // state0
-        [ Opcodes.local_tee, 0 ], // s1
-        [ Opcodes.global_get, 0 ], // state1
-        [ Opcodes.local_tee, 1, ], // s0
-
-        // result = s0 + s1
-        [ Opcodes.i64_add ],
-        [ Opcodes.local_set, 2 ], // result
-
-        // s1 ^= s0
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.local_get, 1 ], // s0
-        [ Opcodes.i64_xor ],
-        [ Opcodes.local_set, 0 ], // s1
-
-        // state0 = rotl(s0, 24) ^ s1 ^ (s1 << 16)
-
-        // rotl(s0, 24) ^ s1
-        [ Opcodes.local_get, 1 ], // s0
-        number(24, Valtype.i64),
-        [ Opcodes.i64_rotl ],
-        [ Opcodes.local_get, 0 ], // s1
-        [ Opcodes.i64_xor ],
-
-        // ^ (s1 << 16)
-        [ Opcodes.local_get, 0 ], // s1
-        number(16, Valtype.i64),
-        [ Opcodes.i64_shl ],
-        [ Opcodes.i64_xor ],
-
-        // state0 =
-        [ Opcodes.global_set, 0 ], // state0
-
-        // state1 = rotl(s1, 37)
-        [ Opcodes.local_get, 0 ], // s1
-        number(37, Valtype.i64),
-        [ Opcodes.i64_rotl ],
-        [ Opcodes.global_set, 1 ], // state1
-
-        // result
-        [ Opcodes.local_get, 2 ],
-      ]
-    },
-
-    'xoshiro128+': {
-      globals: [ Valtype.i32, Valtype.i32, Valtype.i32, Valtype.i32 ],
-      locals: [ Valtype.i32, Valtype.i32 ],
-      returns: Valtype.i32,
-      wasm: [
-        // result = state0 + state3
-        [ Opcodes.global_get, 0 ], // state0
-        [ Opcodes.global_get, 3 ], // state0
-        [ Opcodes.i32_add ],
-        [ Opcodes.local_set, 0 ], // result
-
-        // t = state1 << 9
-        [ Opcodes.global_get, 1 ], // state1
-        number(9, Valtype.i32),
-        [ Opcodes.i32_shl ],
-        [ Opcodes.local_set, 1 ], // t
-
-        // state2 ^= state0
-        [ Opcodes.global_get, 2 ], // state2
-        [ Opcodes.global_get, 0 ], // state0
-        [ Opcodes.i32_xor ],
-        [ Opcodes.global_set, 2 ], // state2
-
-        // state3 ^= state1
-        [ Opcodes.global_get, 3 ], // state3
-        [ Opcodes.global_get, 1 ], // state1
-        [ Opcodes.i32_xor ],
-        [ Opcodes.global_set, 3 ], // state3
-
-        // state1 ^= state2
-        [ Opcodes.global_get, 1 ], // state1
-        [ Opcodes.global_get, 2 ], // state2
-        [ Opcodes.i32_xor ],
-        [ Opcodes.global_set, 1 ], // state1
-
-        // state0 ^= state3
-        [ Opcodes.global_get, 0 ], // state2
-        [ Opcodes.global_get, 3 ], // state0
-        [ Opcodes.i32_xor ],
-        [ Opcodes.global_set, 0 ], // state2
-
-        // state2 ^= t
-        [ Opcodes.global_get, 2 ], // state2
-        [ Opcodes.local_get, 1 ], // t
-        [ Opcodes.i32_xor ],
-        [ Opcodes.global_set, 2 ], // state2
-
-        // state3 = rotl(state3, 11)
-        [ Opcodes.global_get, 3 ], // state3
-        number(11, Valtype.i32),
-        [ Opcodes.i32_rotl ],
-        [ Opcodes.global_set, 3 ], // state3
-
-        // result
-        [ Opcodes.local_get, 0 ],
-      ]
-    }
-  })[Prefs.prng ?? 'xorshift128+'];
+  const prng = {
+    localNames: ['s1', 's0'],
+    ...({
+      'xorshift32+': {
+        globalInits: { state0: prngSeed0 },
+        locals: [ Valtype.i32 ],
+        returns: Valtype.i32,
+        wasm: (scope, { glbl }) => [
+          // setup: s1 = state0
+          ...glbl(Opcodes.global_get, 'state0', Valtype.i32), // state0
+          [ Opcodes.local_tee, 0 ], // s1
+
+          // s1 ^= s1 << 13
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.i32_const, 13 ],
+          [ Opcodes.i32_shl ], // <<
+          [ Opcodes.i32_xor ], // ^
+          [ Opcodes.local_tee, 0 ], // s1
+
+          // s1 ^= s1 >> 17
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.i32_const, 17 ],
+          [ Opcodes.i32_shr_s ], // >>
+          [ Opcodes.i32_xor ], // ^
+          [ Opcodes.local_tee, 0 ], // s1
+
+          // s1 ^= s1 << 5
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.i32_const, 5 ],
+          [ Opcodes.i32_shl ], // <<
+          [ Opcodes.i32_xor ], // ^
+          [ Opcodes.local_tee, 0 ], // s1
+
+          // state0 = s1
+          ...glbl(Opcodes.global_set, 'state0', Valtype.i32),
+
+          // s1
+          [ Opcodes.local_get, 0 ],
+        ],
+      },
+
+      'xorshift64+': {
+        globalInits: { state0: prngSeed0 },
+        locals: [ Valtype.i64 ],
+        returns: Valtype.i64,
+        wasm: (scope, { glbl }) => [
+          // setup: s1 = state0
+          ...glbl(Opcodes.global_get, 'state0', Valtype.i64), // state0
+          [ Opcodes.local_tee, 0 ], // s1
+
+          // s1 ^= s1 >> 12
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.i64_const, 12 ],
+          [ Opcodes.i64_shr_s ], // >>
+          [ Opcodes.i64_xor ], // ^
+          [ Opcodes.local_tee, 0 ], // s1
+
+          // s1 ^= s1 << 25
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.i64_const, 25 ],
+          [ Opcodes.i64_shl ], // <<
+          [ Opcodes.i64_xor ], // ^
+          [ Opcodes.local_tee, 0 ], // s1
+
+          // s1 ^= s1 >> 27
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.i64_const, 27 ],
+          [ Opcodes.i64_shr_s ], // >>
+          [ Opcodes.i64_xor ], // ^
+          [ Opcodes.local_tee, 0 ], // s1
+
+          // state0 = s1
+          ...glbl(Opcodes.global_set, 'state0', Valtype.i64),
+
+          // s1
+          [ Opcodes.local_get, 0 ],
+        ],
+      },
+
+      'xorshift128+': {
+        globalInits: { state0: prngSeed0, state1: prngSeed1 },
+        locals: [ Valtype.i64, Valtype.i64 ],
+        returns: Valtype.i64,
+        wasm: (scope, { glbl }) => [
+          // setup: s1 = state0, s0 = state1, state0 = s0
+          ...glbl(Opcodes.global_get, 'state0', Valtype.i64), // state0
+          [ Opcodes.local_tee, 0 ], // s1
+          ...glbl(Opcodes.global_get, 'state1', Valtype.i64), // state1
+          [ Opcodes.local_tee, 1, ], // s0
+          ...glbl(Opcodes.global_set, 'state0', Valtype.i64), // state0
+
+          // s1 ^= s1 << 23
+          // [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.i64_const, 23 ],
+          [ Opcodes.i64_shl ], // <<
+          [ Opcodes.i64_xor ], // ^
+          [ Opcodes.local_set, 0 ], // s1
+
+          // state1 = s1 ^ s0 ^ (s1 >> 17) ^ (s0 >> 26)
+          // s1 ^ s0
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.local_get, 1 ], // s0
+          [ Opcodes.i64_xor ], // ^
+
+          // ^ (s1 >> 17)
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.i64_const, 17 ],
+          [ Opcodes.i64_shr_u ], // >>
+          [ Opcodes.i64_xor ], // ^
+
+          // ^ (s0 >> 26)
+          [ Opcodes.local_get, 1 ], // s0
+          [ Opcodes.i64_const, 26 ],
+          [ Opcodes.i64_shr_u ], // >>
+          [ Opcodes.i64_xor ], // ^
+
+          // state1 =
+          ...glbl(Opcodes.global_set, 'state1', Valtype.i64),
+
+          // state1 + s0
+          ...glbl(Opcodes.global_get, 'state1', Valtype.i64), // state1
+          [ Opcodes.local_get, 1 ], // s0
+          [ Opcodes.i64_add ]
+        ]
+      },
+
+      'xoroshiro128+': {
+        globalInits: { state0: prngSeed0, state1: prngSeed1 },
+        locals: [ Valtype.i64, Valtype.i64, Valtype.i64 ],
+        returns: Valtype.i64,
+        wasm: (scope, { glbl }) => [
+          // setup: s1 = state1, s0 = state0
+          ...glbl(Opcodes.global_get, 'state1', Valtype.i64), // state0
+          [ Opcodes.local_tee, 0 ], // s1
+          ...glbl(Opcodes.global_get, 'state0', Valtype.i64), // state1
+          [ Opcodes.local_tee, 1, ], // s0
+
+          // result = s0 + s1
+          [ Opcodes.i64_add ],
+          [ Opcodes.local_set, 2 ], // result
+
+          // s1 ^= s0
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.local_get, 1 ], // s0
+          [ Opcodes.i64_xor ],
+          [ Opcodes.local_set, 0 ], // s1
+
+          // state0 = rotl(s0, 24) ^ s1 ^ (s1 << 16)
+
+          // rotl(s0, 24) ^ s1
+          [ Opcodes.local_get, 1 ], // s0
+          number(24, Valtype.i64),
+          [ Opcodes.i64_rotl ],
+          [ Opcodes.local_get, 0 ], // s1
+          [ Opcodes.i64_xor ],
+
+          // ^ (s1 << 16)
+          [ Opcodes.local_get, 0 ], // s1
+          number(16, Valtype.i64),
+          [ Opcodes.i64_shl ],
+          [ Opcodes.i64_xor ],
+
+          // state0 =
+          ...glbl(Opcodes.global_set, 'state0', Valtype.i64), // state0
+
+          // state1 = rotl(s1, 37)
+          [ Opcodes.local_get, 0 ], // s1
+          number(37, Valtype.i64),
+          [ Opcodes.i64_rotl ],
+          ...glbl(Opcodes.global_set, 'state1', Valtype.i64), // state1
+
+          // result
+          [ Opcodes.local_get, 2 ],
+        ]
+      },
+
+      'xoshiro128+': {
+        globalInits: { state0: prngSeed0, state1: prngSeed1, state2: (prngSeed0 * 17) | 0, state3: (prngSeed1 * 31) | 0 },
+        locals: [ Valtype.i32, Valtype.i32 ],
+        returns: Valtype.i32,
+        wasm: (scope, { glbl }) => [
+          // result = state0 + state3
+          ...glbl(Opcodes.global_get, 'state0', Valtype.i32), // state0
+          ...glbl(Opcodes.global_get, 'state3', Valtype.i32), // state0
+          [ Opcodes.i32_add ],
+          [ Opcodes.local_set, 0 ], // result
+
+          // t = state1 << 9
+          ...glbl(Opcodes.global_get, 'state1', Valtype.i32), // state1
+          number(9, Valtype.i32),
+          [ Opcodes.i32_shl ],
+          [ Opcodes.local_set, 1 ], // t
+
+          // state2 ^= state0
+          ...glbl(Opcodes.global_get, 'state2', Valtype.i32), // state2
+          ...glbl(Opcodes.global_get, 'state0', Valtype.i32), // state0
+          [ Opcodes.i32_xor ],
+          ...glbl(Opcodes.global_set, 'state2', Valtype.i32), // state2
+
+          // state3 ^= state1
+          ...glbl(Opcodes.global_get, 'state3', Valtype.i32), // state3
+          ...glbl(Opcodes.global_get, 'state1', Valtype.i32), // state1
+          [ Opcodes.i32_xor ],
+          ...glbl(Opcodes.global_set, 'state3', Valtype.i32), // state3
+
+          // state1 ^= state2
+          ...glbl(Opcodes.global_get, 'state1', Valtype.i32), // state1
+          ...glbl(Opcodes.global_get, 'state2', Valtype.i32), // state2
+          [ Opcodes.i32_xor ],
+          ...glbl(Opcodes.global_set, 'state1', Valtype.i32), // state1
+
+          // state0 ^= state3
+          ...glbl(Opcodes.global_get, 'state0', Valtype.i32), // state2
+          ...glbl(Opcodes.global_get, 'state3', Valtype.i32), // state0
+          [ Opcodes.i32_xor ],
+          ...glbl(Opcodes.global_set, 'state0', Valtype.i32), // state2
+
+          // state2 ^= t
+          ...glbl(Opcodes.global_get, 'state2', Valtype.i32), // state2
+          [ Opcodes.local_get, 1 ], // t
+          [ Opcodes.i32_xor ],
+          ...glbl(Opcodes.global_set, 'state2', Valtype.i32), // state2
+
+          // state3 = rotl(state3, 11)
+          ...glbl(Opcodes.global_get, 'state3', Valtype.i32), // state3
+          number(11, Valtype.i32),
+          [ Opcodes.i32_rotl ],
+          ...glbl(Opcodes.global_set, 'state3', Valtype.i32), // state3
+
+          // result
+          [ Opcodes.local_get, 0 ],
+        ]
+      }
+    })[Prefs.prng ?? 'xorshift128+']
+  }
 
   if (!prng) throw new Error(`unknown prng algo: ${Prefs.prng}`);
 
   this.__Math_random = {
+    ...prng,
     params: [],
-    locals: prng.locals,
-    localNames: [ 's1', 's0' ],
-    globals: prng.globals,
-    globalNames: [ 'state0', 'state1' ],
-    globalInits: [ prngSeed0, prngSeed1 ],
     returns: [ Valtype.f64 ],
     returnType: TYPES.number,
-    wasm: [
-      ...prng.wasm,
+    wasm: (scope, utils) => [
+      ...prng.wasm(scope, utils),
       ...(prng.returns === Valtype.i64 ? [
         number((1 << 53) - 1, Valtype.i64),
         [ Opcodes.i64_and ],
@@ -555,17 +527,12 @@ export const BuiltinFuncs = function() {
   };
 
   this.__Porffor_randomByte = {
+    ...prng,
     params: [],
-    locals: prng.locals,
-    localNames: [ 's1', 's0' ],
-    globals: prng.globals,
-    globalNames: [ 'state0', 'state1' ],
-    globalInits: [ prngSeed0, prngSeed1 ],
     returns: [ Valtype.i32 ],
     returnType: TYPES.number,
-    wasm: [
-      ...prng.wasm,
-
+    wasm: (scope, utils) => [
+      ...prng.wasm(scope, utils),
       ...(prng.returns === Valtype.i64 ? [
         // the lowest bits of the output generated by xorshift128+ have low quality
         number(56, Valtype.i64),
@@ -584,7 +551,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.number,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       number(Math.PI / 180),
       [ Opcodes.f64_mul ]
@@ -596,7 +563,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.number,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       number(180 / Math.PI),
       [ Opcodes.f64_mul ]
@@ -609,7 +576,7 @@ export const BuiltinFuncs = function() {
     localNames: [ 'x', 'lower', 'upper' ],
     returns: [ valtypeBinary ],
     returnType: TYPES.number,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 1 ],
       [ Opcodes.f64_max ],
@@ -624,7 +591,7 @@ export const BuiltinFuncs = function() {
     localNames: [ 'x', 'inLow', 'inHigh', 'outLow', 'outHigh' ],
     returns: [ valtypeBinary ],
     returnType: TYPES.number,
-    wasm: [
+    wasm: () => [
       // (x − inLow) * (outHigh − outLow) / (inHigh - inLow) + outLow
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 1 ],
@@ -653,7 +620,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.boolean,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 0 ],
       number(0),
       [ Opcodes.f64_le ],
@@ -667,7 +634,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [ valtypeBinary ],
     returnType: TYPES.number,
-    wasm: [
+    wasm: () => [
       [ Opcodes.call, importedFuncs.time ]
     ]
   };
@@ -694,7 +661,7 @@ export const BuiltinFuncs = function() {
     locals: [],
     returns: [],
     returnType: TYPES.undefined,
-    wasm: [
+    wasm: () => [
       [ Opcodes.local_get, 1 ],
       [ Opcodes.local_get, 0 ],
       number(pageSize, Valtype.i32),
@@ -708,7 +675,7 @@ export const BuiltinFuncs = function() {
       locals: [],
       returns: [ Valtype.i32 ],
       returnType: TYPES.number,
-      wasm: [
+      wasm: () => [
         number(1, Valtype.i32),
         [ Opcodes.memory_grow, 0 ],
         number(PageSize, Valtype.i32),
@@ -718,39 +685,37 @@ export const BuiltinFuncs = function() {
     chunk: {
       params: [],
       locals: [],
-      globals: [ Valtype.i32, Valtype.i32 ],
-      globalNames: [ 'chunkPtr', 'chunkOffset' ],
-      globalInits: [ 0, 100 * PageSize ],
+      globalInits: { chunkPtr: 0, chunkOffset: 100 * PageSize },
       returns: [ Valtype.i32 ],
       returnType: TYPES.number,
-      wasm: [
+      wasm: (scope, { glbl }) => [
         // if chunkOffset >= chunks:
-        [ Opcodes.global_get, 1 ],
+        ...glbl(Opcodes.global_get, 'chunkOffset', Valtype.i32),
         number(PageSize * (Prefs.allocatorChunks ?? 16), Valtype.i32),
         [ Opcodes.i32_ge_s ],
         [ Opcodes.if, Valtype.i32 ],
           // chunkOffset = 1 page
           number(pageSize, Valtype.i32),
-          [ Opcodes.global_set, 1 ],
+          ...glbl(Opcodes.global_set, 'chunkOffset', Valtype.i32),
 
           // return chunkPtr = allocated
           number(Prefs.allocatorChunks ?? 16, Valtype.i32),
           [ Opcodes.memory_grow, 0 ],
           number(PageSize, Valtype.i32),
           [ Opcodes.i32_mul ],
-          [ Opcodes.global_set, 0 ],
-          [ Opcodes.global_get, 0 ],
+          ...glbl(Opcodes.global_set, 'chunkPtr', Valtype.i32),
+          ...glbl(Opcodes.global_get, 'chunkPtr', Valtype.i32),
         [ Opcodes.else ],
           // return chunkPtr + chunkOffset
-          [ Opcodes.global_get, 0 ],
-          [ Opcodes.global_get, 1 ],
+          ...glbl(Opcodes.global_get, 'chunkPtr', Valtype.i32),
+          ...glbl(Opcodes.global_get, 'chunkOffset', Valtype.i32),
           [ Opcodes.i32_add ],
 
           // chunkOffset += 1 page
           number(pageSize, Valtype.i32),
-          [ Opcodes.global_get, 1 ],
+          ...glbl(Opcodes.global_get, 'chunkOffset', Valtype.i32),
           [ Opcodes.i32_add ],
-          [ Opcodes.global_set, 1 ],
+          ...glbl(Opcodes.global_set, 'chunkOffset', Valtype.i32),
         [ Opcodes.end ]
       ]
     }
@@ -759,36 +724,34 @@ export const BuiltinFuncs = function() {
   this.__Porffor_allocateBytes = {
     params: [ Valtype.i32 ],
     locals: [],
-    globals: [ Valtype.i32, Valtype.i32 ],
-    globalNames: [ 'currentPtr', 'bytesWritten' ],
-    globalInits: [ 0, pageSize ], // init to pageSize so we always allocate on first call
+    globalInits: { currentPtr: 0, bytesWritten: pageSize }, // init to pageSize so we always allocate on first call
     returns: [ Valtype.i32 ],
     returnType: TYPES.number,
-    wasm: (scope, { builtin }) => [
+    wasm: (scope, { builtin, glbl }) => [
       // if bytesWritten >= pageSize:
-      [ Opcodes.global_get, 1 ],
+      ...glbl(Opcodes.global_get, 'bytesWritten', Valtype.i32),
       number(pageSize, Valtype.i32),
       [ Opcodes.i32_ge_s ],
       [ Opcodes.if, Valtype.i32 ],
         // bytesWritten = bytesToAllocate
         [ Opcodes.local_get, 0 ],
-        [ Opcodes.global_set, 1 ],
+        ...glbl(Opcodes.global_set, 'bytesWritten', Valtype.i32),
 
         // return currentPtr = newly allocated page
         [ Opcodes.call, builtin('__Porffor_allocate') ],
-        [ Opcodes.global_set, 0 ],
-        [ Opcodes.global_get, 0 ],
+        ...glbl(Opcodes.global_set, 'currentPtr', Valtype.i32),
+        ...glbl(Opcodes.global_get, 'currentPtr', Valtype.i32),
       [ Opcodes.else ],
         // return currentPtr + bytesWritten
-        [ Opcodes.global_get, 0 ],
-        [ Opcodes.global_get, 1 ],
+        ...glbl(Opcodes.global_get, 'currentPtr', Valtype.i32),
+        ...glbl(Opcodes.global_get, 'bytesWritten', Valtype.i32),
         [ Opcodes.i32_add ],
 
         // bytesWritten += bytesToAllocate
         [ Opcodes.local_get, 0 ],
-        [ Opcodes.global_get, 1 ],
+        ...glbl(Opcodes.global_get, 'bytesWritten', Valtype.i32),
         [ Opcodes.i32_add ],
-        [ Opcodes.global_set, 1 ],
+        ...glbl(Opcodes.global_set, 'bytesWritten', Valtype.i32),
       [ Opcodes.end ]
     ]
   };
@@ -893,7 +856,7 @@ export const BuiltinFuncs = function() {
     params: [ Valtype.f64 ],
     returns: [ Valtype.i32 ],
     returnType: TYPES.number,
-    wasm: [
+    wasm: () => [
       // extract exponent bits from f64 with bit manipulation
       [ Opcodes.local_get, 0 ],
       [ Opcodes.i64_reinterpret_f64 ],

package/compiler/builtins_objects.js

@@ -2,7 +2,7 @@ import { Blocktype, Opcodes, Valtype } from './wasmSpec.js';
 import { TYPES } from './types.js';
 import { number } from './encoding.js';
 
-export default function({ builtinFuncs }, Prefs) {
+export default function ({ builtinFuncs }, Prefs) {
   const makePrefix = name => (name.startsWith('__') ? '' : '__') + name + '_';
 
   const done = new Set();
@@ -72,16 +72,15 @@ export default function({ builtinFuncs }, Prefs) {
             continue;
           }
 
-          let flags = 0b0000;
+          let add = true;
+          if (existingFunc && (x === 'prototype' || x === 'constructor')) add = false;
 
+          let flags = 0b0000;
           const d = props[x];
           if (d.configurable) flags |= 0b0010;
           if (d.enumerable) flags |= 0b0100;
           if (d.writable) flags |= 0b1000;
 
-          // hack: do not generate objects inside of objects as it causes issues atm
-          if (this[prefix + x]?.type === TYPES.object && this[prefix + x] !== this.null) value = { type: 'ObjectExpression', properties: [] };
-
           out.push(
             [ Opcodes.local_get, 0 ],
             number(TYPES.object, Valtype.i32),
@@ -96,7 +95,7 @@ export default function({ builtinFuncs }, Prefs) {
             number(flags, Valtype.i32),
             number(TYPES.number, Valtype.i32),
 
-            [ Opcodes.call, builtin('__Porffor_object_fastAdd') ]
+            [ Opcodes.call, builtin(add ? '__Porffor_object_fastAdd' : '__Porffor_object_define') ]
           );
         }
 
@@ -170,11 +169,20 @@ export default function({ builtinFuncs }, Prefs) {
     const prefix = makePrefix(name);
     return builtinFuncKeys.filter(x => x.startsWith(prefix)).map(x => x.slice(prefix.length)).filter(x => !x.startsWith('prototype_'));
   };
-  const autoFuncs = name => props({
-    writable: true,
-    enumerable: false,
-    configurable: true
-  }, autoFuncKeys(name));
+  const autoFuncs = name => ({
+    ...props({
+      writable: true,
+      enumerable: false,
+      configurable: true
+    }, autoFuncKeys(name)),
+    ...(this[`__${name}_prototype`] ? {
+      prototype: {
+        writable: false,
+        enumerable: false,
+        configurable: false
+      }
+    } : {})
+  });
 
   object('Math', {
     ...props({
@@ -248,28 +256,16 @@ export default function({ builtinFuncs }, Prefs) {
       NaN: NaN,
       POSITIVE_INFINITY: Infinity,
       NEGATIVE_INFINITY: -Infinity,
-
       MAX_VALUE: valtype === 'i32' ? 2147483647 : 1.7976931348623157e+308,
       MIN_VALUE: valtype === 'i32' ? -2147483648 : 5e-324,
-
       MAX_SAFE_INTEGER: valtype === 'i32' ? 2147483647 : 9007199254740991,
       MIN_SAFE_INTEGER: valtype === 'i32' ? -2147483648 : -9007199254740991,
-
       EPSILON: 2.220446049250313e-16
     }),
 
     ...autoFuncs('Number')
   });
 
-  object('Reflect', autoFuncs('Reflect'));
-  object('Object', autoFuncs('Object'));
-  object('JSON', autoFuncs('JSON'));
-  object('Promise', autoFuncs('Promise'));
-  object('Array', autoFuncs('Array'));
-  object('Symbol', autoFuncs('Symbol'));
-  object('Date', autoFuncs('Date'));
-  object('Atomics', autoFuncs('Atomics'));
-
   // these technically not spec compliant as it should be classes or non-enumerable but eh
   object('navigator', {
     ...props({
@@ -286,13 +282,15 @@ export default function({ builtinFuncs }, Prefs) {
     'crypto',
     'performance',
   ]) {
-    object(x, {
-      ...props({
-        writable: true,
-        enumerable: true,
-        configurable: true
-      }, autoFuncKeys(x).slice(0, 12))
-    });
+    object(x, props({
+      writable: true,
+      enumerable: true,
+      configurable: true
+    }, autoFuncKeys(x).slice(0, 12)));
+  }
+
+  for (const x of [ 'Array', 'ArrayBuffer', 'Atomics', 'Date', 'Error', 'JSON', 'Object', 'Promise', 'Reflect', 'String', 'Symbol', 'Uint8Array', 'Int8Array', 'Uint8ClampedArray', 'Uint16Array', 'Int16Array', 'Uint32Array', 'Int32Array', 'Float32Array', 'Float64Array', 'BigInt64Array', 'BigUint64Array', 'SharedArrayBuffer', 'BigInt', 'Boolean', 'DataView', 'AggregateError', 'TypeError', 'ReferenceError', 'SyntaxError', 'RangeError', 'EvalError', 'URIError', 'Function', 'Map', 'RegExp', 'Set', 'WeakMap', 'WeakRef', 'WeakSet' ]) {
+    object(x, autoFuncs(x));
   }
 
   const enumerableGlobals = [ 'atob', 'btoa', 'performance', 'crypto', 'navigator' ];
@@ -334,7 +332,6 @@ export default function({ builtinFuncs }, Prefs) {
 
   if (Prefs.logMissingObjects) for (const x of Object.keys(builtinFuncs).concat(Object.keys(this))) {
     if (!x.startsWith('__')) continue;
-
     const name = x.split('_').slice(2, -1).join('_');
 
     let t = globalThis;

package/compiler/builtins_precompiled.js

@@ -1631,7 +1631,7 @@ locals:[127,124],localNames:["#newtarget","#newtarget#type","#this","#this#type"
 constr:1,
 }
 this.__Error_prototype_constructor$get = {
-wasm:(_,{funcRef})=>eval("[...funcRef('Error'),[65,6],[15]]"),
+wasm:(_,{builtin})=>eval("[[16,builtin('#get_Error')],[184],[65,6],[15]]"),
 params:[124,127],typedParams:1,returns:[124,127],
 locals:[],localNames:["_this","_this#type"],
 }
@@ -1657,7 +1657,7 @@ locals:[127,124],localNames:["#newtarget","#newtarget#type","#this","#this#type"
 constr:1,
 }
 this.__AggregateError_prototype_constructor$get = {
-wasm:(_,{funcRef})=>eval("[...funcRef('AggregateError'),[65,6],[15]]"),
+wasm:(_,{builtin})=>eval("[[16,builtin('#get_AggregateError')],[184],[65,6],[15]]"),
 params:[124,127],typedParams:1,returns:[124,127],
 locals:[],localNames:["_this","_this#type"],
 }
@@ -1683,7 +1683,7 @@ locals:[127,124],localNames:["#newtarget","#newtarget#type","#this","#this#type"
 constr:1,
 }
 this.__TypeError_prototype_constructor$get = {
-wasm:(_,{funcRef})=>eval("[...funcRef('TypeError'),[65,6],[15]]"),
+wasm:(_,{builtin})=>eval("[[16,builtin('#get_TypeError')],[184],[65,6],[15]]"),
 params:[124,127],typedParams:1,returns:[124,127],
 locals:[],localNames:["_this","_this#type"],
 }
@@ -1709,7 +1709,7 @@ locals:[127,124],localNames:["#newtarget","#newtarget#type","#this","#this#type"
 constr:1,
 }
 this.__ReferenceError_prototype_constructor$get = {
-wasm:(_,{funcRef})=>eval("[...funcRef('ReferenceError'),[65,6],[15]]"),
+wasm:(_,{builtin})=>eval("[[16,builtin('#get_ReferenceError')],[184],[65,6],[15]]"),
 params:[124,127],typedParams:1,returns:[124,127],
 locals:[],localNames:["_this","_this#type"],
 }
@@ -1735,7 +1735,7 @@ locals:[127,124],localNames:["#newtarget","#newtarget#type","#this","#this#type"
 constr:1,
 }
 this.__SyntaxError_prototype_constructor$get = {
-wasm:(_,{funcRef})=>eval("[...funcRef('SyntaxError'),[65,6],[15]]"),
+wasm:(_,{builtin})=>eval("[[16,builtin('#get_SyntaxError')],[184],[65,6],[15]]"),
 params:[124,127],typedParams:1,returns:[124,127],
 locals:[],localNames:["_this","_this#type"],
 }
@@ -1761,7 +1761,7 @@ locals:[127,124],localNames:["#newtarget","#newtarget#type","#this","#this#type"
 constr:1,
 }
 this.__RangeError_prototype_constructor$get = {
-wasm:(_,{funcRef})=>eval("[...funcRef('RangeError'),[65,6],[15]]"),
+wasm:(_,{builtin})=>eval("[[16,builtin('#get_RangeError')],[184],[65,6],[15]]"),
 params:[124,127],typedParams:1,returns:[124,127],
 locals:[],localNames:["_this","_this#type"],
 }
@@ -1787,7 +1787,7 @@ locals:[127,124],localNames:["#newtarget","#newtarget#type","#this","#this#type"
 constr:1,
 }
 this.__EvalError_prototype_constructor$get = {
-wasm:(_,{funcRef})=>eval("[...funcRef('EvalError'),[65,6],[15]]"),
+wasm:(_,{builtin})=>eval("[[16,builtin('#get_EvalError')],[184],[65,6],[15]]"),
 params:[124,127],typedParams:1,returns:[124,127],
 locals:[],localNames:["_this","_this#type"],
 }
@@ -1813,7 +1813,7 @@ locals:[127,124],localNames:["#newtarget","#newtarget#type","#this","#this#type"
 constr:1,
 }
 this.__URIError_prototype_constructor$get = {
-wasm:(_,{funcRef})=>eval("[...funcRef('URIError'),[65,6],[15]]"),
+wasm:(_,{builtin})=>eval("[[16,builtin('#get_URIError')],[184],[65,6],[15]]"),
 params:[124,127],typedParams:1,returns:[124,127],
 locals:[],localNames:["_this","_this#type"],
 }

package/compiler/codegen.js

@@ -1294,15 +1294,21 @@ const asmFuncToAsm = (scope, func, extra) => func(scope, {
     scope.initedGlobals ??= new Set();
     if (!scope.initedGlobals.has(name)) {
       scope.initedGlobals.add(name);
-      if (scope.globalInits?.[name]) out.unshift(
-        [ Opcodes.global_get, globals[globalName + '#glbl_inited'].idx ],
-        [ Opcodes.i32_eqz ],
-        [ Opcodes.if, Blocktype.void ],
-        ...asmFuncToAsm(scope, scope.globalInits[name]),
-        number(1, Valtype.i32),
-        [ Opcodes.global_set, globals[globalName + '#glbl_inited'].idx ],
-        [ Opcodes.end ]
-      );
+      if (scope.globalInits?.[name]) {
+        if (typeof scope.globalInits[name] === 'function') {
+          out.unshift(
+            [ Opcodes.global_get, globals[globalName + '#glbl_inited'].idx ],
+            [ Opcodes.i32_eqz ],
+            [ Opcodes.if, Blocktype.void ],
+            ...asmFuncToAsm(scope, scope.globalInits[name]),
+            number(1, Valtype.i32),
+            [ Opcodes.global_set, globals[globalName + '#glbl_inited'].idx ],
+            [ Opcodes.end ]
+          );
+        } else {
+          globals[globalName].init = scope.globalInits[name];
+        }
+      }
     }
 
     return out;
@@ -1332,7 +1338,7 @@ const asmFuncToAsm = (scope, func, extra) => func(scope, {
   allocPage: (scope, name) => allocPage({ scope, pages }, name)
 }, extra);
 
-const asmFunc = (name, { wasm, params = [], typedParams = false, locals: localTypes = [], globals: globalTypes = [], globalInits = [], returns = [], returnType, localNames = [], globalNames = [], table = false, constr = false, hasRestArgument = false, usesTag = false, usesImports = false, returnTypes } = {}) => {
+const asmFunc = (name, { wasm, params = [], typedParams = false, locals: localTypes = [], globalInits = {}, returns = [], returnType, localNames = [], globalNames = [], table = false, constr = false, hasRestArgument = false, usesTag = false, usesImports = false, returnTypes } = {}) => {
   if (wasm == null) { // called with no built-in
     log.warning('codegen', `${name} has no built-in!`);
     wasm = [];
@@ -1364,28 +1370,8 @@ const asmFunc = (name, { wasm, params = [], typedParams = false, locals: localTy
   funcs.push(func);
   funcIndex[name] = func.index;
 
-  if (typeof wasm === 'function') {
-    if (globalThis.precompile) wasm = [];
-      else wasm = asmFuncToAsm(func, wasm);
-  }
-
-  if (globalTypes.length !== 0) {
-    // offset global ops for base global idx
-    let baseGlobalIdx, i = 0;
-    for (const type of globalTypes) {
-      if (baseGlobalIdx === undefined) baseGlobalIdx = globals['#ind'];
-
-      globals[globalNames[i] ?? `${name}_global_${i}`] = { idx: globals['#ind']++, type, init: globalInits[i] ?? 0 };
-      i++;
-    }
-
-    for (let i = 0; i < wasm.length; i++) {
-      const inst = wasm[i];
-      if (inst[0] === Opcodes.global_get || inst[0] === Opcodes.global_set) {
-        inst[1] += baseGlobalIdx;
-      }
-    }
-  }
+  if (globalThis.precompile) wasm = [];
+    else wasm = asmFuncToAsm(func, wasm);
 
   if (table) funcs.table = true;
   if (usesTag) {
@@ -2546,14 +2532,13 @@ const generateCall = (scope, decl, _global, _name, unusedValue = false) => {
           [ Opcodes.local_get, calleeLocal ],
           Opcodes.i32_to_u,
           [ Opcodes.call_indirect, args.length + 2, 0 ],
-          ...setLastType(scope),
-          ...(globalThis.precompile && valtypeBinary === Valtype.i32 ? [ Opcodes.i32_trunc_sat_f64_s ] : [])
+          ...setLastType(scope)
         ],
 
-        default: decl.optional ? withType(scope, [ number(UNDEFINED) ], TYPES.undefined)
+        default: decl.optional ? withType(scope, [ number(UNDEFINED, Valtype.f64) ], TYPES.undefined)
           : internalThrow(scope, 'TypeError', `${unhackName(name)} is not a function`, Valtype.f64)
       }, Valtype.f64),
-      ...(valtypeBinary === Valtype.i32 && scope.returns[0] !== Valtype.f64 ? [ [ Opcodes.f64_convert_i32_s ] ] : [])
+      ...(valtypeBinary === Valtype.i32 ? [ Opcodes.i32_trunc_sat_f64_s ] : [])
     ];
   }
 
@@ -3639,6 +3624,71 @@ const generateAssign = (scope, decl, _global, _name, valueUnused = false) => {
 
   const op = decl.operator.slice(0, -1) || '=';
 
+  // short-circuit behavior for logical assignment operators
+  if (op === '||' || op === '&&' || op === '??') {
+    // for logical assignment ops, it is not left @= right -> left = left @ right
+    // instead, left @ (left = right)
+    // eg, x &&= y -> x && (x = y)
+    if (local !== undefined) {
+      // fast path: just assigning to a local
+      setInferred(scope, name, knownType(scope, getNodeType(scope, decl)), isGlobal);
+      return [
+        ...performOp(scope, op, [
+          [ isGlobal ? Opcodes.global_get : Opcodes.local_get, local.idx ]
+        ], [
+          ...generate(scope, decl.right, isGlobal, name),
+          [ isGlobal ? Opcodes.global_set : Opcodes.local_set, local.idx ],
+          [ isGlobal ? Opcodes.global_get : Opcodes.local_get, local.idx ]
+        ], getType(scope, name), getNodeType(scope, decl.right)),
+        ...setType(scope, name, getLastType(scope), true)
+      ];
+    } else if (type === 'MemberExpression' && decl.left.computed) {
+      // special path: cache properties for computed members so they are not evaluated twice
+      // eg, x[y] &&= z -> (a = y, x[a] = (x[a] = z))
+      const propTmp = localTmp(scope, '#logical_prop');
+      const propTypeTmp = localTmp(scope, '#logical_prop#type', Valtype.i32);
+
+      const member = {
+        type: 'MemberExpression',
+        object: decl.left.object,
+        property: { type: 'Identifier', name: '#logical_prop' },
+        computed: true
+      };
+
+      return [
+        ...generate(scope, decl.left.property),
+        [ Opcodes.local_set, propTmp ],
+        ...getNodeType(scope, decl.left.property),
+        [ Opcodes.local_set, propTypeTmp ],
+
+        ...generate(scope, {
+          type: 'LogicalExpression',
+          operator: op,
+          left: member,
+          right: {
+            type: 'AssignmentExpression',
+            operator: '=',
+            left: member,
+            right: decl.right
+          }
+        }, _global, _name, valueUnused)
+      ];
+    } else {
+      // other: generate as LogicalExpression
+      return generate(scope, {
+        type: 'LogicalExpression',
+        operator: op,
+        left: decl.left,
+        right: {
+          type: 'AssignmentExpression',
+          operator: '=',
+          left: decl.left,
+          right: decl.right
+        }
+      }, _global, _name, valueUnused);
+    }
+  }
+
   // hack: .length setter
   if (type === 'MemberExpression' && decl.left.property.name === 'length' && !decl._internalAssign) {
     const newValueTmp = !valueUnused && localTmp(scope, '__length_setter_tmp');
@@ -4074,27 +4124,6 @@ const generateAssign = (scope, decl, _global, _name, valueUnused = false) => {
     return out;
   }
 
-  if (op === '||' || op === '&&' || op === '??') {
-    // todo: is this needed?
-    // for logical assignment ops, it is not left @= right ~= left = left @ right
-    // instead, left @ (left = right)
-    // eg, x &&= y ~= x && (x = y)
-
-    setInferred(scope, name, knownType(scope, getNodeType(scope, decl)), isGlobal);
-
-    return [
-      ...performOp(scope, op, [
-        [ isGlobal ? Opcodes.global_get : Opcodes.local_get, local.idx ]
-      ], [
-        ...generate(scope, decl.right, isGlobal, name),
-        [ isGlobal ? Opcodes.global_set : Opcodes.local_set, local.idx ],
-        [ isGlobal ? Opcodes.global_get : Opcodes.local_get, local.idx ]
-      ], getType(scope, name), getNodeType(scope, decl.right)),
-
-      ...setType(scope, name, getLastType(scope), true)
-    ];
-  }
-
   const out = setLocalWithType(
     scope, name, isGlobal,
     performOp(scope, op, [
@@ -7089,7 +7118,7 @@ const internalConstrs = {
   }
 };
 
-let globals, tags, exceptions, funcs, indirectFuncs, funcIndex, currentFuncIndex, depth, pages, data, typeswitchDepth, usedTypes, coctc, globalInfer, builtinFuncs, builtinVars, prototypeFuncs;
+let globals, tags, exceptions, funcs, indirectFuncs, funcIndex, currentFuncIndex, depth, pages, data, typeswitchDepth, usedTypes, coctc, globalInfer, builtinFuncs, builtinVars, prototypeFuncs, lastValtype;
 export default program => {
   globals = { ['#ind']: 0 };
   tags = [];
@@ -7119,12 +7148,16 @@ export default program => {
   Opcodes.load = valtypeBinary === Valtype.i32 ? Opcodes.i32_load : Opcodes.f64_load;
   Opcodes.store = valtypeBinary === Valtype.i32 ? Opcodes.i32_store : Opcodes.f64_store;
 
-  builtinFuncs = new BuiltinFuncs();
-  builtinVars = new BuiltinVars({ builtinFuncs });
-  prototypeFuncs = new PrototypeFuncs();
+  // keep builtins between compiles as much as possible
+  if (lastValtype !== valtypeBinary) {
+    lastValtype = valtypeBinary;
+    builtinFuncs = new BuiltinFuncs();
+    builtinVars = new BuiltinVars({ builtinFuncs });
+    prototypeFuncs = new PrototypeFuncs();
 
-  const getObjectName = x => x.startsWith('__') && x.slice(2, x.indexOf('_', 2));
-  objectHackers = ['assert', 'compareArray', 'Test262Error', ...new Set(Object.keys(builtinFuncs).map(getObjectName).concat(Object.keys(builtinVars).map(getObjectName)).filter(x => x))];
+    const getObjectName = x => x.startsWith('__') && x.slice(2, x.indexOf('_', 2));
+    objectHackers = ['assert', 'compareArray', 'Test262Error', ...new Set(Object.keys(builtinFuncs).map(getObjectName).concat(Object.keys(builtinVars).map(getObjectName)).filter(x => x))];
+  }
 
   const [ main ] = generateFunc({}, {
     type: 'Program',

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "porffor",
   "description": "An ahead-of-time JavaScript compiler",
-  "version": "0.57.32",
+  "version": "0.57.33",
   "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.57.32';
+globalThis.version = '0.57.33';
 
 // deno compat
 if (typeof process === 'undefined' && typeof Deno !== 'undefined') {
@@ -68,7 +68,7 @@ if (process.argv.includes('--help') || process.argv.includes('-h')) {
       'exception-mode': 'Exception mode to use (lut|\x1B[1mstack\x1B[0m)',
       'fast-length': 'Non-compliant optimization to make .length faster',
       'profile-compiler': 'Log general compiler performance (on by default when compiling to a file)',
-      prng: 'PRNG algorithm to use (lcg32|xorshift32+|xorshift64+|\x1B[1mxorshift128+\x1B[0m|xoroshiro128+|xoshiro128+)'
+      prng: 'PRNG algorithm to use (xorshift32+|xorshift64+|\x1B[1mxorshift128+\x1B[0m|xoroshiro128+|xoshiro128+)'
     })) {
       flag = '-' + flag;
       if (flag.length > 3) flag = '-' + flag;