1 files changed, 83 insertions, 65 deletions
diff --git a/test/passes/ssa_fuzz-exec_enable-threads.txt b/test/passes/ssa_fuzz-exec_enable-threads.txt
index f9d49d5bb..04d6ef59a 100644
--- a/test/passes/ssa_fuzz-exec_enable-threads.txt
+++ b/test/passes/ssa_fuzz-exec_enable-threads.txt
@@ -21,102 +21,120 @@
   (block $label$1 (result i32)
    (if (result i32)
     (i32.const 0)
-    (unreachable)
-    (block $label$4 (result i32)
-     (loop $label$5
-      (block $label$6
-       (block $label$7
-        (local.set $8
-         (if (result i32)
-          (local.get $10)
-          (select
-           (loop $label$9 (result i32)
-            (if (result i32)
-             (local.tee $4
-              (i32.const 16384)
+    (then
+     (unreachable)
+    )
+    (else
+     (block $label$4 (result i32)
+      (loop $label$5
+       (block $label$6
+        (block $label$7
+         (local.set $8
+          (if (result i32)
+           (local.get $10)
+           (then
+            (select
+             (loop $label$9 (result i32)
+              (if (result i32)
+               (local.tee $4
+                (i32.const 16384)
+               )
+               (then
+                (i32.const 1)
+               )
+               (else
+                (i32.const 0)
+               )
+              )
              )
-             (i32.const 1)
-             (i32.const 0)
-            )
-           )
-           (br_if $label$4
-            (i32.const 0)
-            (local.tee $var$1
-             (local.tee $5
-              (block $label$12 (result i32)
-               (br_if $label$5
-                (br $label$6)
+             (br_if $label$4
+              (i32.const 0)
+              (local.tee $var$1
+               (local.tee $5
+                (block $label$12 (result i32)
+                 (br_if $label$5
+                  (br $label$6)
+                 )
+                 (unreachable)
+                )
                )
-               (unreachable)
               )
              )
+             (i32.const 1)
             )
            )
-           (i32.const 1)
-          )
-          (block (result i32)
-           (loop $label$15
-            (if
-             (i32.const 0)
-             (return
-              (local.get $11)
+           (else
+            (loop $label$15
+             (if
+              (i32.const 0)
+              (then
+               (return
+                (local.get $11)
+               )
+              )
              )
-            )
-            (if
-             (local.tee $var$1
-              (local.tee $6
-               (local.tee $11
+             (if
+              (local.tee $var$1
+               (local.tee $6
+                (local.tee $11
+                 (i32.const 0)
+                )
+               )
+              )
+              (then
+               (br_if $label$15
                 (i32.const 0)
                )
               )
              )
              (br_if $label$15
-              (i32.const 0)
-             )
-            )
-            (br_if $label$15
-             (i32.eqz
-              (local.tee $7
-               (local.tee $11
-                (local.tee $10
-                 (i32.const 129)
+              (i32.eqz
+               (local.tee $7
+                (local.tee $11
+                 (local.tee $10
+                  (i32.const 129)
+                 )
                 )
                )
               )
              )
             )
+            (i32.const -5742806)
            )
-           (i32.const -5742806)
           )
          )
         )
-       )
-       (br_if $label$6
-        (if (result i32)
-         (local.get $var$1)
-         (unreachable)
-         (block $label$25 (result i32)
-          (local.set $9
-           (block $label$26 (result f64)
-            (drop
-             (br_if $label$4
-              (br_if $label$25
-               (br $label$5)
-               (i32.const 0)
+        (br_if $label$6
+         (if (result i32)
+          (local.get $var$1)
+          (then
+           (unreachable)
+          )
+          (else
+           (block $label$25 (result i32)
+            (local.set $9
+             (block $label$26 (result f64)
+              (drop
+               (br_if $label$4
+                (br_if $label$25
+                 (br $label$5)
+                 (i32.const 0)
+                )
+                (i32.const 0)
+               )
               )
-              (i32.const 0)
+              (f64.const 1)
              )
             )
-            (f64.const 1)
+            (i32.const 0)
            )
           )
-          (i32.const 0)
          )
         )
        )
       )
+      (local.get $4)
      )
-     (local.get $4)
     )
    )
   )