Shortcut f32/f64/i64 conversions to bool

Author: dcodeIO

src/compiler.ts

@@ -2560,7 +2560,10 @@ export class Compiler extends DiagnosticEmitter {
 
         // f32 to int
         if (fromType.kind == TypeKind.F32) {
-          if (toType.is(TypeFlags.SIGNED)) {
+          if (toType == Type.bool) {
+            expr = module.createBinary(BinaryOp.NeF32, expr, module.createF32(0));
+            wrapMode = WrapMode.NONE;
+          } else if (toType.is(TypeFlags.SIGNED)) {
             if (toType.is(TypeFlags.LONG)) {
               expr = module.createUnary(UnaryOp.TruncF32ToI64, expr);
             } else {
@@ -2576,7 +2579,10 @@ export class Compiler extends DiagnosticEmitter {
 
         // f64 to int
         } else {
-          if (toType.is(TypeFlags.SIGNED)) {
+          if (toType == Type.bool) {
+            expr = module.createBinary(BinaryOp.NeF64, expr, module.createF64(0));
+            wrapMode = WrapMode.NONE;
+          } else if (toType.is(TypeFlags.SIGNED)) {
             if (toType.is(TypeFlags.LONG)) {
               expr = module.createUnary(UnaryOp.TruncF64ToI64, expr);
             } else {
@@ -2643,7 +2649,10 @@ export class Compiler extends DiagnosticEmitter {
       if (fromType.is(TypeFlags.LONG)) {
 
         // i64 to i32 or smaller
-        if (!toType.is(TypeFlags.LONG)) {
+        if (toType == Type.bool) {
+          expr = module.createBinary(BinaryOp.NeI64, expr, module.createI64(0));
+          wrapMode = WrapMode.NONE;
+        } else if (!toType.is(TypeFlags.LONG)) {
           expr = module.createUnary(UnaryOp.WrapI64, expr); // discards upper bits
         }
 

tests/compiler/bool.optimized.wat

@@ -31,9 +31,8 @@
    unreachable
   end
   get_global $bool/I
-  i32.wrap/i64
-  i32.const 0
-  i32.ne
+  i64.const 0
+  i64.ne
   i32.const 1
   i32.ne
   if
@@ -58,9 +57,8 @@
    unreachable
   end
   get_global $bool/U
-  i32.wrap/i64
-  i32.const 0
-  i32.ne
+  i64.const 0
+  i64.ne
   i32.const 1
   i32.ne
   if
@@ -72,9 +70,8 @@
    unreachable
   end
   get_global $bool/f
-  i32.trunc_u/f32
-  i32.const 0
-  i32.ne
+  f32.const 0
+  f32.ne
   i32.const 1
   i32.ne
   if
@@ -86,9 +83,8 @@
    unreachable
   end
   get_global $bool/F
-  i32.trunc_u/f64
-  i32.const 0
-  i32.ne
+  f64.const 0
+  f64.ne
   i32.const 1
   i32.ne
   if

tests/compiler/bool.untouched.wat

@@ -33,9 +33,8 @@
    unreachable
   end
   get_global $bool/I
-  i32.wrap/i64
-  i32.const 0
-  i32.ne
+  i64.const 0
+  i64.ne
   i32.const 1
   i32.eq
   i32.eqz
@@ -62,9 +61,8 @@
    unreachable
   end
   get_global $bool/U
-  i32.wrap/i64
-  i32.const 0
-  i32.ne
+  i64.const 0
+  i64.ne
   i32.const 1
   i32.eq
   i32.eqz
@@ -77,9 +75,8 @@
    unreachable
   end
   get_global $bool/f
-  i32.trunc_u/f32
-  i32.const 0
-  i32.ne
+  f32.const 0
+  f32.ne
   i32.const 1
   i32.eq
   i32.eqz
@@ -92,9 +89,8 @@
    unreachable
   end
   get_global $bool/F
-  i32.trunc_u/f64
-  i32.const 0
-  i32.ne
+  f64.const 0
+  f64.ne
   i32.const 1
   i32.eq
   i32.eqz