fix off-by-one in assertion in optimize-instructions

2 files changed, 29 insertions, 0 deletions

diff --git a/test/passes/optimize-instructions.txt b/test/passes/optimize-instructions.txt
index 8b42fd2ad..604c9c3ea 100644
--- a/test/passes/optimize-instructions.txt
+++ b/test/passes/optimize-instructions.txt
@@ -1993,4 +1993,17 @@
    )
   )
  )
+ (func $sign-ext-1-and-ne (type $2) (result i32)
+  (select
+   (i32.ne
+    (i32.and
+     (call $sign-ext-1-and-ne)
+     (i32.const 2147483647)
+    )
+    (i32.const -2147483648)
+   )
+   (i32.const 2)
+   (i32.const 1)
+  )
+ )
 )
diff --git a/test/passes/optimize-instructions.wast b/test/passes/optimize-instructions.wast
index 6d1fd60ed..cf8275412 100644
--- a/test/passes/optimize-instructions.wast
+++ b/test/passes/optimize-instructions.wast
@@ -2417,4 +2417,20 @@
     )
    )
   )
+  (func $sign-ext-1-and-ne (result i32)
+   (select
+    (i32.ne
+     (i32.const 1333788672)
+     (i32.shr_s
+      (i32.shl
+       (call $sign-ext-1-and-ne)
+       (i32.const 1)
+      )
+      (i32.const 1)
+     )
+    )
+    (i32.const 2)
+    (i32.const 1)
+   )
+  )
 )