porffor 0.2.0-50b82f8 → 0.2.0-5ac7ea0

package/compiler/builtins.js

@@ -1,5 +1,7 @@
-import { Blocktype, Opcodes, Valtype } from "./wasmSpec.js";
+import { Blocktype, Opcodes, Valtype, ValtypeSize } from "./wasmSpec.js";
 import { number, i32x4 } from "./embedding.js";
+import Prefs from './prefs.js';
+import * as GeneratedBuiltins from './generated_builtins.js';
 
 export const importedFuncs = [
   {
@@ -19,8 +21,14 @@ export const importedFuncs = [
     import: 't',
     params: 0,
     returns: 1
+  },
+  {
+    name: 'profile',
+    import: 'z',
+    params: 1,
+    returns: 0
   }
-];
+].filter(x => x);
 
 for (let i = 0; i < importedFuncs.length; i++) {
   const f = importedFuncs[i];
@@ -29,6 +37,21 @@ for (let i = 0; i < importedFuncs.length; i++) {
 
 const char = c => number(c.charCodeAt(0));
 
+const printStaticStr = str => {
+  const out = [];
+
+  for (let i = 0; i < str.length; i++) {
+    out.push(
+      // ...number(str.charCodeAt(i)),
+      ...number(str.charCodeAt(i), Valtype.i32),
+      Opcodes.i32_from_u,
+      [ Opcodes.call, importedFuncs.printChar ]
+    );
+  }
+
+  return out;
+};
+
 // todo: somehow diff between these (undefined != null) while remaining falsey in wasm as a number value
 export const UNDEFINED = 0;
 export const NULL = 0;
@@ -102,6 +125,10 @@ export const BuiltinVars = function() {
 
   // stubs just so that parent objects exist
   this.Math = number(1);
+
+  // wintercg(tm)
+  this.__navigator_userAgent = (scope, { makeString }) => makeString(scope, `Porffor/0.2.0`, false, '__navigator_userAgent');
+  this.__navigator_userAgent.type = Prefs.bytestring ? '_bytestring' : 'string';
 };
 
 export const BuiltinFuncs = function() {
@@ -155,25 +182,6 @@ export const BuiltinFuncs = function() {
     ]
   };
 
-  // todo: return false for NaN
-  this.Boolean = {
-    params: [ valtypeBinary ],
-    locals: [],
-    returns: [ valtypeBinary ],
-    returnType: 'boolean',
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      ...(valtype === 'f64' ? [
-        ...number(0),
-        [ Opcodes.f64_ne ]
-      ] : [
-        ...Opcodes.eqz,
-        [ Opcodes.i32_eqz ]
-      ]),
-      Opcodes.i32_from
-    ]
-  };
-
   // just return given (default 0) for (new) Object() as we somewhat supports object just not constructor
   this.Object = {
     params: [ valtypeBinary ],
@@ -187,12 +195,159 @@ export const BuiltinFuncs = function() {
 
 
   this.__console_log = {
-    params: [ valtypeBinary ],
-    locals: [],
+    params: [ valtypeBinary, Valtype.i32 ],
+    typedParams: true,
+    locals: [ Valtype.i32, Valtype.i32 ],
     returns: [],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.call, importedFuncs.print ],
+    wasm: (scope, { TYPES, typeSwitch }) => [
+      ...typeSwitch(scope, [ [ Opcodes.local_get, 1 ] ], {
+        [TYPES.number]: [
+          [ Opcodes.local_get, 0 ],
+          [ Opcodes.call, importedFuncs.print ],
+        ],
+        [TYPES.boolean]: [
+          [ Opcodes.local_get, 0 ],
+          Opcodes.i32_to_u,
+          [ Opcodes.if, Blocktype.void ],
+          ...printStaticStr('true'),
+          [ Opcodes.else ],
+          ...printStaticStr('false'),
+          [ Opcodes.end ]
+        ],
+        [TYPES.string]: [
+          // simply print a string :))
+          // cache input pointer as i32
+          [ Opcodes.local_get, 0 ],
+          Opcodes.i32_to_u,
+          [ Opcodes.local_tee, 2 ],
+
+          // make end pointer
+          [ Opcodes.i32_load, Math.log2(ValtypeSize.i32) - 1, 0 ],
+          ...number(ValtypeSize.i16, Valtype.i32),
+          [ Opcodes.i32_mul ],
+
+          [ Opcodes.local_get, 2 ],
+          [ Opcodes.i32_add ],
+          [ Opcodes.local_set, 3 ],
+
+          [ Opcodes.loop, Blocktype.void ],
+
+          // print current char
+          [ Opcodes.local_get, 2 ],
+          [ Opcodes.i32_load16_u, Math.log2(ValtypeSize.i16) - 1, ValtypeSize.i32 ],
+          Opcodes.i32_from_u,
+          [ Opcodes.call, importedFuncs.printChar ],
+
+          // increment pointer by sizeof i16
+          [ Opcodes.local_get, 2 ],
+          ...number(ValtypeSize.i16, Valtype.i32),
+          [ Opcodes.i32_add ],
+          [ Opcodes.local_tee, 2 ],
+
+          // if pointer != end pointer, loop
+          [ Opcodes.local_get, 3 ],
+          [ Opcodes.i32_ne ],
+          [ Opcodes.br_if, 0 ],
+
+          [ Opcodes.end ]
+        ],
+        [TYPES._bytestring]: [
+          // simply print a (byte)string :))
+          // cache input pointer as i32
+          [ Opcodes.local_get, 0 ],
+          Opcodes.i32_to_u,
+          [ Opcodes.local_tee, 2 ],
+
+          // make end pointer
+          [ Opcodes.i32_load, Math.log2(ValtypeSize.i32) - 1, 0 ],
+          [ Opcodes.local_get, 2 ],
+          [ Opcodes.i32_add ],
+          [ Opcodes.local_set, 3 ],
+
+          [ Opcodes.loop, Blocktype.void ],
+
+          // print current char
+          [ Opcodes.local_get, 2 ],
+          [ Opcodes.i32_load8_u, Math.log2(ValtypeSize.i16) - 1, ValtypeSize.i32 ],
+          Opcodes.i32_from_u,
+          [ Opcodes.call, importedFuncs.printChar ],
+
+          // increment pointer
+          [ Opcodes.local_get, 2 ],
+          [ Opcodes.i32_const, 1 ],
+          [ Opcodes.i32_add ],
+          [ Opcodes.local_tee, 2 ],
+
+          // if pointer != end pointer, loop
+          [ Opcodes.local_get, 3 ],
+          [ Opcodes.i32_ne ],
+          [ Opcodes.br_if, 0 ],
+
+          [ Opcodes.end ]
+        ],
+        [TYPES._array]: [
+          ...printStaticStr('[ '),
+
+          // cache input pointer as i32
+          [ Opcodes.local_get, 0 ],
+          Opcodes.i32_to_u,
+          [ Opcodes.local_tee, 2 ],
+
+          // make end pointer
+          [ Opcodes.i32_load, Math.log2(ValtypeSize.i32) - 1, 0 ],
+          ...number(ValtypeSize[valtype], Valtype.i32),
+          [ Opcodes.i32_mul ],
+
+          [ Opcodes.local_get, 2 ],
+          [ Opcodes.i32_add ],
+          [ Opcodes.local_set, 3 ],
+
+          [ Opcodes.loop, Blocktype.void ],
+
+          // print current char
+          [ Opcodes.local_get, 2 ],
+          [ Opcodes.load, Math.log2(ValtypeSize.i16) - 1, ValtypeSize.i32 ],
+          [ Opcodes.call, importedFuncs.print ],
+
+          // increment pointer by sizeof valtype
+          [ Opcodes.local_get, 2 ],
+          ...number(ValtypeSize[valtype], Valtype.i32),
+          [ Opcodes.i32_add ],
+          [ Opcodes.local_tee, 2 ],
+
+          // if pointer != end pointer, print separator and loop
+          [ Opcodes.local_get, 3 ],
+          [ Opcodes.i32_ne ],
+          [ Opcodes.if, Blocktype.void ],
+          ...printStaticStr(', '),
+          [ Opcodes.br, 1 ],
+          [ Opcodes.end ],
+
+          [ Opcodes.end ],
+
+          ...printStaticStr(' ]'),
+        ],
+        [TYPES.undefined]: [
+          ...printStaticStr('undefined')
+        ],
+        [TYPES.function]: [
+          ...printStaticStr('function () {}')
+        ],
+        [TYPES.object]: [
+          [ Opcodes.local_get, 0 ],
+          Opcodes.i32_to_u,
+          [ Opcodes.if, Blocktype.void ],
+          ...printStaticStr('{}'),
+          [ Opcodes.else ],
+          ...printStaticStr('null'),
+          [ Opcodes.end ]
+        ],
+        default: [
+          [ Opcodes.local_get, 0 ],
+          [ Opcodes.call, importedFuncs.print ],
+        ]
+      }, Blocktype.void),
+
       ...char('\n'),
       [ Opcodes.call, importedFuncs.printChar ]
     ]
@@ -395,61 +550,314 @@ 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.floor(Math.random() * Number.MAX_SAFE_INTEGER), prngSeed1 = Math.floor(Math.random() * Number.MAX_SAFE_INTEGER);
+  // const prngSeed0 = Math.floor(Math.random() * Number.MAX_SAFE_INTEGER), prngSeed1 = Math.floor(Math.random() * Number.MAX_SAFE_INTEGER);
+  const prngSeed0 = (Math.random() * (2 ** 30)) | 0, prngSeed1 = (Math.random() * (2 ** 30)) | 0;
+
+  const prng = ({
+    'lcg32_glibc': {
+      globals: [ Valtype.i32 ],
+      locals: [],
+      returns: Valtype.i32,
+      wasm: [
+        // seed = (MULTIPLIER * seed + INCREMENT) % MODULUS
+        // MULTIPLIER * state0
+        [ Opcodes.global_get, 0 ],
+        ...number(1103515245, Valtype.i32),
+        [ Opcodes.i32_mul ],
+
+        // + INCREMENT
+        ...number(12345, Valtype.i32),
+        [ Opcodes.i32_add ],
+
+        // % MODULUS
+        ...number(2 ** 31, Valtype.i32),
+        [ Opcodes.i32_rem_s ],
+
+        // state0 =
+        [ Opcodes.global_set, 0 ],
+
+        // state0
+        [ Opcodes.global_get, 0 ],
+      ],
+    },
+    'lcg32_minstd': {
+      globals: [ Valtype.i32 ],
+      locals: [],
+      returns: Valtype.i32,
+      wasm: [
+        // seed = (MULTIPLIER * seed + INCREMENT) % MODULUS
+        // MULTIPLIER * state0
+        [ Opcodes.global_get, 0 ],
+        ...number(48271, Valtype.i32),
+        [ Opcodes.i32_mul ],
+
+        // % MODULUS
+        ...number((2 ** 31) - 1, Valtype.i32),
+        [ Opcodes.i32_rem_s ],
+
+        // state0 =
+        [ Opcodes.global_set, 0 ],
+
+        // state0
+        [ Opcodes.global_get, 0 ],
+      ],
+    },
+    'lcg64_musl': 0, // todo
+
+    '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 * 0x2545F4914F6CDD1D
+        // [ Opcodes.local_get, 0 ],
+        // [ Opcodes.i64_const, 0x9d, 0xba, 0xb3, 0xfb, 0x94, 0x92, 0xfd, 0xa2, 0x25 ],
+        // [ Opcodes.i64_mul ]
+
+        // 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+'];
+
+  if (!prng) throw new Error(`unknown prng algo: ${Prefs.prng}`);
 
   this.__Math_random = {
     floatOnly: true,
     params: [],
-    locals: [ Valtype.i64, Valtype.i64 ],
+    locals: prng.locals,
     localNames: [ 's1', 's0' ],
-    globals: [ Valtype.i64, Valtype.i64 ],
+    globals: prng.globals,
     globalNames: [ 'state0', 'state1' ],
     globalInits: [ prngSeed0, prngSeed1 ],
     returns: [ Valtype.f64 ],
     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 ],
+      ...prng.wasm,
 
       // you thought it was over? now we need the result as a f64 between 0-1 :)
 
-      // state1 + s0
-      [ Opcodes.global_get, 1 ], // state1
-      [ Opcodes.local_get, 1 ], // s0
-      [ Opcodes.i64_add ],
-
       // should we >> 12 here?
       // it feels like it but it breaks values
 
@@ -464,15 +872,72 @@ export const BuiltinFuncs = function() {
       // ...number(1),
       // [ Opcodes.f64_sub ],
 
-      ...number((1 << 53) - 1, Valtype.i64),
-      [ Opcodes.i64_and ],
+      ...(prng.returns === Valtype.i64 ? [
+        ...number((1 << 53) - 1, Valtype.i64),
+        [ Opcodes.i64_and ],
+
+        // double(mantissa)
+        [ Opcodes.f64_convert_i64_u ],
+
+        // / (1 << 53)
+        ...number(1 << 53),
+        [ Opcodes.f64_div ]
+      ] : [
+        ...number((1 << 21) - 1, Valtype.i32),
+        [ Opcodes.i32_and ],
+
+        // double(mantissa)
+        [ Opcodes.f64_convert_i32_u ],
+
+        // / (1 << 21)
+        ...number(1 << 21),
+        [ Opcodes.f64_div ]
+      ])
+    ]
+  };
+
+  this.__Porffor_i32_random = {
+    params: [],
+    locals: prng.locals,
+    localNames: [ 's1', 's0' ],
+    globals: prng.globals,
+    globalNames: [ 'state0', 'state1' ],
+    globalInits: [ prngSeed0, prngSeed1 ],
+    returns: [ Valtype.i32 ],
+    wasm: [
+      ...prng.wasm,
+
+      ...(prng.returns === Valtype.i64 ? [
+        // the lowest bits of the output generated by xorshift128+ have low quality
+        ...number(56, Valtype.i64),
+        [ Opcodes.i64_shr_u ],
+
+        [ Opcodes.i32_wrap_i64 ],
+      ] : []),
+    ]
+  };
+
+  this.__Porffor_i32_randomByte = {
+    params: [],
+    locals: prng.locals,
+    localNames: [ 's1', 's0' ],
+    globals: prng.globals,
+    globalNames: [ 'state0', 'state1' ],
+    globalInits: [ prngSeed0, prngSeed1 ],
+    returns: [ Valtype.i32 ],
+    wasm: [
+      ...prng.wasm,
+
+      ...(prng.returns === Valtype.i64 ? [
+        // the lowest bits of the output generated by xorshift128+ have low quality
+        ...number(56, Valtype.i64),
+        [ Opcodes.i64_shr_u ],
 
-      // double(mantissa)
-      [ Opcodes.f64_convert_i64_u ],
+        [ Opcodes.i32_wrap_i64 ],
+      ] : []),
 
-      // / (1 << 53)
-      ...number(1 << 53),
-      [ Opcodes.f64_div ]
+      ...number(0xff, Valtype.i32),
+      [ Opcodes.i32_and ],
     ]
   };
 
@@ -571,206 +1036,76 @@ export const BuiltinFuncs = function() {
   };
 
 
-  this.__SIMD_i32x4_load = {
-    params: [ Valtype.i32 ],
-    locals: [],
-    returns: [ Valtype.v128 ],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ ...Opcodes.v128_load, 0, 0 ]
-    ]
-  };
-
-  this.__SIMD_i32x4_splat = {
-    params: [ Valtype.i32 ],
-    locals: [],
-    returns: [ Valtype.v128 ],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ ...Opcodes.i32x4_splat ],
-    ]
-  };
-
-  this.__SIMD_i16x8_create = {
-    params: [ Valtype.i32, Valtype.i32, Valtype.i32, Valtype.i32, Valtype.i32, Valtype.i32, Valtype.i32, Valtype.i32 ],
-    locals: [],
-    returns: [ Valtype.v128 ],
-    wasm: [
-      ...i32x4(0, 0, 0, 0),
-      [ Opcodes.local_get, 0 ],
-      [ ...Opcodes.i16x8_replace_lane, 0 ],
-      [ Opcodes.local_get, 1 ],
-      [ ...Opcodes.i16x8_replace_lane, 1 ],
-      [ Opcodes.local_get, 2 ],
-      [ ...Opcodes.i16x8_replace_lane, 2 ],
-      [ Opcodes.local_get, 3 ],
-      [ ...Opcodes.i16x8_replace_lane, 3 ],
-      [ Opcodes.local_get, 4 ],
-      [ ...Opcodes.i16x8_replace_lane, 4 ],
-      [ Opcodes.local_get, 5 ],
-      [ ...Opcodes.i16x8_replace_lane, 5 ],
-      [ Opcodes.local_get, 6 ],
-      [ ...Opcodes.i16x8_replace_lane, 6 ],
-      [ Opcodes.local_get, 7 ],
-      [ ...Opcodes.i16x8_replace_lane, 7 ],
-    ]
-  };
-
-  this.__SIMD_i32x4_dot_i16x8 = {
-    params: [ Valtype.v128, Valtype.v128 ],
-    locals: [],
-    returns: [ Valtype.v128 ],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.local_get, 1 ],
-      [ ...Opcodes.i32x4_dot_i16x8_s ]
-    ]
+  this.__Porffor_type = {
+    params: [ valtypeBinary, Valtype.i32 ],
+    typedParams: true,
+    locals: [ Valtype.i32, Valtype.i32 ],
+    returns: [ valtypeBinary ],
+    returnType: Prefs.bytestring ? '_bytestring' : 'string',
+    wasm: (scope, { TYPE_NAMES, typeSwitch, makeString }) => {
+      const bc = {};
+      for (const x in TYPE_NAMES) {
+        bc[x] = makeString(scope, TYPE_NAMES[x], false, '#Porffor_type_result');
+      }
+
+      return typeSwitch(scope, [ [ Opcodes.local_get, 1 ] ], bc);
+    }
   };
 
