porffor 0.14.0-a24ac8cf2 → 0.14.0-f67c123a1

package/compiler/assemble.js

@@ -65,7 +65,6 @@ export default (funcs, globals, tags, pages, data, flags) => {
     importFuncs = [...imports.values()];
 
     // fix call indexes for non-imports
-    // also fix call_indirect types
     const delta = importedFuncs.length - importFuncs.length;
     for (const f of funcs) {
       f.originalIndex = f.index;
@@ -75,16 +74,6 @@ export default (funcs, globals, tags, pages, data, flags) => {
         if ((inst[0] === Opcodes.call || inst[0] === Opcodes.return_call) && inst[1] >= importedFuncs.length) {
           inst[1] -= delta;
         }
-
-        if (inst[0] === Opcodes.call_indirect) {
-          const params = [];
-          for (let i = 0; i < inst[1]; i++) {
-            params.push(valtypeBinary, Valtype.i32);
-          }
-
-          const returns = [ valtypeBinary, Valtype.i32 ];
-          inst[1] = getType(params, returns);
-        }
       }
     }
   }
@@ -112,7 +101,7 @@ export default (funcs, globals, tags, pages, data, flags) => {
     encodeVector([ [
       0x00,
       Opcodes.i32_const, 0, Opcodes.end,
-      ...encodeVector(funcs.map(x => x.index))
+      encodeVector(funcs.map(x => x.index))
     ] ])
   );
 

package/compiler/codegen.js

@@ -351,7 +351,9 @@ const generateReturn = (scope, decl) => {
 
   return [
     ...generate(scope, decl.argument),
-    ...(scope.returnType != null ? [] : getNodeType(scope, decl.argument)),
+    ...(scope.returnType != null ? [] : [
+      ...getNodeType(scope, decl.argument)
+    ]),
     [ Opcodes.return ]
   ];
 };
@@ -1449,10 +1451,6 @@ const countLeftover = wasm => {
             } else count--;
             if (func) count += func.returns.length;
           }
-        } else if (inst[0] === Opcodes.call_indirect) {
-          count--; // funcidx
-          count -= inst[1] * 2; // params * 2 (typed)
-          count += 2; // fixed return (value, type)
         } else count--;
 
     // console.log(count, decompile([ inst ]).slice(0, -1));
@@ -1835,44 +1833,22 @@ const generateCall = (scope, decl, _global, _name, unusedValue = false) => {
 
   if (idx === undefined) {
     if (scope.locals[name] !== undefined || globals[name] !== undefined || builtinVars[name] !== undefined) {
+      if (!Prefs.indirectCalls) return internalThrow(scope, 'TypeError', `${unhackName(name)} is not a function`, true);
+
       const [ local, global ] = lookupName(scope, name);
-      if (!Prefs.indirectCalls || local == null) return internalThrow(scope, 'TypeError', `${unhackName(name)} is not a function`, true);
+      funcs.table = true;
 
       // todo: only works when:
       //   1. arg count matches arg count of function
       //   2. function uses typedParams and typedReturns
-
-      funcs.table = true;
-
-      let args = decl.arguments;
-      let argWasm = [];
-
-      for (let i = 0; i < args.length; i++) {
-        const arg = args[i];
-        argWasm = argWasm.concat(generate(scope, arg));
-
-        if (valtypeBinary !== Valtype.i32 && (
-          (builtinFuncs[name] && builtinFuncs[name].params[i * (typedParams ? 2 : 1)] === Valtype.i32) ||
-          (importedFuncs[name] && name.startsWith('profile'))
-        )) {
-          argWasm.push(Opcodes.i32_to);
-        }
-
-        argWasm = argWasm.concat(getNodeType(scope, arg));
-      }
-
-      return typeSwitch(scope, getNodeType(scope, decl.callee), {
+      return typeSwitch(scope, getNodeType(decl.callee), {
         [TYPES.function]: [
-          ...argWasm,
           [ global ? Opcodes.global_get : Opcodes.local_get, local.idx ],
-          Opcodes.i32_to_u,
-          [ Opcodes.call_indirect, args.length, 0 ],
-          ...setLastType(scope)
+          [ Opcodes.call_indirect ]
         ],
         default: internalThrow(scope, 'TypeError', `${unhackName(name)} is not a function`, true)
       });
     }
-
     return internalThrow(scope, 'ReferenceError', `${unhackName(name)} is not defined`, true);
   }
 
@@ -3652,10 +3628,8 @@ const internalConstrs = {
           }),
 
           // print space
-          ...(i !== decl.arguments.length - 1 ? [
-            ...number(32),
-            [ Opcodes.call, importedFuncs.printChar ]
-          ] : [])
+          ...number(32),
+          [ Opcodes.call, importedFuncs.printChar ]
         );
       }
 
