Introduce a script for updating lit tests (#3503)

And demonstrate its capabilities by porting all tests of the
optimize-instructions pass to use lit and FileCheck.

1 files changed, 760 insertions, 0 deletions

diff --git a/test/lit/passes/optimize-instructions-ignore-traps.wast b/test/lit/passes/optimize-instructions-ignore-traps.wast
new file mode 100644
index 000000000..5c4784919
--- /dev/null
+++ b/test/lit/passes/optimize-instructions-ignore-traps.wast
@@ -0,0 +1,760 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
+;; RUN: wasm-opt %s --all-features --optimize-level=2 --ignore-implicit-traps -S -o - \
+;; RUN:   | filecheck %s
+
+(module
+  (type $0 (func (param i32 i32) (result i32)))
+  (memory $0 0)
+  ;; CHECK:      (func $conditionals (param $0 i32) (param $1 i32) (result i32)
+  ;; CHECK-NEXT:  (local $2 i32)
+  ;; CHECK-NEXT:  (local $3 i32)
+  ;; CHECK-NEXT:  (local $4 i32)
+  ;; CHECK-NEXT:  (local $5 i32)
+  ;; CHECK-NEXT:  (local $6 i32)
+  ;; CHECK-NEXT:  (local $7 i32)
+  ;; CHECK-NEXT:  (local.set $0
+  ;; CHECK-NEXT:   (i32.const 0)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (loop $while-in
+  ;; CHECK-NEXT:   (local.set $3
+  ;; CHECK-NEXT:    (i32.const 0)
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:   (loop $while-in6
+  ;; CHECK-NEXT:    (local.set $6
+  ;; CHECK-NEXT:     (i32.add
+  ;; CHECK-NEXT:      (local.get $0)
+  ;; CHECK-NEXT:      (i32.const 1)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:    (local.set $0
+  ;; CHECK-NEXT:     (if (result i32)
+  ;; CHECK-NEXT:      (i32.or
+  ;; CHECK-NEXT:       (i32.eqz
+  ;; CHECK-NEXT:        (i32.rem_s
+  ;; CHECK-NEXT:         (i32.add
+  ;; CHECK-NEXT:          (i32.mul
+  ;; CHECK-NEXT:           (local.tee $7
+  ;; CHECK-NEXT:            (i32.add
+  ;; CHECK-NEXT:             (local.get $0)
+  ;; CHECK-NEXT:             (i32.const 2)
+  ;; CHECK-NEXT:            )
+  ;; CHECK-NEXT:           )
+  ;; CHECK-NEXT:           (local.get $0)
+  ;; CHECK-NEXT:          )
+  ;; CHECK-NEXT:          (i32.const 17)
+  ;; CHECK-NEXT:         )
+  ;; CHECK-NEXT:         (i32.const 5)
+  ;; CHECK-NEXT:        )
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:       (i32.eqz
+  ;; CHECK-NEXT:        (i32.rem_u
+  ;; CHECK-NEXT:         (i32.add
+  ;; CHECK-NEXT:          (i32.mul
+  ;; CHECK-NEXT:           (local.get $0)
+  ;; CHECK-NEXT:           (local.get $0)
+  ;; CHECK-NEXT:          )
+  ;; CHECK-NEXT:          (i32.const 11)
+  ;; CHECK-NEXT:         )
+  ;; CHECK-NEXT:         (i32.const 3)
+  ;; CHECK-NEXT:        )
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (local.get $7)
+  ;; CHECK-NEXT:      (local.get $6)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:    (br_if $while-in6
+  ;; CHECK-NEXT:     (i32.lt_s
+  ;; CHECK-NEXT:      (local.tee $3
+  ;; CHECK-NEXT:       (i32.add
+  ;; CHECK-NEXT:        (local.get $3)
+  ;; CHECK-NEXT:        (i32.const 1)
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (local.get $4)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:   (br_if $while-in
+  ;; CHECK-NEXT:    (i32.ne
+  ;; CHECK-NEXT:     (local.tee $1
+  ;; CHECK-NEXT:      (i32.add
+  ;; CHECK-NEXT:       (local.get $1)
+  ;; CHECK-NEXT:       (i32.const 1)
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:     (i32.const 27000)
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (return
+  ;; CHECK-NEXT:   (local.get $5)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT: )
+  (func $conditionals (type $0) (param $0 i32) (param $1 i32) (result i32)
+    (local $2 i32)
+    (local $3 i32)
+    (local $4 i32)
+    (local $5 i32)
+    (local $6 i32)
+    (local $7 i32)
+    (local.set $0
+      (i32.const 0)
+    )
+    (loop $while-in
+      (local.set $3
+        (i32.const 0)
+      )
+      (loop $while-in6
+        (local.set $6
+          (i32.add
+            (local.get $0)
+            (i32.const 1)
+          )
+        )
+        (local.set $0
+          (if (result i32)
+            (i32.or ;; this or is very expensive. we should compute one side, then see if we even need the other
+              (i32.eqz
+                (i32.rem_s
+                  (i32.add
+                    (i32.mul
+                      (local.tee $7 ;; side effect, so we can't do this one
+                        (i32.add
+                          (local.get $0)
+                          (i32.const 2)
+                        )
+                      )
+                      (local.get $0)
+                    )
+                    (i32.const 17)
+                  )
+                  (i32.const 5)
+                )
+              )
+              (i32.eqz
+                (i32.rem_u
+                  (i32.add
+                    (i32.mul
+                      (local.get $0)
+                      (local.get $0)
+                    )
+                    (i32.const 11)
+                  )
+                  (i32.const 3)
+                )
+              )
+            )
+            (local.get $7)
+            (local.get $6)
+          )
+        )
+        (br_if $while-in6
+          (i32.lt_s
+            (local.tee $3
+              (i32.add
+                (local.get $3)
+                (i32.const 1)
+              )
+            )
+            (local.get $4)
+          )
+        )
+      )
+      (br_if $while-in
+        (i32.ne
+          (local.tee $1
+            (i32.add
+              (local.get $1)
+              (i32.const 1)
+            )
+          )
+          (i32.const 27000)
+        )
+      )
+    )
+    (return
+      (local.get $5)
+    )
+  )
+  ;; CHECK:      (func $side-effect (param $0 i32) (param $1 i32) (result i32)
+  ;; CHECK-NEXT:  (local $2 i32)
+  ;; CHECK-NEXT:  (local $3 i32)
+  ;; CHECK-NEXT:  (local $4 i32)
+  ;; CHECK-NEXT:  (local $5 i32)
+  ;; CHECK-NEXT:  (local $6 i32)
+  ;; CHECK-NEXT:  (local $7 i32)
+  ;; CHECK-NEXT:  (local.set $0
+  ;; CHECK-NEXT:   (i32.const 0)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (loop $while-in
+  ;; CHECK-NEXT:   (local.set $3
+  ;; CHECK-NEXT:    (i32.const 0)
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:   (loop $while-in6
+  ;; CHECK-NEXT:    (local.set $6
+  ;; CHECK-NEXT:     (i32.add
+  ;; CHECK-NEXT:      (local.get $0)
+  ;; CHECK-NEXT:      (i32.const 1)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:    (local.set $0
+  ;; CHECK-NEXT:     (if (result i32)
+  ;; CHECK-NEXT:      (i32.or
+  ;; CHECK-NEXT:       (i32.eqz
+  ;; CHECK-NEXT:        (i32.rem_s
+  ;; CHECK-NEXT:         (i32.add
+  ;; CHECK-NEXT:          (i32.mul
+  ;; CHECK-NEXT:           (local.tee $7
+  ;; CHECK-NEXT:            (i32.add
+  ;; CHECK-NEXT:             (local.get $0)
+  ;; CHECK-NEXT:             (i32.const 0)
+  ;; CHECK-NEXT:            )
+  ;; CHECK-NEXT:           )
+  ;; CHECK-NEXT:           (local.get $0)
+  ;; CHECK-NEXT:          )
+  ;; CHECK-NEXT:          (i32.const 17)
+  ;; CHECK-NEXT:         )
+  ;; CHECK-NEXT:         (i32.const 5)
+  ;; CHECK-NEXT:        )
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:       (i32.eqz
+  ;; CHECK-NEXT:        (i32.rem_u
+  ;; CHECK-NEXT:         (i32.add
+  ;; CHECK-NEXT:          (i32.mul
+  ;; CHECK-NEXT:           (local.get $0)
+  ;; CHECK-NEXT:           (local.get $0)
+  ;; CHECK-NEXT:          )
+  ;; CHECK-NEXT:          (unreachable)
+  ;; CHECK-NEXT:         )
+  ;; CHECK-NEXT:         (i32.const 3)
+  ;; CHECK-NEXT:        )
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (local.get $7)
+  ;; CHECK-NEXT:      (local.get $6)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:    (br_if $while-in6
+  ;; CHECK-NEXT:     (i32.lt_s
+  ;; CHECK-NEXT:      (local.tee $3
+  ;; CHECK-NEXT:       (i32.add
+  ;; CHECK-NEXT:        (local.get $3)
+  ;; CHECK-NEXT:        (i32.const 1)
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (local.get $4)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:   (br_if $while-in
+  ;; CHECK-NEXT:    (i32.ne
+  ;; CHECK-NEXT:     (local.tee $1
+  ;; CHECK-NEXT:      (i32.add
+  ;; CHECK-NEXT:       (local.get $1)
+  ;; CHECK-NEXT:       (i32.const 1)
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:     (i32.const 27000)
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (return
+  ;; CHECK-NEXT:   (local.get $5)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT: )
+  (func $side-effect (type $0) (param $0 i32) (param $1 i32) (result i32)
+    (local $2 i32)
+    (local $3 i32)
+    (local $4 i32)
+    (local $5 i32)
+    (local $6 i32)
+    (local $7 i32)
+    (local.set $0
+      (i32.const 0)
+    )
+    (loop $while-in
+      (local.set $3
+        (i32.const 0)
+      )
+      (loop $while-in6
+        (local.set $6
+          (i32.add
+            (local.get $0)
+            (i32.const 1)
+          )
+        )
+        (local.set $0
+          (if (result i32)
+            (i32.or ;; this or is very expensive, but has a side effect on both sides
+              (i32.eqz
+                (i32.rem_s
+                  (i32.add
+                    (i32.mul
+                      (local.tee $7
+                        (i32.add
+                          (local.get $0)
+                          (i32.const 0)
+                        )
+                      )
+                      (local.get $0)
+                    )
+                    (i32.const 17)
+                  )
+                  (i32.const 5)
+                )
+              )
+              (i32.eqz
+                (i32.rem_u
+                  (i32.add
+                    (i32.mul
+                      (local.get $0)
+                      (local.get $0)
+                    )
+                    (unreachable)
+                  )
+                  (i32.const 3)
+                )
+              )
+            )
+            (local.get $7)
+            (local.get $6)
+          )
+        )
+        (br_if $while-in6
+          (i32.lt_s
+            (local.tee $3
+              (i32.add
+                (local.get $3)
+                (i32.const 1)
+              )
+            )
+            (local.get $4)
+          )
+        )
+      )
+      (br_if $while-in
+        (i32.ne
+          (local.tee $1
+            (i32.add
+              (local.get $1)
+              (i32.const 1)
+            )
+          )
+          (i32.const 27000)
+        )
+      )
+    )
+    (return
+      (local.get $5)
+    )
+  )
+  ;; CHECK:      (func $flip (param $0 i32) (param $1 i32) (result i32)
+  ;; CHECK-NEXT:  (local $2 i32)
+  ;; CHECK-NEXT:  (local $3 i32)
+  ;; CHECK-NEXT:  (local $4 i32)
+  ;; CHECK-NEXT:  (local $5 i32)
+  ;; CHECK-NEXT:  (local $6 i32)
+  ;; CHECK-NEXT:  (local $7 i32)
+  ;; CHECK-NEXT:  (local.set $0
+  ;; CHECK-NEXT:   (i32.const 0)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (loop $while-in
+  ;; CHECK-NEXT:   (local.set $3
+  ;; CHECK-NEXT:    (i32.const 0)
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:   (loop $while-in6
+  ;; CHECK-NEXT:    (local.set $6
+  ;; CHECK-NEXT:     (i32.add
+  ;; CHECK-NEXT:      (local.get $0)
+  ;; CHECK-NEXT:      (i32.const 1)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:    (local.set $0
+  ;; CHECK-NEXT:     (if (result i32)
+  ;; CHECK-NEXT:      (i32.or
+  ;; CHECK-NEXT:       (i32.eqz
+  ;; CHECK-NEXT:        (i32.rem_s
+  ;; CHECK-NEXT:         (i32.add
+  ;; CHECK-NEXT:          (i32.mul
+  ;; CHECK-NEXT:           (i32.eqz
+  ;; CHECK-NEXT:            (i32.add
+  ;; CHECK-NEXT:             (local.get $0)
+  ;; CHECK-NEXT:             (i32.const 0)
+  ;; CHECK-NEXT:            )
+  ;; CHECK-NEXT:           )
+  ;; CHECK-NEXT:           (local.get $0)
+  ;; CHECK-NEXT:          )
+  ;; CHECK-NEXT:          (i32.const 17)
+  ;; CHECK-NEXT:         )
+  ;; CHECK-NEXT:         (i32.const 5)
+  ;; CHECK-NEXT:        )
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:       (i32.eqz
+  ;; CHECK-NEXT:        (i32.rem_u
+  ;; CHECK-NEXT:         (i32.add
+  ;; CHECK-NEXT:          (i32.mul
+  ;; CHECK-NEXT:           (local.get $0)
+  ;; CHECK-NEXT:           (local.get $0)
+  ;; CHECK-NEXT:          )
+  ;; CHECK-NEXT:          (i32.const 100)
+  ;; CHECK-NEXT:         )
+  ;; CHECK-NEXT:         (i32.const 3)
+  ;; CHECK-NEXT:        )
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (local.get $7)
+  ;; CHECK-NEXT:      (local.get $6)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:    (br_if $while-in6
+  ;; CHECK-NEXT:     (i32.lt_s
+  ;; CHECK-NEXT:      (local.tee $3
+  ;; CHECK-NEXT:       (i32.add
+  ;; CHECK-NEXT:        (local.get $3)
+  ;; CHECK-NEXT:        (i32.const 1)
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (local.get $4)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:   (br_if $while-in
+  ;; CHECK-NEXT:    (i32.ne
+  ;; CHECK-NEXT:     (local.tee $1
+  ;; CHECK-NEXT:      (i32.add
+  ;; CHECK-NEXT:       (local.get $1)
+  ;; CHECK-NEXT:       (i32.const 1)
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:     (i32.const 27000)
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (return
+  ;; CHECK-NEXT:   (local.get $5)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT: )
+  (func $flip (type $0) (param $0 i32) (param $1 i32) (result i32)
+    (local $2 i32)
+    (local $3 i32)
+    (local $4 i32)
+    (local $5 i32)
+    (local $6 i32)
+    (local $7 i32)
+    (local.set $0
+      (i32.const 0)
+    )
+    (loop $while-in
+      (local.set $3
+        (i32.const 0)
+      )
+      (loop $while-in6
+        (local.set $6
+          (i32.add
+            (local.get $0)
+            (i32.const 1)
+          )
+        )
+        (local.set $0
+          (if (result i32)
+            (i32.or ;; this or is very expensive, and the first side has no side effect
+              (i32.eqz
+                (i32.rem_s
+                  (i32.add
+                    (i32.mul
+                      (i32.eqz
+                        (i32.add
+                          (local.get $0)
+                          (i32.const 0)
+                        )
+                      )
+                      (local.get $0)
+                    )
+                    (i32.const 17)
+                  )
+                  (i32.const 5)
+                )
+              )
+              (i32.eqz
+                (i32.rem_u
+                  (i32.add
+                    (i32.mul
+                      (local.get $0)
+                      (local.get $0)
+                    )
+                    (i32.const 100)
+                  )
+                  (i32.const 3)
+                )
+              )
+            )
+            (local.get $7)
+            (local.get $6)
+          )
+        )
+        (br_if $while-in6
+          (i32.lt_s
+            (local.tee $3
+              (i32.add
+                (local.get $3)
+                (i32.const 1)
+              )
+            )
+            (local.get $4)
+          )
+        )
+      )
+      (br_if $while-in
+        (i32.ne
+          (local.tee $1
+            (i32.add
+              (local.get $1)
+              (i32.const 1)
+            )
+          )
+          (i32.const 27000)
+        )
+      )
+    )
+    (return
+      (local.get $5)
+    )
+  )
+  ;; CHECK:      (func $invalidate-conditionalizeExpensiveOnBitwise (param $0 i32) (param $1 i32) (result i32)
+  ;; CHECK-NEXT:  (if
+  ;; CHECK-NEXT:   (i32.eqz
+  ;; CHECK-NEXT:    (i32.and
+  ;; CHECK-NEXT:     (i32.lt_s
+  ;; CHECK-NEXT:      (i32.and
+  ;; CHECK-NEXT:       (i32.shr_s
+  ;; CHECK-NEXT:        (i32.shl
+  ;; CHECK-NEXT:         (i32.add
+  ;; CHECK-NEXT:          (local.get $1)
+  ;; CHECK-NEXT:          (i32.const -1)
+  ;; CHECK-NEXT:         )
+  ;; CHECK-NEXT:         (i32.const 24)
+  ;; CHECK-NEXT:        )
+  ;; CHECK-NEXT:        (i32.const 24)
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:       (i32.const 255)
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (i32.const 3)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:     (i32.ne
+  ;; CHECK-NEXT:      (local.tee $1
+  ;; CHECK-NEXT:       (i32.const 0)
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (i32.const 0)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:   (return
+  ;; CHECK-NEXT:    (local.get $0)
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (return
+  ;; CHECK-NEXT:   (local.get $1)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT: )
+  (func $invalidate-conditionalizeExpensiveOnBitwise (param $0 i32) (param $1 i32) (result i32)
+   (if
+    (i32.eqz
+     (i32.and
+      (i32.lt_s
+       (i32.and
+        (i32.shr_s
+         (i32.shl
+          (i32.add
+           (local.get $1) ;; conflict with tee
+           (i32.const -1)
+          )
+          (i32.const 24)
+         )
+         (i32.const 24)
+        )
+        (i32.const 255)
+       )
+       (i32.const 3)
+      )
+      (i32.ne
+       (local.tee $1
+        (i32.const 0)
+       )
+       (i32.const 0)
+      )
+     )
+    )
+    (return (local.get $0))
+   )
+   (return (local.get $1))
+  )
+  ;; CHECK:      (func $invalidate-conditionalizeExpensiveOnBitwise-ok (param $0 i32) (param $1 i32) (result i32)
+  ;; CHECK-NEXT:  (if
+  ;; CHECK-NEXT:   (i32.eqz
+  ;; CHECK-NEXT:    (i32.and
+  ;; CHECK-NEXT:     (i32.lt_s
+  ;; CHECK-NEXT:      (i32.and
+  ;; CHECK-NEXT:       (i32.shr_s
+  ;; CHECK-NEXT:        (i32.shl
+  ;; CHECK-NEXT:         (i32.add
+  ;; CHECK-NEXT:          (local.get $0)
+  ;; CHECK-NEXT:          (i32.const -1)
+  ;; CHECK-NEXT:         )
+  ;; CHECK-NEXT:         (i32.const 24)
+  ;; CHECK-NEXT:        )
+  ;; CHECK-NEXT:        (i32.const 24)
+  ;; CHECK-NEXT:       )
+  ;; CHECK-NEXT:       (i32.const 255)
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (i32.const 3)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:     (i32.ne
+  ;; CHECK-NEXT:      (local.tee $1
+  ;; CHECK-NEXT:       (i32.const 0)
+  ;; CHECK-NEXT:      )
+  ;; CHECK-NEXT:      (i32.const 0)
+  ;; CHECK-NEXT:     )
+  ;; CHECK-NEXT:    )
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:   (return
+  ;; CHECK-NEXT:    (local.get $0)
+  ;; CHECK-NEXT:   )
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT:  (return
+  ;; CHECK-NEXT:   (local.get $1)
+  ;; CHECK-NEXT:  )
+  ;; CHECK-NEXT: )
+  (func $invalidate-conditionalizeExpensiveOnBitwise-ok (param $0 i32) (param $1 i32) (result i32)
+   (if
+    (i32.eqz
+     (i32.and
+      (i32.lt_s
+       (i32.and
+        (i32.shr_s
+         (i32.shl
+          (i32.add
+           (local.get $0) ;; no conflict
+           (i32.const -1)
+          )
+          (i32.const 24)
+         )
+         (i32.const 24)
+        )
+        (i32.const 255)
+       )
+       (i32.const 3)
+      )
+      (i32.ne
+       (local.tee $1
+        (i32.const 0)
+       )
+       (i32.const 0)
+      )
+     )
+    )
+    (return (local.get $0))
+   )
+   (return (local.get $1))
+  )
+
+ ;; CHECK:      (func $conditionalize-if-type-change (result f64)
+ ;; CHECK-NEXT:  (local $0 i32)
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (loop $label$1 (result f32)
+ ;; CHECK-NEXT:    (block $label$2 (result f32)
+ ;; CHECK-NEXT:     (drop
+ ;; CHECK-NEXT:      (block $label$3 (result f32)
+ ;; CHECK-NEXT:       (br_if $label$1
+ ;; CHECK-NEXT:        (i32.or
+ ;; CHECK-NEXT:         (f32.gt
+ ;; CHECK-NEXT:          (br_if $label$3
+ ;; CHECK-NEXT:           (f32.const 1)
+ ;; CHECK-NEXT:           (local.get $0)
+ ;; CHECK-NEXT:          )
+ ;; CHECK-NEXT:          (br $label$2
+ ;; CHECK-NEXT:           (f32.const 71)
+ ;; CHECK-NEXT:          )
+ ;; CHECK-NEXT:         )
+ ;; CHECK-NEXT:         (i64.eqz
+ ;; CHECK-NEXT:          (select
+ ;; CHECK-NEXT:           (i64.const 58)
+ ;; CHECK-NEXT:           (i64.const -982757)
+ ;; CHECK-NEXT:           (i64.eqz
+ ;; CHECK-NEXT:            (i64.const 0)
+ ;; CHECK-NEXT:           )
+ ;; CHECK-NEXT:          )
+ ;; CHECK-NEXT:         )
+ ;; CHECK-NEXT:        )
+ ;; CHECK-NEXT:       )
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:     (f32.const 1)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (f64.const -nan:0xfffffffffffff)
+ ;; CHECK-NEXT: )
+ (func $conditionalize-if-type-change (result f64)
+  (local $0 i32)
+  (drop
+   (loop $label$1 (result f32)
+    (block $label$2 (result f32)
+     (drop
+      (block $label$3 (result f32)
+       (br_if $label$1
+        (i32.or ;; this turns into an if, but then the if might not be unreachable
+         (f32.gt
+          (br_if $label$3
+           (f32.const 1)
+           (local.get $0)
+          )
+          (br $label$2
+           (f32.const 71)
+          )
+         )
+         (i64.eqz
+          (select
+           (i64.const 58)
+           (i64.const -982757)
+           (i64.eqz
+            (i64.const 0)
+           )
+          )
+         )
+        )
+       )
+      )
+     )
+     (f32.const 1)
+    )
+   )
+  )
+  (f64.const -nan:0xfffffffffffff)
+ )
+ ;; CHECK:      (func $optimize-bulk-memory-copy (param $dst i32) (param $src i32) (param $sz i32)
+ ;; CHECK-NEXT:  (memory.copy
+ ;; CHECK-NEXT:   (local.get $dst)
+ ;; CHECK-NEXT:   (local.get $dst)
+ ;; CHECK-NEXT:   (local.get $sz)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (memory.copy
+ ;; CHECK-NEXT:   (local.get $dst)
+ ;; CHECK-NEXT:   (local.get $src)
+ ;; CHECK-NEXT:   (i32.const 0)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $optimize-bulk-memory-copy (param $dst i32) (param $src i32) (param $sz i32)
+  (memory.copy  ;; nop
+    (local.get $dst)
+    (local.get $dst)
+    (local.get $sz)
+  )
+
+  (memory.copy  ;; nop
+    (local.get $dst)
+    (local.get $src)
+    (i32.const 0)
+  )
+ )
+)