porffor 0.28.11 → 0.28.13

package/compiler/codegen.js

@@ -825,10 +825,38 @@ const truthy = (scope, wasm, type, intIn = false, intOut = false, forceTruthyMod
   ];
 };
 
-const falsy = (scope, wasm, type, intIn = false, intOut = false) => {
+const falsy = (scope, wasm, type, intIn = false, intOut = false, forceTruthyMode = undefined) => {
   const useTmp = knownType(scope, type) == null;
   const tmp = useTmp && localTmp(scope, `#logicinner_tmp${intIn ? '_int' : ''}`, intIn ? Valtype.i32 : valtypeBinary);
 
+  const def = (truthyMode => {
+    if (truthyMode === 'full') return [
+      // if value == 0 or NaN
+      ...(!useTmp ? [] : [ [ Opcodes.local_get, tmp ] ]),
+      ...(intIn ? [] : [ Opcodes.i32_to ]),
+
+      [ Opcodes.i32_eqz ],
+
+      ...(intOut ? [] : [ Opcodes.i32_from ]),
+    ];
+
+    if (truthyMode === 'no_negative') return [
+      // if value == 0 or NaN, non-binary output. negative numbers not truthy :/
+      ...(!useTmp ? [] : [ [ Opcodes.local_get, tmp ] ]),
+      ...(intIn ? [] : [ Opcodes.i32_to ]),
+      [ Opcodes.i32_eqz ],
+      ...(intOut ? [] : [ Opcodes.i32_from ])
+    ];
+
+    if (truthyMode === 'no_nan_negative') return [
+      // simpler and faster but makes NaN truthy and negative numbers not truthy,
+      // plus non-binary output
+      ...(!useTmp ? [] : [ [ Opcodes.local_get, tmp ] ]),
+      ...(intIn ? [ [ Opcodes.i32_eqz ] ] : [ ...Opcodes.eqz ]),
+      ...(intOut ? [] : [ Opcodes.i32_from_u ])
+    ];
+  })(forceTruthyMode ?? Prefs.truthy ?? 'full');
+
   return [
     ...wasm,
     ...(!useTmp ? [] : [ [ Opcodes.local_set, tmp ] ]),
@@ -856,13 +884,7 @@ const falsy = (scope, wasm, type, intIn = false, intOut = false) => {
         [ Opcodes.i32_eqz ],
         ...(intOut ? [] : [ Opcodes.i32_from_u ])
       ],
-      default: [
-        // if value == 0
-        ...(!useTmp ? [] : [ [ Opcodes.local_get, tmp ] ]),
-
-        ...(intIn ? [ [ Opcodes.i32_eqz ] ] : [ ...Opcodes.eqz ]),
-        ...(intOut ? [] : [ Opcodes.i32_from_u ])
-      ]
+      default: def
     }, intOut ? Valtype.i32 : valtypeBinary)
   ];
 };
@@ -3647,7 +3669,7 @@ const generateUnary = (scope, decl) => {
       const arg = decl.argument;
       if (arg.type === 'UnaryExpression' && arg.operator === '!') {
         // opt: !!x -> is x truthy
-        return truthy(scope, generate(scope, arg.argument), getNodeType(scope, arg.argument), false, false);
+        return truthy(scope, generate(scope, arg.argument), getNodeType(scope, arg.argument), false, false, 'full');
       }
 
       // !=
@@ -5814,16 +5836,6 @@ const internalConstrs = {
     notConstr: true
   },
 
-  Boolean: {
-    generate: (scope, decl) => {
-      // todo: boolean object when used as constructor
-      const arg = decl.arguments[0] ?? DEFAULT_VALUE();
-      return truthy(scope, generate(scope, arg), getNodeType(scope, arg), false, false, 'full');
-    },
-    type: TYPES.boolean,
-    length: 1
-  },
-
   __Math_max: {
     generate: (scope, decl) => {
       const out = [
@@ -5864,7 +5876,7 @@ const internalConstrs = {
     length: 2
   },
 
-  printStatic: {
+  __Porffor_printStatic: {
     generate: (scope, decl) => {
       const str = decl.arguments[0].value;
       return printStaticStr(str);

package/compiler/opt.js

@@ -4,7 +4,10 @@ import { read_signedLEB128, read_ieee754_binary64 } from './encoding.js';
 import { log } from './log.js';
 import Prefs from './prefs.js';
 
+const forceRemoveTypes = new Set(Prefs.forceRemoveTypes?.split?.(','));
 const hasType = (funcs, pages, type) => {
+  if (forceRemoveTypes.has(type)) return false;
+
   switch (type) {
     case 'Array':
       return pages.hasArray;

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.28.11+95f766485",
+  "version": "0.28.13+8740b6511",
   "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.28.11+95f766485';
+globalThis.version = '0.28.13+8740b6511';
 
 // deno compat
 if (typeof process === 'undefined' && typeof Deno !== 'undefined') {