summaryrefslogtreecommitdiff
path: root/test/passes/optimize-instructions.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/optimize-instructions.txt')
-rw-r--r--test/passes/optimize-instructions.txt96
1 files changed, 94 insertions, 2 deletions
diff --git a/test/passes/optimize-instructions.txt b/test/passes/optimize-instructions.txt
index 41d45d57f..03edc6e4c 100644
--- a/test/passes/optimize-instructions.txt
+++ b/test/passes/optimize-instructions.txt
@@ -541,7 +541,16 @@
(get_local $0)
(i32.const 255)
)
- (i32.const 255)
+ (i32.const -2147483648)
+ )
+ )
+ (drop
+ (i32.eq
+ (i32.and
+ (get_local $0)
+ (i32.const 255)
+ )
+ (i32.const 107)
)
)
(drop
@@ -1103,7 +1112,25 @@
(get_local $0)
(i32.const 255)
)
- (i32.const 232)
+ (i32.const -2147483648)
+ )
+ )
+ (drop
+ (i32.ne
+ (i32.and
+ (get_local $0)
+ (i32.const 255)
+ )
+ (i32.const -2147483648)
+ )
+ )
+ (drop
+ (i32.ne
+ (i32.and
+ (get_local $0)
+ (i32.const 255)
+ )
+ (i32.const 107)
)
)
(drop
@@ -1790,4 +1817,69 @@
)
)
)
+ (func $fuzz-comp-impossible (type $5) (param $x i32)
+ (drop
+ (i32.eq
+ (i32.and
+ (get_local $x)
+ (i32.const 65535)
+ )
+ (i32.const -2147483648)
+ )
+ )
+ (drop
+ (i32.eq
+ (i32.and
+ (get_local $x)
+ (i32.const 255)
+ )
+ (i32.const -2147483648)
+ )
+ )
+ (drop
+ (i32.eq
+ (i32.and
+ (get_local $x)
+ (i32.const 255)
+ )
+ (i32.const 127)
+ )
+ )
+ (drop
+ (i32.eq
+ (i32.and
+ (get_local $x)
+ (i32.const 255)
+ )
+ (i32.const -2147483648)
+ )
+ )
+ (drop
+ (i32.eq
+ (i32.and
+ (get_local $x)
+ (i32.const 255)
+ )
+ (i32.const -2147483648)
+ )
+ )
+ (drop
+ (i32.eq
+ (i32.and
+ (get_local $x)
+ (i32.const 255)
+ )
+ (i32.const -2147483648)
+ )
+ )
+ (drop
+ (i32.eq
+ (i32.and
+ (get_local $x)
+ (i32.const 255)
+ )
+ (i32.const 252)
+ )
+ )
+ )
)