OptimizeInstructions: Optimize (unsigned)x <= -1 ==> i32(1) even with side effects (#7436)

Fixes #7434

Author: xuruiyang2002

src/passes/OptimizeInstructions.cpp

@@ -4025,10 +4025,10 @@ struct OptimizeInstructions
       return right;
     }
     // (unsigned)x <= -1  ==>   i32(1)
-    if (matches(curr, binary(LeU, pure(&left), ival(-1)))) {
+    if (matches(curr, binary(LeU, any(&left), ival(-1)))) {
       right->value = Literal::makeOne(Type::i32);
       right->type = Type::i32;
-      return right;
+      return getDroppedChildrenAndAppend(curr, right);
     }
     // (unsigned)x > -1   ==>   i32(0)
     if (matches(curr, binary(GtU, pure(&left), ival(-1)))) {

test/lit/passes/optimize-instructions-mvp.wast

@@ -11132,9 +11132,29 @@
   ;; CHECK-NEXT:   (i32.const 1)
   ;; CHECK-NEXT:  )
   ;; CHECK-NEXT:  (drop
+  ;; CHECK-NEXT:   (block (result i32)
+  ;; CHECK-NEXT:    (drop
+  ;; CHECK-NEXT:     (i32.load
+  ;; CHECK-NEXT:      (i32.const 0)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:    (i32.const 1)
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (drop
   ;; CHECK-NEXT:   (i32.const 1)
   ;; CHECK-NEXT:  )
   ;; CHECK-NEXT:  (drop
+  ;; CHECK-NEXT:   (block (result i32)
+  ;; CHECK-NEXT:    (drop
+  ;; CHECK-NEXT:     (i64.load
+  ;; CHECK-NEXT:      (i32.const 0)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:    (i32.const 1)
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (drop
   ;; CHECK-NEXT:   (i32.lt_s
   ;; CHECK-NEXT:    (local.get $x)
   ;; CHECK-NEXT:    (i32.const 0)
@@ -11246,10 +11266,22 @@
       (local.get $x)
       (i32.const -1)
     ))
+    (drop (i32.le_u
+      (i32.load 
+        (i32.const 0)
+      )
+      (i32.const -1)
+    ))
     (drop (i64.le_u
       (local.get $y)
       (i64.const -1)
     ))
+    (drop (i64.le_u
+      (i64.load 
+        (i32.const 0)
+      )
+      (i64.const -1)
+    ))
     (drop (i32.le_s
       (local.get $x)
       (i32.const -1)