summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-04-09 11:45:37 -0700
committerAlon Zakai <alonzakai@gmail.com>2016-04-09 11:45:37 -0700
commit07cd2e2902124e667dd136a77cf7ebaa06ae60ae (patch)
treebe2abaf4a737ff2bdcd2ff27c0fbca7bc406efd4
parentf03404e14317b79e47d11300ab21f8e92036fa85 (diff)
downloadbinaryen-07cd2e2902124e667dd136a77cf7ebaa06ae60ae.tar.gz
binaryen-07cd2e2902124e667dd136a77cf7ebaa06ae60ae.tar.bz2
binaryen-07cd2e2902124e667dd136a77cf7ebaa06ae60ae.zip
add tests for eqz-comparison folding
-rw-r--r--test/passes/optimize-instructions.txt32
-rw-r--r--test/passes/optimize-instructions.wast8
2 files changed, 40 insertions, 0 deletions
diff --git a/test/passes/optimize-instructions.txt b/test/passes/optimize-instructions.txt
index ea6e78908..c64115f49 100644
--- a/test/passes/optimize-instructions.txt
+++ b/test/passes/optimize-instructions.txt
@@ -19,5 +19,37 @@
(i32.const 11)
(i32.const 12)
)
+ (i32.le_s
+ (i32.const 1)
+ (i32.const 2)
+ )
+ (i32.lt_s
+ (i32.const 1)
+ (i32.const 2)
+ )
+ (i32.ge_s
+ (i32.const 1)
+ (i32.const 2)
+ )
+ (i32.gt_s
+ (i32.const 1)
+ (i32.const 2)
+ )
+ (i32.le_u
+ (i32.const 1)
+ (i32.const 2)
+ )
+ (i32.lt_u
+ (i32.const 1)
+ (i32.const 2)
+ )
+ (i32.ge_u
+ (i32.const 1)
+ (i32.const 2)
+ )
+ (i32.gt_u
+ (i32.const 1)
+ (i32.const 2)
+ )
)
)
diff --git a/test/passes/optimize-instructions.wast b/test/passes/optimize-instructions.wast
index 058aee042..b579a2054 100644
--- a/test/passes/optimize-instructions.wast
+++ b/test/passes/optimize-instructions.wast
@@ -21,6 +21,14 @@
(i32.const 11)
(i32.const 12)
)
+ (i32.eqz (i32.gt_s (i32.const 1) (i32.const 2)))
+ (i32.eqz (i32.ge_s (i32.const 1) (i32.const 2)))
+ (i32.eqz (i32.lt_s (i32.const 1) (i32.const 2)))
+ (i32.eqz (i32.le_s (i32.const 1) (i32.const 2)))
+ (i32.eqz (i32.gt_u (i32.const 1) (i32.const 2)))
+ (i32.eqz (i32.ge_u (i32.const 1) (i32.const 2)))
+ (i32.eqz (i32.lt_u (i32.const 1) (i32.const 2)))
+ (i32.eqz (i32.le_u (i32.const 1) (i32.const 2)))
)
)