-  this.__SIMD_i32x4_create = {
-    params: [ Valtype.i32, Valtype.i32, Valtype.i32, Valtype.i32 ],
-    locals: [],
-    returns: [ Valtype.v128 ],
-    wasm: [
-      ...i32x4(0, 0, 0, 0),
-      [ Opcodes.local_get, 0 ],
-      [ ...Opcodes.i32x4_replace_lane, 0 ],
-      [ Opcodes.local_get, 1 ],
-      [ ...Opcodes.i32x4_replace_lane, 1 ],
-      [ Opcodes.local_get, 2 ],
-      [ ...Opcodes.i32x4_replace_lane, 2 ],
-      [ Opcodes.local_get, 3 ],
-      [ ...Opcodes.i32x4_replace_lane, 3 ],
-    ]
-  };
+  const localIsOneOf = (getter, arr, valtype = valtypeBinary) => {
+    const out = [];
 
-  this.__SIMD_i32x4_add = {
-    params: [ Valtype.v128, Valtype.v128 ],
-    locals: [],
-    returns: [ Valtype.v128 ],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.local_get, 1 ],
-      [ ...Opcodes.i32x4_add ]
-    ]
-  };
+    for (let i = 0; i < arr.length; i++) {
+      out.push(...getter, ...number(arr[i], valtype), valtype === Valtype.f64 ? [ Opcodes.f64_eq ] : [ Opcodes.i32_eq ]);
+      if (i !== 0) out.push([ Opcodes.i32_or ]);
+    }
 
