feat: Add trueish conversion for v128 types (#2135)

Author: MaxGraey

src/compiler.ts

@@ -3771,6 +3771,10 @@ export class Compiler extends DiagnosticEmitter {
         }
       }
 
+    // v128 to bool
+    } else if (fromType == Type.v128 && toType.isBooleanValue) {
+      expr = this.makeIsTrueish(expr, Type.v128, reportNode);
+
     // int to int
     } else {
       // i64 to ...
@@ -10299,6 +10303,9 @@ export class Compiler extends DiagnosticEmitter {
           module.i64(0xFFFFFFFE, 0xFFDFFFFF) // (0x7FF0000000000000 - 1) << 1
         );
       }
+      case TypeKind.V128: {
+        return module.unary(UnaryOp.AnyTrueV128, expr);
+      }
       case TypeKind.FUNCREF:
       case TypeKind.EXTERNREF:
       case TypeKind.ANYREF:

src/flow.ts

@@ -939,7 +939,7 @@ export class Flow {
         let key = _keys[i];
         let leftFlags = changetype<FieldFlags>(leftFieldFlags.get(key));
         if (
-          (leftFlags & FieldFlags.INITIALIZED) != 0 && rightFieldFlags.has(key) && 
+          (leftFlags & FieldFlags.INITIALIZED) != 0 && rightFieldFlags.has(key) &&
           (changetype<FieldFlags>(rightFieldFlags.get(key)) & FieldFlags.INITIALIZED)
         ) {
           newFieldFlags.set(key, FieldFlags.INITIALIZED);
@@ -1396,6 +1396,7 @@ export class Flow {
           case <u32>TypeRef.I64: { value = getConstValueI64Low(expr); break; } // discards upper bits
           case <u32>TypeRef.F32: { value = i32(getConstValueF32(expr)); break; }
           case <u32>TypeRef.F64: { value = i32(getConstValueF64(expr)); break; }
+          case <u32>TypeRef.V128: return false;
           default: assert(false);
         }
         switch (type.kind) {

tests/compiler/features/simd.optimized.wat

@@ -1015,7 +1015,7 @@
   if
    i32.const 0
    i32.const 1184
-   i32.const 59
+   i32.const 67
    i32.const 5
    call $~lib/builtins/abort
    unreachable
@@ -1044,7 +1044,7 @@
   if
    i32.const 0
    i32.const 1184
-   i32.const 69
+   i32.const 77
    i32.const 5
    call $~lib/builtins/abort
    unreachable
@@ -1073,7 +1073,7 @@
   if
    i32.const 0
    i32.const 1184
-   i32.const 79
+   i32.const 87
    i32.const 5
    call $~lib/builtins/abort
    unreachable
@@ -1102,7 +1102,7 @@
   if
    i32.const 0
    i32.const 1184
-   i32.const 89
+   i32.const 97
    i32.const 5
    call $~lib/builtins/abort
    unreachable
@@ -1131,7 +1131,7 @@
   if
    i32.const 0
    i32.const 1184
-   i32.const 99
+   i32.const 107
    i32.const 5
    call $~lib/builtins/abort
    unreachable
@@ -1160,7 +1160,7 @@
   if
    i32.const 0
    i32.const 1184
-   i32.const 109
+   i32.const 117
    i32.const 5
    call $~lib/builtins/abort
    unreachable
@@ -1169,7 +1169,7 @@
   call $~lib/rt/tlsf/__free
   i32.const 0
   i32.const 1184
-  i32.const 255
+  i32.const 263
   i32.const 3
   call $~lib/builtins/abort
   unreachable

tests/compiler/features/simd.ts

@@ -1,6 +1,14 @@
 // hint: asc tests/compiler/simd --enable simd
 
 function test_v128(): void {
+  // check trueish
+  // @ts-ignore
+  assert(<bool>v128(1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) == true);
+  // @ts-ignore
+  assert(<bool>v128(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1) == true);
+  // @ts-ignore
+  assert(<bool>v128(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) == false);
+
   // equality and inequality
   assert(
     v128(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16)