2 files changed, 25 insertions, 43 deletions
diff --git a/test/example/relooper-fuzz.txt b/test/example/relooper-fuzz.txt
index 151360306..b46932009 100644
--- a/test/example/relooper-fuzz.txt
+++ b/test/example/relooper-fuzz.txt
@@ -449,15 +449,9 @@
       (i32.const 0)
     )
     (if
-      (i32.eq
-        (i32.rem_u
-          (call $check)
-          (i32.const 2)
-        )
-        (i32.const 0)
-      )
-      (set_local $0
-        (i32.const 6)
+      (i32.rem_u
+        (call $check)
+        (i32.const 2)
       )
       (block
         (call_import $print
@@ -467,6 +461,9 @@
           (call $check)
         )
       )
+      (set_local $0
+        (i32.const 6)
+      )
     )
     (loop $shape$3$continue
       (if
@@ -482,20 +479,17 @@
             (i32.const 5)
           )
           (if
-            (i32.eq
-              (i32.rem_u
-                (call $check)
-                (i32.const 2)
-              )
-              (i32.const 0)
+            (i32.rem_u
+              (call $check)
+              (i32.const 2)
             )
-            (br $shape$3$continue)
             (block
               (set_local $0
                 (i32.const 6)
               )
               (br $shape$3$continue)
             )
+            (br $shape$3$continue)
           )
         )
       )
@@ -503,16 +497,12 @@
         (i32.const 4)
       )
       (if
-        (i32.eq
-          (i32.rem_u
-            (tee_local $1
-              (call $check)
-            )
-            (i32.const 3)
+        (i32.rem_u
+          (tee_local $1
+            (call $check)
           )
-          (i32.const 0)
+          (i32.const 3)
         )
-        (br $shape$3$continue)
         (if
           (i32.eq
             (i32.rem_u
@@ -528,6 +518,7 @@
             (br $shape$3$continue)
           )
         )
+        (br $shape$3$continue)
       )
       (call_import $print
         (i32.const 2)
diff --git a/test/example/relooper-fuzz1.txt b/test/example/relooper-fuzz1.txt
index be8130228..b4ad8b5a1 100644
--- a/test/example/relooper-fuzz1.txt
+++ b/test/example/relooper-fuzz1.txt
@@ -438,14 +438,11 @@
           (i32.const 0)
         )
         (if
-          (i32.ne
-            (i32.rem_u
-              (tee_local $0
-                (call $check)
-              )
-              (i32.const 4)
+          (i32.rem_u
+            (tee_local $0
+              (call $check)
             )
-            (i32.const 0)
+            (i32.const 4)
           )
           (if
             (i32.eq
@@ -460,12 +457,9 @@
                 (i32.const 7)
               )
               (br_if $block$10$break
-                (i32.ne
-                  (i32.rem_u
-                    (call $check)
-                    (i32.const 3)
-                  )
-                  (i32.const 0)
+                (i32.rem_u
+                  (call $check)
+                  (i32.const 3)
                 )
               )
             )
@@ -476,12 +470,9 @@
           (i32.const 2)
         )
         (br_if $block$10$break
-          (i32.ne
-            (i32.rem_u
-              (call $check)
-              (i32.const 2)
-            )
-            (i32.const 0)
+          (i32.rem_u
+            (call $check)
+            (i32.const 2)
           )
         )
       )