-  this.__SIMD_i32x4_sub = {
-    params: [ Valtype.v128, Valtype.v128 ],
-    locals: [],
-    returns: [ Valtype.v128 ],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ Opcodes.local_get, 1 ],
-      [ ...Opcodes.i32x4_sub ]
-    ]
+    return out;
   };
 
-  this.__SIMD_i32x4_mul = {
-    params: [ Valtype.v128, Valtype.v128 ],
-    locals: [],
-    returns: [ Valtype.v128 ],
-    wasm: [
+  this.__Porffor_ptr = {
+    params: [ valtypeBinary, Valtype.i32 ],
+    typedParams: true,
+    locals: [ Valtype.i32, Valtype.i32 ],
+    returns: [ valtypeBinary ],
+    wasm: (scope, { TYPES }) => [
+      ...localIsOneOf([ [ Opcodes.local_get, 1 ] ], [ TYPES.string, TYPES._array, TYPES._bytestring ], Valtype.i32),
+      [ Opcodes.if, valtypeBinary ],
       [ Opcodes.local_get, 0 ],
-      [ Opcodes.local_get, 1 ],
-      [ ...Opcodes.i32x4_mul ]
+      [ Opcodes.else ],
+      ...number(NaN),
+      [ Opcodes.end ]
     ]
   };
 
-  this.__SIMD_i32x4_get0 = {
-    params: [ Valtype.v128 ],
-    locals: [],
-    returns: [ Valtype.i32 ],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ ...Opcodes.i32x4_extract_lane, 0 ],
-    ],
-  },
-
-  this.__SIMD_i32x4_get1 = {
-    params: [ Valtype.v128 ],
-    locals: [],
-    returns: [ Valtype.i32 ],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ ...Opcodes.i32x4_extract_lane, 1 ],
-    ],
-  };
-
-  this.__SIMD_i32x4_get2 = {
-    params: [ Valtype.v128 ],
-    locals: [],
-    returns: [ Valtype.i32 ],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      [ ...Opcodes.i32x4_extract_lane, 2 ],
-    ],
-  };
-
-  this.__SIMD_i32x4_get3 = {
-    params: [ Valtype.v128 ],
-    locals: [],
+  this.__Porffor_i32_ptr = {
+    params: [ Valtype.i32, Valtype.i32 ],
+    typedParams: true,
+    locals: [ Valtype.i32, Valtype.i32 ],
     returns: [ Valtype.i32 ],
-    wasm: [
+    wasm: (_scope, { TYPES }) => [
+      ...localIsOneOf([ [ Opcodes.local_get, 1 ] ], [ TYPES.string, TYPES._array, TYPES._bytestring ], Valtype.i32),
+      [ Opcodes.if, Valtype.i32 ],
       [ Opcodes.local_get, 0 ],
-      [ ...Opcodes.i32x4_extract_lane, 3 ],
-    ],
-  };
-
-  this.__SIMD_i32x4_shuffle_000c = {
-    params: [ Valtype.v128 ],
-    locals: [],
-    returns: [ Valtype.v128 ],
-    wasm: [
-      [ Opcodes.local_get, 0 ],
-      ...i32x4(0, 0, 0, 0),
-      [ ...Opcodes.i8x16_shuffle, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 8, 9, 10, 11 ], // i32x4 (a, b, c, d) -> i32x4 (0, 0, 0, c)
+      [ Opcodes.else ],
+      ...number(-1, Valtype.i32),
+      [ Opcodes.end ]
     ]
   };
 
-  this.__SIMD_i32x4_shuffle_00ab = {
-    params: [ Valtype.v128 ],
+  // unsafe: does not check type just ~casts to number
+  this.__Porffor_i32_ptrUnsafe = {
+    params: [ Valtype.i32 ],
     locals: [],
-    returns: [ Valtype.v128 ],
+    returns: [ Valtype.i32 ],
     wasm: [
       [ Opcodes.local_get, 0 ],
-      ...i32x4(0, 0, 0, 0),
-      [ ...Opcodes.i8x16_shuffle, 16, 16, 16, 16, 16, 16, 16, 16, 0, 1, 2, 3, 4, 5, 6, 7 ], // i32x4 (a, b, c, d) -> i32x4 (0, 0, a, b)
     ]
   };
-};
 
-export const BuiltinPreludes = {
-  btoa: `var keyStr = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/=";
-var btoa = function (input) {
-  // todo: throw invalid character for unicode
-
-  let output = "";
-  let chr1, chr2, chr3, enc1, enc2, enc3, enc4;
-  let i = 0;
-
-  while (i < input.length) {
-    chr1 = input.charCodeAt(i++);
-    chr2 = input.charCodeAt(i++);
-    chr3 = input.charCodeAt(i++);
-
-    enc1 = chr1 >> 2;
-    enc2 = ((chr1 & 3) << 4) | (chr2 >> 4);
-    enc3 = ((chr2 & 15) << 2) | (chr3 >> 6);
-    enc4 = chr3 & 63;
-
-    if (isNaN(chr2)) {
-      enc3 = enc4 = 64;
-    } else if (isNaN(chr3)) {
-      enc4 = 64;
-    }
 
-    output += keyStr.charAt(enc1);
-    output += keyStr.charAt(enc2);
-    output += keyStr.charAt(enc3);
-    output += keyStr.charAt(enc4);
+  const generated = new GeneratedBuiltins.BuiltinFuncs();
+  for (const x in generated) {
+    this[x] = generated[x];
   }
-
-  return output;
-};`
 };