More math opts (#1507)

`xor` of 0, `and` and `or` of -1

2 files changed, 69 insertions, 0 deletions

diff --git a/test/passes/optimize-instructions.txt b/test/passes/optimize-instructions.txt
index b1b4ce2d2..bc7221d3f 100644
--- a/test/passes/optimize-instructions.txt
+++ b/test/passes/optimize-instructions.txt
@@ -2850,6 +2850,33 @@
    (i32.const 1)
   )
  )
+ (func $all_ones (; 68 ;) (type $0) (param $x i32) (param $y i64)
+  (drop
+   (get_local $x)
+  )
+  (drop
+   (i32.const -1)
+  )
+  (drop
+   (i32.or
+    (tee_local $x
+     (i32.const 1337)
+    )
+    (i32.const -1)
+   )
+  )
+  (drop
+   (get_local $y)
+  )
+  (drop
+   (i64.const -1)
+  )
+ )
+ (func $xor (; 69 ;) (type $0) (param $x i32) (param $y i64)
+  (drop
+   (get_local $x)
+  )
+ )
 )
 (module
  (type $0 (func))
diff --git a/test/passes/optimize-instructions.wast b/test/passes/optimize-instructions.wast
index 85709c7ca..f3a6b1329 100644
--- a/test/passes/optimize-instructions.wast
+++ b/test/passes/optimize-instructions.wast
@@ -3385,6 +3385,48 @@
       )
     )
   )
+  (func $all_ones (param $x i32) (param $y i64)
+    (drop
+      (i32.and
+        (get_local $x)
+        (i32.const -1)
+      )
+    )
+    (drop
+      (i32.or
+        (get_local $x)
+        (i32.const -1)
+      )
+    )
+    (drop
+      (i32.or
+        (tee_local $x
+          (i32.const 1337)
+        )
+        (i32.const -1)
+      )
+    )
+    (drop
+      (i64.and
+        (get_local $y)
+        (i64.const -1)
+      )
+    )
+    (drop
+      (i64.or
+        (get_local $y)
+        (i64.const -1)
+      )
+    )
+  )
+  (func $xor (param $x i32) (param $y i64)
+    (drop
+      (i32.xor
+        (get_local $x)
+        (i32.const 0)
+      )
+    )
+  )
 )
 (module
   (import "env" "memory" (memory $0 (shared 256 256)))