porffor 0.2.0-5ac7ea0 → 0.2.0-5c24120

package/compiler/builtins.js

@@ -2,6 +2,7 @@ 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';
+import { TYPES } from './types.js';
 
 export const importedFuncs = [
   {
@@ -23,12 +24,24 @@ export const importedFuncs = [
     returns: 1
   },
   {
-    name: 'profile',
+    name: 'timeOrigin',
+    import: 'u',
+    params: 0,
+    returns: 1
+  },
+  {
+    name: 'profile1',
+    import: 'y',
+    params: 1,
+    returns: 0
+  },
+  {
+    name: 'profile2',
     import: 'z',
     params: 1,
     returns: 0
   }
-].filter(x => x);
+];
 
 for (let i = 0; i < importedFuncs.length; i++) {
   const f = importedFuncs[i];
@@ -58,10 +71,10 @@ export const NULL = 0;
 
 export const BuiltinVars = function() {
   this.undefined = number(UNDEFINED);
-  this.undefined.type = 'undefined';
+  this.undefined.type = TYPES.undefined;
 
   this.null = number(NULL);
-  this.null.type = 'object';
+  this.null.type = TYPES.object;
 
   this.NaN = number(NaN);
   this.NaN.floatOnly = true;
@@ -128,7 +141,15 @@ export const BuiltinVars = function() {
 
   // wintercg(tm)
   this.__navigator_userAgent = (scope, { makeString }) => makeString(scope, `Porffor/0.2.0`, false, '__navigator_userAgent');
-  this.__navigator_userAgent.type = Prefs.bytestring ? '_bytestring' : 'string';
+  this.__navigator_userAgent.type = Prefs.bytestring ? TYPES.bytestring : TYPES.string;
+
+  for (const x in TYPES) {
+    this['__Porffor_TYPES_' + x] = number(TYPES[x]);
+  }
+
+  this.__performance_timeOrigin = [
+    [ Opcodes.call, importedFuncs.timeOrigin ]
+  ];
 };
 
 export const BuiltinFuncs = function() {
@@ -187,19 +208,20 @@ export const BuiltinFuncs = function() {
     params: [ valtypeBinary ],
     locals: [],
     returns: [ valtypeBinary ],
-    returnType: 'object',
+    returnType: TYPES.object,
     wasm: [
-      [ Opcodes.local_get, 0 ]
+      // [ Opcodes.local_get, 0 ]
+      ...number(1)
     ]
   };
 
 
-  this.__console_log = {
+  this.__Porffor_print = {
     params: [ valtypeBinary, Valtype.i32 ],
     typedParams: true,
     locals: [ Valtype.i32, Valtype.i32 ],
     returns: [],
-    wasm: (scope, { TYPES, typeSwitch }) => [
+    wasm: (scope, { typeSwitch }) => [
       ...typeSwitch(scope, [ [ Opcodes.local_get, 1 ] ], {
         [TYPES.number]: [
           [ Opcodes.local_get, 0 ],
@@ -251,7 +273,7 @@ export const BuiltinFuncs = function() {
 
           [ Opcodes.end ]
         ],
-        [TYPES._bytestring]: [
+        [TYPES.bytestring]: [
           // simply print a (byte)string :))
           // cache input pointer as i32
           [ Opcodes.local_get, 0 ],
@@ -285,7 +307,7 @@ export const BuiltinFuncs = function() {
 
           [ Opcodes.end ]
         ],
-        [TYPES._array]: [
+        [TYPES.array]: [
           ...printStaticStr('[ '),
 
           // cache input pointer as i32
@@ -346,10 +368,7 @@ export const BuiltinFuncs = function() {
           [ Opcodes.local_get, 0 ],
           [ Opcodes.call, importedFuncs.print ],
         ]
-      }, Blocktype.void),
-
-      ...char('\n'),
-      [ Opcodes.call, importedFuncs.printChar ]
+      }, Blocktype.void)
     ]
   };
 
@@ -361,7 +380,7 @@ export const BuiltinFuncs = function() {
     params: [ valtypeBinary ],
     locals: [],
     returns: [ valtypeBinary ],
-    returnType: 'boolean',
+    returnType: TYPES.boolean,
     wasm: [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 0 ],
@@ -376,7 +395,7 @@ export const BuiltinFuncs = function() {
     params: [ valtypeBinary ],
     locals: [ valtypeBinary ],
     returns: [ valtypeBinary ],
-    returnType: 'boolean',
+    returnType: TYPES.boolean,
     wasm: [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 0 ],
@@ -395,7 +414,7 @@ export const BuiltinFuncs = function() {
     params: [ valtypeBinary ],
     locals: [],
     returns: [ valtypeBinary ],
-    returnType: 'boolean',
+    returnType: TYPES.boolean,
     wasm: [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 0 ],
@@ -410,7 +429,7 @@ export const BuiltinFuncs = function() {
     params: [ valtypeBinary ],
     locals: [],
     returns: [ valtypeBinary ],
-    returnType: 'boolean',
+    returnType: TYPES.boolean,
     wasm: [
       [ Opcodes.local_get, 0 ],
       [ Opcodes.local_get, 0 ],
@@ -896,28 +915,7 @@ export const BuiltinFuncs = function() {
     ]
   };
 
-  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 = {
+  this.__Porffor_randomByte = {
     params: [],
     locals: prng.locals,
     localNames: [ 's1', 's0' ],
@@ -1016,7 +1014,7 @@ export const BuiltinFuncs = function() {
     params: [ valtypeBinary ],
     locals: [],
     returns: [ valtypeBinary ],
-    returnType: 'boolean',
+    returnType: TYPES.boolean,
     wasm: [
       [ Opcodes.local_get, 0 ],
       ...number(0),
@@ -1041,7 +1039,7 @@ export const BuiltinFuncs = function() {
     typedParams: true,
     locals: [ Valtype.i32, Valtype.i32 ],
     returns: [ valtypeBinary ],
-    returnType: Prefs.bytestring ? '_bytestring' : 'string',
+    returnType: Prefs.bytestring ? TYPES.bytestring : TYPES.string,
     wasm: (scope, { TYPE_NAMES, typeSwitch, makeString }) => {
       const bc = {};
       for (const x in TYPE_NAMES) {
@@ -1052,60 +1050,35 @@ export const BuiltinFuncs = function() {
     }
   };
 
-  const localIsOneOf = (getter, arr, valtype = valtypeBinary) => {
-    const out = [];
-
-    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 ]);
-    }
-
-    return out;
-  };
-
-  this.__Porffor_ptr = {
+  this.__Porffor_rawType = {
     params: [ valtypeBinary, Valtype.i32 ],
     typedParams: true,
-    locals: [ Valtype.i32, Valtype.i32 ],
+    locals: [],
     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.else ],
-      ...number(NaN),
-      [ Opcodes.end ]
-    ]
-  };
-
-  this.__Porffor_i32_ptr = {
-    params: [ Valtype.i32, Valtype.i32 ],
-    typedParams: true,
-    locals: [ Valtype.i32, Valtype.i32 ],
-    returns: [ Valtype.i32 ],
-    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.else ],
-      ...number(-1, Valtype.i32),
-      [ Opcodes.end ]
+    wasm: [
+      [ Opcodes.local_get, 1 ],
+      Opcodes.i32_from_u
     ]
   };
 
-  // unsafe: does not check type just ~casts to number
-  this.__Porffor_i32_ptrUnsafe = {
-    params: [ Valtype.i32 ],
+  this.__Porffor_clone = {
+    params: [ valtypeBinary, valtypeBinary ],
     locals: [],
-    returns: [ Valtype.i32 ],
+    returns: [],
     wasm: [
+      // dst
+      [ Opcodes.local_get, 1 ],
+      Opcodes.i32_to_u,
+
+      // src
       [ Opcodes.local_get, 0 ],
+      Opcodes.i32_to_u,
+
+      // size = pageSize
+      ...number(pageSize, Valtype.i32),
+      [ ...Opcodes.memory_copy, 0x00, 0x00 ],
     ]
   };
 
-
-  const generated = new GeneratedBuiltins.BuiltinFuncs();
-  for (const x in generated) {
-    this[x] = generated[x];
-  }
+  GeneratedBuiltins.BuiltinFuncs.call(this);
 };