@@ -3665,8 +3639,6 @@ const internalConstrs = {
         [ Opcodes.call, importedFuncs.printChar ]
       );
 
-      out.push(...number(UNDEFINED));
-
       return out;
     },
     type: TYPES.undefined,

package/compiler/index.js

@@ -12,7 +12,14 @@ globalThis.decompile = decompile;
 const logFuncs = (funcs, globals, exceptions) => {
   console.log('\n' + underline(bold('funcs')));
 
+  const startIndex = funcs.sort((a, b) => a.index - b.index)[0].index;
   for (const f of funcs) {
+    console.log(`${underline(f.name)} (${f.index - startIndex})`);
+
+    console.log(`params: ${f.params.map((_, i) => Object.keys(f.locals)[Object.values(f.locals).indexOf(Object.values(f.locals).find(x => x.idx === i))]).join(', ')}`);
+    console.log(`returns: ${f.returns.length > 0 ? true : false}`);
+    console.log(`locals: ${Object.keys(f.locals).sort((a, b) => f.locals[a].idx - f.locals[b].idx).map(x => `${x} (${f.locals[x].idx})`).join(', ')}`);
+    console.log();
     console.log(decompile(f.wasm, f.name, f.index, f.locals, f.params, f.returns, funcs, globals, exceptions));
   }
 
@@ -37,14 +44,12 @@ export default (code, flags) => {
   opt(funcs, globals, pages, tags, exceptions);
   if (Prefs.profileCompiler) console.log(`3. optimized in ${(performance.now() - t2).toFixed(2)}ms`);
 
-  // if (Prefs.optFuncs) logFuncs(funcs, globals, exceptions);
+  if (Prefs.optFuncs) logFuncs(funcs, globals, exceptions);
 
   const t3 = performance.now();
   const wasm = assemble(funcs, globals, tags, pages, data, flags);
   if (Prefs.profileCompiler) console.log(`4. assembled in ${(performance.now() - t3).toFixed(2)}ms`);
 
-  if (Prefs.optFuncs) logFuncs(funcs, globals, exceptions);
-
   if (Prefs.allocLog) {
     const wasmPages = Math.ceil((pages.size * pageSize) / 65536);
     const bytes = wasmPages * 65536;

package/compiler/precompile.js

@@ -18,7 +18,7 @@ const compile = async (file, [ _funcs, _globals ]) => {
     first = source.slice(0, source.indexOf('\n'));
   }
 
-  let args = ['--bytestring', '--todo-time=compile', '--no-aot-pointer-opt', '--no-indirect-calls', '--no-treeshake-wasm-imports', '--no-rm-unused-types', '--scoped-page-names', '--funsafe-no-unlikely-proto-checks', '--parse-types', '--opt-types'];
+  let args = ['--bytestring', '--todo-time=compile', '--no-aot-pointer-opt', '--no-treeshake-wasm-imports', '--no-rm-unused-types', '--scoped-page-names', '--funsafe-no-unlikely-proto-checks', '--parse-types', '--opt-types'];
   if (first.startsWith('// @porf')) {
     args = args.concat(first.slice('// @porf '.length).split(' '));
   }

package/compiler/prefs.js

@@ -1,4 +1,4 @@
-const onByDefault = [ 'bytestring', 'aotPointerOpt', 'treeshakeWasmImports', 'alwaysMemory', 'indirectCalls' ];
+const onByDefault = [ 'bytestring', 'aotPointerOpt', 'treeshakeWasmImports', 'alwaysMemory' ];
 
 let cache = {};
 const obj = new Proxy({}, {

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.14.0-a24ac8cf2",
+  "version": "0.14.0-f67c123a1",
   "author": "CanadaHonk",
   "license": "MIT",
   "scripts": {