porffor 0.47.0 → 0.47.2

package/compiler/builtins/date.ts

@@ -1547,6 +1547,15 @@ export const __Porffor_bytestring_appendChar = (str: bytestring, char: i32): i32
   return 1;
 };
 
+export const __Porffor_bytestring_append2Char = (str: bytestring, char1: i32, char2: i32): i32 => {
+  const len: i32 = str.length;
+  Porffor.wasm.i32.store8(Porffor.wasm`local.get ${str}` + len, char1, 0, 4);
+  Porffor.wasm.i32.store8(Porffor.wasm`local.get ${str}` + len + 1, char2, 0, 4);
+  str.length = len + 2;
+  return 1;
+};
+
+
 // fast appending padded number
 export const __Porffor_bytestring_appendPadNum = (str: bytestring, num: number, len: number): i32 => {
   let numStr: bytestring = Number.prototype.toFixed(num, 0);

package/compiler/builtins/generator.ts

@@ -1,3 +1,5 @@
+import type {} from './porffor.d.ts';
+
 export const __Porffor_Generator = (values: any[]): __Porffor_Generator => {
   const gen: __Porffor_Generator = values;
   return gen;

package/compiler/builtins/json.ts

@@ -0,0 +1,90 @@
+import type {} from './porffor.d.ts';
+
+export const __Porffor_json_serialize = (value: any): bytestring => {
+  // todo: many niche things (toJSON, prim objects, etc) are not implemented yet
+  // somewhat modelled after 25.5.2.2 SerializeJSONProperty: https://tc39.es/ecma262/#sec-serializejsonproperty
+  let out: bytestring = Porffor.allocate();
+
+  if (value === null) return out = 'null';
+  if (value === true) return out = 'true';
+  if (value === false) return out = 'false';
+
+  const t: i32 = Porffor.rawType(value);
+  if ((t | 0b10000000) == Porffor.TYPES.bytestring) { // string
+    out = '"'; // starting "
+
+    const len: i32 = value.length;
+    for (let i: i32 = 0; i < len; i++) {
+      const c: i32 = value.charCodeAt(i);
+      if (c < 0x20) {
+        if (c == 0x08) {
+          Porffor.bytestring.append2Char(out, 92, 98); // \b
+          continue;
+        }
+
+        if (c == 0x09) {
+          Porffor.bytestring.append2Char(out, 92, 116); // \t
+          continue;
+        }
+
+        if (c == 0x0a) {
+          Porffor.bytestring.append2Char(out, 92, 110); // \n
+          continue;
+        }
+
+        if (c == 0x0c) {
+          Porffor.bytestring.append2Char(out, 92, 102); // \f
+          continue;
+        }
+
+        if (c == 0x0d) {
+          Porffor.bytestring.append2Char(out, 92, 114); // \r
+          continue;
+        }
+
+        // \u00FF
+        Porffor.bytestring.append2Char(out, 92, 117); // \u
+        Porffor.bytestring.append2Char(out, 48, 48); // 00
+
+        Porffor.printHexDigit((c & 0xf0) / 0x10);
+        Porffor.printHexDigit(c & 0x0f);
+        continue;
+      }
+
+      if (c == 0x22) { // "
+        Porffor.bytestring.append2Char(out, 92, 34); // \"
+        continue;
+      }
+
+      if (c == 0x5c) { // \
+        Porffor.bytestring.append2Char(out, 92, 92); // \\
+        continue;
+      }
+
+      // todo: support non-bytestrings
+      Porffor.bytestring.appendChar(out, c);
+    }
+
+    Porffor.bytestring.appendChar(out, 34); // final "
+  }
+
+  if (Porffor.fastOr(
+    t == Porffor.TYPES.number,
+    t == Porffor.TYPES.numberobject
+  )) { // number
+    if (Number.isFinite(value)) return out = __Number_prototype_toString(value, 10);
+    return out = 'null';
+  }
+
+  // todo: array
+  // todo: object
+
+  return out;
+};
+
+export const __JSON_stringify = (value: any, replacer: any, space: any) => {
+  // todo: replacer
+  // todo: space
+
+  return __Porffor_json_serialize(value);
+};

package/compiler/builtins/porffor.d.ts

@@ -85,6 +85,7 @@ type PorfforGlobal = {
     // defined in date.ts
     appendStr(str: bytestring, appendage: bytestring): i32;
     appendChar(str: bytestring, char: i32): i32;
+    append2Char(str: bytestring, char1: i32, char2: i32): i32;
     appendPadNum(str: bytestring, num: number, len: number): i32;
   }
 

package/compiler/builtins_precompiled.js

@@ -1452,6 +1452,12 @@ params:[124,127,124,127],typedParams:1,returns:[124,127],typedReturns:1,
 locals:[124,124,127],localNames:["str","str#type","char","char#type","len","__length_setter_tmp","__member_setter_ptr_tmp"],
 usedTypes:[195],
 }
+this.__Porffor_bytestring_append2Char = {
+wasm:()=>[[32,0],[252,3],[40,1,0],[184],[33,6],[32,0],[32,6],[160],[252,2],[32,2],[252,2],[58,0,4],[32,0],[32,6],[160],[68,1],[160],[252,2],[32,4],[252,2],[58,0,4],[32,0],[252,3],[34,8],[32,6],[68,2],[160],[34,7],[252,3],[54,1,0],[68,1],[65,1],[15]],
+params:[124,127,124,127,124,127],typedParams:1,returns:[124,127],typedReturns:1,
+locals:[124,124,127],localNames:["str","str#type","char1","char1#type","char2","char2#type","len","__length_setter_tmp","__member_setter_ptr_tmp"],
+usedTypes:[195],
+}
 this.__Porffor_bytestring_appendPadNum = {
 wasm:(_,{builtin})=>[[32,2],[65,1],[68,0],[65,1],[16,builtin('__Number_prototype_toFixed')],[33,7],[33,6],[32,0],[32,0],[252,3],[40,1,0],[184],[160],[33,8],[32,6],[252,3],[40,1,0],[184],[33,9],[32,8],[32,4],[32,9],[161],[160],[33,10],[3,64],[32,8],[32,10],[99],[4,64],[32,8],[32,8],[68,1],[160],[33,8],[252,2],[65,48],[58,0,4],[12,1],[11],[11],[32,6],[34,11],[32,9],[160],[33,12],[3,64],[32,11],[32,12],[99],[4,64],[32,8],[32,8],[68,1],[160],[33,8],[252,2],[32,11],[32,11],[68,1],[160],[33,11],[252,2],[45,0,4],[58,0,4],[12,1],[11],[11],[32,0],[252,3],[34,14],[32,8],[32,0],[161],[34,13],[252,3],[54,1,0],[68,1],[65,1],[15]],
 params:[124,127,124,127,124,127],typedParams:1,returns:[124,127],typedReturns:1,
@@ -1804,6 +1810,19 @@ locals:[124,124,127,127],localNames:["vals","vals#type","value","value#type","#a
 usedTypes:[36,80],
 usesTag:1,
 }
+this.__Porffor_json_serialize = {
+wasm:(_,{t,allocPage,builtin,internalThrow})=>[[16,builtin('__Porffor_allocate')],[183],[33,2],[32,0],[68,0],[97],[32,1],[65,128,1],[114],[65,7],[65,128,1],[114],[70],[113],[4,64],...number(allocPage(_,'bytestring: __Porffor_json_serialize/out','i8'),124),[34,2],[65,195,1],[15],[11],[32,0],[68,1],[97],[32,1],[65,128,1],[114],[65,2],[65,128,1],[114],[70],[113],[4,64],[32,2],[252,3],[34,3],[65,4],[54,1,0],[32,3],[65,244,0],[58,0,4],[32,3],[65,242,0],[58,0,5],[32,3],[65,245,0],[58,0,6],[32,3],[65,229,0],[58,0,7],[32,3],[184],[34,2],[65,195,1],[15],[11],[32,0],[68,0],[97],[32,1],[65,128,1],[114],[65,2],[65,128,1],[114],[70],[113],[4,64],[32,2],[252,3],[34,3],[65,5],[54,1,0],[32,3],[65,230,0],[58,0,4],[32,3],[65,225,0],[58,0,5],[32,3],[65,236,0],[58,0,6],[32,3],[65,243,0],[58,0,7],[32,3],[65,229,0],[58,0,8],[32,3],[184],[34,2],[65,195,1],[15],[11],[32,1],[184],[34,4],[68,128],[16,builtin('f64_|')],[68,195],[97],[4,64],[32,2],[252,3],[34,3],[65,1],[54,1,0],[32,3],[65,34],[58,0,4],[32,3],[184],[33,2],[32,0],[252,3],[40,1,0],[184],[33,5],[68,0],[33,6],[3,64],[32,6],[32,5],[99],[4,64],[2,64],[32,0],[252,3],[40,1,0],[33,8],[32,1],[33,10],[2,124],...t([39],()=>[[32,10],[65,39],[70],[4,64],[32,6],[252,2],[65,2],[108],[32,0],[252,3],[106],[47,0,4],[184],[65,1],[33,12],[12,1],[11]]),...t([67],()=>[[32,10],[65,195,0],[70],[4,64],[32,6],[252,2],[65,2],[108],[32,0],[252,3],[106],[47,0,4],[184],[65,1],[33,12],[12,1],[11]]),...t([195],()=>[[32,10],[65,195,1],[70],[4,64],[32,6],[252,2],[32,0],[252,3],[106],[45,0,4],[184],[65,1],[33,12],[12,1],[11]]),...internalThrow(_,'TypeError',`'charCodeAt' proto func tried to be called on a type without an impl`),[68,0],[11],[34,7],[68,32],[99],[4,64],[32,7],[68,8],[97],[4,64],[32,2],[65,195,1],[68,92],[65,1],[68,98],[65,1],[16,builtin('__Porffor_bytestring_append2Char')],[33,12],[26],[12,2],[11],[32,7],[68,9],[97],[4,64],[32,2],[65,195,1],[68,92],[65,1],[68,116],[65,1],[16,builtin('__Porffor_bytestring_append2Char')],[33,12],[26],[12,2],[11],[32,7],[68,10],[97],[4,64],[32,2],[65,195,1],[68,92],[65,1],[68,110],[65,1],[16,builtin('__Porffor_bytestring_append2Char')],[33,12],[26],[12,2],[11],[32,7],[68,12],[97],[4,64],[32,2],[65,195,1],[68,92],[65,1],[68,102],[65,1],[16,builtin('__Porffor_bytestring_append2Char')],[33,12],[26],[12,2],[11],[32,7],[68,13],[97],[4,64],[32,2],[65,195,1],[68,92],[65,1],[68,114],[65,1],[16,builtin('__Porffor_bytestring_append2Char')],[33,12],[26],[12,2],[11],[32,2],[65,195,1],[68,92],[65,1],[68,117],[65,1],[16,builtin('__Porffor_bytestring_append2Char')],[33,12],[26],[32,2],[65,195,1],[68,48],[65,1],[68,48],[65,1],[16,builtin('__Porffor_bytestring_append2Char')],[33,12],[26],[32,7],[68,240],[16,builtin('f64_&')],[68,16],[163],[65,1],[16,builtin('__Porffor_printHexDigit')],[33,12],[26],[32,7],[68,15],[16,builtin('f64_&')],[65,1],[16,builtin('__Porffor_printHexDigit')],[33,12],[26],[12,1],[11],[32,7],[68,34],[97],[4,64],[32,2],[65,195,1],[68,92],[65,1],[68,34],[65,1],[16,builtin('__Porffor_bytestring_append2Char')],[33,12],[26],[12,1],[11],[32,7],[68,92],[97],[4,64],[32,2],[65,195,1],[68,92],[65,1],[68,92],[65,1],[16,builtin('__Porffor_bytestring_append2Char')],[33,12],[26],[12,1],[11],[32,2],[65,195,1],[32,7],[65,1],[16,builtin('__Porffor_bytestring_appendChar')],[33,12],[26],[11],[32,6],[68,1],[160],[33,6],[12,1],[11],[11],[32,2],[65,195,1],[68,34],[65,1],[16,builtin('__Porffor_bytestring_appendChar')],[33,12],[26],[11],[32,4],[68,1],[97],[32,4],[68,38],[97],[114],[4,64],[32,0],[16,builtin('__Number_isFinite')],[252,3],[4,64],[32,0],[32,1],[68,10],[65,1],[16,builtin('__Number_prototype_toString')],[33,12],[34,2],[32,12],[15],[11],[32,2],[252,3],[34,3],[65,4],[54,1,0],[32,3],[65,238,0],[58,0,4],[32,3],[65,245,0],[58,0,5],[32,3],[65,236,0],[58,0,6],[32,3],[65,236,0],[58,0,7],[32,3],[184],[34,2],[65,195,1],[15],[11],[32,2],[65,195,1],[15]],
+params:[124,127],typedParams:1,returns:[124,127],typedReturns:1,
+locals:[124,127,124,124,124,124,127,127,127,127,127],localNames:["value","value#type","out","#makearray_pointer_tmp","t","len","i","c","__proto_length_cache","__proto_pointer_cache","#typeswitch_tmp1","__charCodeAt_tmp","#last_type"],
+usedTypes:[7,195],
+data:{"bytestring: __Porffor_json_serialize/out":[4,0,0,0,110,117,108,108]},
+usesTag:1,
+}
+this.__JSON_stringify = {
+wasm:(_,{builtin})=>[[32,0],[32,1],[16,builtin('__Porffor_json_serialize')],[34,6],[15]],
+params:[124,127,124,127,124,127],typedParams:1,returns:[124,127],typedReturns:1,
+locals:[127],localNames:["value","value#type","replacer","replacer#type","space","space#type","#last_type"],
+}
 this.__Math_exp = {
 wasm:(_,{builtin})=>[[32,0],[16,builtin('__Number_isFinite')],[68,0],[97],[4,64],[32,0],[68,"Infinity"],[154],[97],[4,64],[68,0],[65,1],[15],[11],[32,0],[65,1],[15],[11],[32,0],[68,0],[99],[4,64],[68,1],[32,0],[154],[65,1],[16,builtin('__Math_exp')],[33,2],[163],[65,1],[15],[11],[32,0],[68,0.6931471805599453],[163],[16,builtin('__Math_floor')],[33,3],[32,0],[32,3],[68,0.6931471805599453],[162],[161],[34,4],[33,5],[68,1],[32,4],[160],[33,6],[68,2],[33,7],[3,64],[32,5],[16,builtin('__Math_abs')],[68,1e-15],[100],[4,64],[32,5],[32,4],[32,7],[163],[162],[33,5],[32,6],[32,5],[160],[33,6],[32,7],[68,1],[160],[33,7],[12,1],[11],[11],[3,64],[32,3],[32,3],[68,1],[161],[33,3],[68,0],[100],[4,64],[32,6],[68,2],[162],[33,6],[12,1],[11],[11],[32,6],[65,1],[15]],
 params:[124,127],typedParams:1,returns:[124,127],typedReturns:1,

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

package/runner/index.js

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