porffor 0.25.1 → 0.25.3

package/compiler/codegen.js

@@ -845,6 +845,11 @@ const nullish = (scope, wasm, type, intIn = false, intOut = false) => {
     ...(!useTmp ? [] : [ [ Opcodes.local_set, tmp ] ]),
 
     ...typeSwitch(scope, type, {
+      [TYPES.empty]: [
+        // empty
+        ...(!useTmp ? [ [ Opcodes.drop ] ] : []),
+        ...number(1, intOut ? Valtype.i32 : valtypeBinary)
+      ],
       [TYPES.undefined]: [
         // undefined
         ...(!useTmp ? [ [ Opcodes.drop ] ] : []),
@@ -1189,7 +1194,7 @@ const generateBinaryExp = (scope, decl, _global, _name) => {
 const asmFuncToAsm = (scope, func) => {
   return func(scope, {
     TYPES, TYPE_NAMES, typeSwitch, makeArray, makeString, allocPage, internalThrow,
-    getNodeType, generateIdent,
+    getNodeType, generate, generateIdent,
     builtin: n => {
       let idx = funcIndex[n] ?? importedFuncs[n];
       if (idx == null && builtinFuncs[n]) {
@@ -3962,7 +3967,7 @@ const generateForIn = (scope, decl) => {
   depth.push('if');
   depth.push('forin');
   depth.push('block');
-  depth.push('block');
+  depth.push('if');
 
   // setup local for left
   generate(scope, decl.left);
@@ -3984,6 +3989,7 @@ const generateForIn = (scope, decl) => {
     [TYPES.object]: [
       [ Opcodes.loop, Blocktype.void ],
 
+      // read key
       [ Opcodes.local_get, pointer ],
       [ Opcodes.i32_load, 0, 5 ],
       [ Opcodes.local_tee, localTmp(scope, '#forin_tmp', Valtype.i32) ],
@@ -4009,11 +4015,18 @@ const generateForIn = (scope, decl) => {
       [ isGlobal ? Opcodes.global_set : Opcodes.local_set, local.idx ],
 
       [ Opcodes.block, Blocktype.void ],
-      [ Opcodes.block, Blocktype.void ],
+
+      // todo/perf: do not read key for non-enumerables
+      // only run body if entry is enumerable
+      [ Opcodes.local_get, pointer ],
+      [ Opcodes.i32_load8_u, 0, 17 ],
+      [ Opcodes.i32_const, 0b0100 ],
+      [ Opcodes.i32_and ],
+      [ Opcodes.if, Blocktype.void ],
       ...generate(scope, decl.body),
       [ Opcodes.end ],
 
-      // increment iter pointer by 14
+      // increment pointer by 14
       [ Opcodes.local_get, pointer ],
       ...number(14, Valtype.i32),
       [ Opcodes.i32_add ],
@@ -4122,7 +4135,7 @@ const generateBreak = (scope, decl) => {
     while: 2, // loop > if (wanted branch) (we are here)
     dowhile: 2, // loop > block (wanted branch) > block (we are here)
     forof: 2, // loop > block (wanted branch) > block (we are here)
-    forin: 2, // loop > block (wanted branch) > block (we are here)
+    forin: 2, // loop > block (wanted branch) > if (we are here)
     if: 1, // break inside if, branch 0 to skip the rest of the if
     switch: 1
   })[type];
@@ -4145,7 +4158,7 @@ const generateContinue = (scope, decl) => {
     while: 1, // loop (wanted branch) > if (we are here)
     dowhile: 3, // loop > block > block (wanted branch) (we are here)
     forof: 3, // loop > block > block (wanted branch) (we are here)
-    forin: 3 // loop > block > block (wanted branch) (we are here)
+    forin: 3 // loop > block > if (wanted branch) (we are here)
   })[type];
 
   return [

package/compiler/decompile.js

@@ -11,17 +11,26 @@ export default (wasm, name = '', ind = 0, locals = {}, params = [], returns = []
   const invLocals = inv(locals, x => x.idx);
   const invGlobals = inv(globals, x => x.idx);
 
-  const makeSignature = (params, returns) => `(${params.map(x => invValtype[x]).join(', ')}) -> (${returns.map(x => invValtype[x]).join(', ')})`;
+  const makeSignature = (params, returns, locals) => {
+    if (locals) {
+      const localNames = inv(locals, x => x.idx);
+      return `(${params.map((x, i) => `${localNames[i]}(${i}): ${invValtype[x]}`).join(', ')}) -> (${returns.map(x => invValtype[x]).join(', ')})`;
+    }
+
+    return `(${params.map((x, i) => invValtype[x]).join(', ')}) -> (${returns.map(x => invValtype[x]).join(', ')})`;
+  }
 
-  let out = '', depth = name ? 1 : 0;
-  if (name) out += `${makeSignature(params, returns)} ;; $${name} (${ind})\n`;
+  let out = '', depth = 0;
+  if (name) out += `${name}(${ind}) ${makeSignature(params, returns, locals)}\n`;
 
   const justLocals = Object.values(locals).sort((a, b) => a.idx - b.idx).slice(params.length);
-  if (name && justLocals.length > 0) out += `  local ${justLocals.map(x => invValtype[x.type]).join(' ')}\n`;
+  for (const x of justLocals) {
+    out += `;; local ${invLocals[x.idx]}(${x.idx}): ${invValtype[x.type]}\n`
+  }
 
   let i = -1, lastInst;
   let byte = 0;
-  for (let inst of wasm.concat(name ? [ [ Opcodes.end ] ] : [])) {
+  for (let inst of wasm) {
     i++;
     if (inst[0] === null) continue;
 
@@ -102,6 +111,7 @@ export default (wasm, name = '', ind = 0, locals = {}, params = [], returns = []
       const name = invLocals[inst[1]];
       const type = invValtype[locals[name]?.type];
       if (name) out += ` ;; $${name}${type !== valtype ? ` (${type})` : ''}`;
+        else out += ` ;; unknown local`
     }
 
     if (inst[0] === Opcodes.global_get || inst[0] === Opcodes.global_set) {
@@ -130,4 +140,4 @@ export const highlightAsm = asm => asm
   .replace(/(block|loop|if|end|else|try|catch_all|catch|delegate)/g, _ => `\x1B[95m${_}\x1B[0m`)
   .replace(/unreachable/g, _ => `\x1B[91m${_}\x1B[0m`)
   .replace(/ \-?[0-9\.]+/g, _ => ` \x1B[33m${_.slice(1)}\x1B[0m`)
-  .replace(/ ;;.*$/gm, _ => `\x1B[90m${_.replaceAll(/\x1B\[[0-9]+m/g, '')}\x1B[0m`);
+  .replace(/;;.*$/gm, _ => `\x1B[90m${_.replaceAll(/\x1B\[[0-9]+m/g, '')}\x1B[0m`);

package/compiler/precompile.js

@@ -204,9 +204,10 @@ ${funcs.map(x => {
       .replace(/\["global",(.*?),"(.*?)",(.*?)\]/g, (_, opcode, name, valtype) => `...glbl(${opcode}, '${name}', ${valtype})`)
       .replace(/\"local","(.*?)",(.*?)\]/g, (_, name, valtype) => `loc('${name}', ${valtype})]`)
       .replace(/\[16,"(.*?)"]/g, (_, name) => `[16, ...builtin('${name}')]`)
-      .replace(/\["throw","(.*?)","(.*?)"\]/g, (_, constructor, message) => `...internalThrow(scope, '${constructor}', \`${message}\`)`);
+      .replace(/\["throw","(.*?)","(.*?)"\]/g, (_, constructor, message) => `...internalThrow(scope, '${constructor}', \`${message}\`)`)
+      .replace(/\["get object","(.*?)"\]/g, (_, objName) => `...generateIdent(scope, { name: '${objName}' })`);
 
-    return `(scope, {${`${str.includes('allocPage(') ? 'allocPage,' : ''}${str.includes('glbl(') ? 'glbl,' : ''}${str.includes('loc(') ? 'loc,' : ''}${str.includes('builtin(') ? 'builtin,' : ''}${str.includes('internalThrow(') ? 'internalThrow,' : ''}`.slice(0, -1)}}) => ` + str;
+    return `(scope, {${`${str.includes('allocPage(') ? 'allocPage,' : ''}${str.includes('glbl(') ? 'glbl,' : ''}${str.includes('loc(') ? 'loc,' : ''}${str.includes('builtin(') ? 'builtin,' : ''}${str.includes('internalThrow(') ? 'internalThrow,' : ''}${str.includes('generateIdent(') ? 'generateIdent,' : ''}`.slice(0, -1)}}) => ` + str;
   };
 
   const locals = Object.entries(x.locals).sort((a,b) => a[1].idx - b[1].idx)

package/compiler/wrap.js

@@ -69,7 +69,10 @@ const porfToJSValue = ({ memory, funcs, pages }, value, type) => {
 
         const vValue = read(Float64Array, memory, value + offset + 4, 1)[0];
         const vType = tail >>> 8;
-        const v = porfToJSValue({ memory, funcs, pages }, vValue, vType);
+
+        // do not recursive call forever for direct circular
+        const v = vValue === value && vType === type ? out :
+          porfToJSValue({ memory, funcs, pages }, vValue, vType);
 
         const flags = tail & 0xff;
 
@@ -277,10 +280,6 @@ export default (source, flags = [ 'module' ], customImports = {}, print = str =>
   const printDecomp = (middleIndex, func, funcs, globals, exceptions) => {
     console.log(`\x1B[35m\x1B[1mporffor backtrace\u001b[0m`);
 
-    const strParams = func.params.map(v => invValtype[v]);
-    const strReturns = func.returns.map(v => invValtype[v]);
-    console.log(`\x1B[1m${func.name}\x1B[0m \x1B[90m(${strParams.join(', ')}) -> (${strReturns.join(', ')})\x1B[0m`);
-
     const surrounding = Prefs.backtraceSurrounding ?? 5;
     let min = middleIndex - surrounding;
     let max = middleIndex + surrounding + 1;
@@ -289,7 +288,7 @@ export default (source, flags = [ 'module' ], customImports = {}, print = str =>
       max = func.wasm.length;
     }
 
-    const decomp = decompile(func.wasm.slice(min, max), '', 0, func.locals, func.params, func.returns, funcs, globals, exceptions).slice(0, -1).split('\n');
+    const decomp = decompile(func.wasm.slice(min, max), func.name, 0, func.locals, func.params, func.returns, funcs, globals, exceptions).slice(0, -1).split('\n');
 
     const noAnsi = s => s.replace(/\u001b\[[0-9]+m/g, '');
     let longest = 0;

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.25.1+b0893a7c3",
+  "version": "0.25.3+8f4d9af84",
   "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.25.1+b0893a7c3';
+globalThis.version = '0.25.3+8f4d9af84';
 
 // deno compat
 if (typeof process === 'undefined' && typeof Deno !== 'undefined') {
@@ -26,18 +26,20 @@ if (process.argv.includes('--help')) {
   console.log(`\x1B[1m\x1B[35mPorffor\x1B[0m is a JavaScript engine/runtime/compiler. \x1B[90m(${globalThis.version})\x1B[0m`);
 
   // basic usage
-  console.log(`Usage: \x1B[1mporf [command] path/to/script.js [...prefs] [...args]\x1B[0m`);
+  console.log(`Usage: \x1B[1mporf [command] [...prefs] path/to/script.js [...args]\x1B[0m`);
 
   // commands
   console.log(`\n\x1B[1mCommands:\x1B[0m`);
   for (const [ cmd, [ color, desc ] ] of Object.entries({
     run: [ 34, 'Run a JS file' ],
     wasm: [ 34, 'Compile a JS file to a Wasm binary\n' ],
+
     c: [ 31, 'Compile a JS file to C source code' ],
     native: [ 31, 'Compile a JS file to a native binary\n' ],
+
     profile: [ 33, 'Profile a JS file' ],
     debug: [ 33, 'Debug a JS file' ],
-    'debug-wasm': [ 33, 'Debug the compiled Wasm of a JS file' ]
+    'debug-wasm': [ 33, 'Debug the compiled Wasm of a JS file' ],
   })) {
     console.log(`  \x1B[1m\x1B[${color}m${cmd}\x1B[0m${' '.repeat(20 - cmd.length - (desc.startsWith('🧪') ? 3 : 0))}${desc}`);
   }
@@ -106,7 +108,33 @@ if (['precompile', 'run', 'wasm', 'native', 'c', 'profile', 'debug', 'debug-wasm
 
 globalThis.file = file;
 
-if (!file) {
+let source = '', printOutput = false;
+if (process.argv.length >= 4) {
+  let evalIndex = process.argv.indexOf('-e');
+  if (evalIndex === -1) evalIndex = process.argv.indexOf('--eval');
+  if (evalIndex !== -1) {
+    source = process.argv[evalIndex + 1];
+    if (source) {
+      if (source.startsWith('"') || source.startsWith("'")) source = source.slice(1, -1);
+      process.argv.splice(evalIndex, 2); // remove flag and value
+    }
+  }
+
+  let printIndex = process.argv.indexOf('-p');
+  if (printIndex === -1) printIndex = process.argv.indexOf('--print');
+  if (printIndex !== -1) {
+    process.argv.push('--no-opt-unused');
+    source = process.argv[printIndex + 1];
+    if (source) {
+      if (source.startsWith('"') || source.startsWith("'")) source = source.slice(1, -1);
+      process.argv.splice(printIndex, 2); // remove flag and value
+    }
+
+    printOutput = true;
+  }
+}
+
+if (!file && !source) {
   if (process.argv.includes('-v') || process.argv.includes('--version')) {
     // just print version
     console.log(globalThis.version);
@@ -118,7 +146,7 @@ if (!file) {
   await done();
 }
 
-const source = fs.readFileSync(file, 'utf8');
+source ||= fs.readFileSync(file, 'utf8');
 
 const compile = (await import('../compiler/wrap.js')).default;
 
@@ -135,19 +163,20 @@ const print = str => {
 };
 
 let runStart;
+let ret;
 try {
   if (process.argv.includes('-b')) {
     const { wasm, exports } = compile(source, process.argv.includes('--module') ? [ 'module' ] : [], {}, print);
 
     runStart = performance.now();
-    if (!process.argv.includes('--no-run')) exports.main();
+    if (!process.argv.includes('--no-run')) ret = exports.main();
 
     console.log(`\n\nwasm size: ${wasm.byteLength} bytes`);
   } else {
     const { exports } = compile(source, process.argv.includes('--module') ? [ 'module' ] : [], {}, print);
 
     runStart = performance.now();
-    if (!process.argv.includes('--no-run')) exports.main();
+    if (!process.argv.includes('--no-run')) ret = exports.main();
   }
   // if (cache) process.stdout.write(cache);
 } catch (e) {
@@ -157,4 +186,12 @@ try {
   console.error(out);
 }
 
-if (process.argv.includes('-t')) console.log(`${process.argv.includes('-b') ? '' : '\n\n'}total time: ${(performance.now() - start).toFixed(2)}ms\nexecution time: ${(performance.now() - runStart).toFixed(2)}ms`);
+if (process.argv.includes('-t')) console.log(`${process.argv.includes('-b') ? '' : '\n\n'}total time: ${(performance.now() - start).toFixed(2)}ms\nexecution time: ${(performance.now() - runStart).toFixed(2)}ms`);
+
+if (printOutput) {
+  if (process.argv.includes('-d') && ret?.type != null) {
+    ret = ret.js;
+  }
+
+  console.log(ret);
+}

package/todo.txt

@@ -1,2 +0,0 @@
-- retain previous attrs if they are undefined (configurable, other attrs?, set/get) in defineProperty
-- make missing objects