summaryrefslogtreecommitdiff
path: root/test/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes')
-rw-r--r--test/passes/optimize-instructions_enable-threads.txt10
-rw-r--r--test/passes/optimize-instructions_enable-threads.wast10
2 files changed, 20 insertions, 0 deletions
diff --git a/test/passes/optimize-instructions_enable-threads.txt b/test/passes/optimize-instructions_enable-threads.txt
index 393d49112..f54b6ae99 100644
--- a/test/passes/optimize-instructions_enable-threads.txt
+++ b/test/passes/optimize-instructions_enable-threads.txt
@@ -3293,6 +3293,16 @@
)
)
)
+ (func $select-into-arms (; 77 ;) (type $FUNCSIG$vii) (param $x i32) (param $y i32)
+ (if
+ (select
+ (local.get $x)
+ (local.get $y)
+ (local.get $y)
+ )
+ (unreachable)
+ )
+ )
)
(module
(type $FUNCSIG$v (func))
diff --git a/test/passes/optimize-instructions_enable-threads.wast b/test/passes/optimize-instructions_enable-threads.wast
index fa683ca78..dfcaea597 100644
--- a/test/passes/optimize-instructions_enable-threads.wast
+++ b/test/passes/optimize-instructions_enable-threads.wast
@@ -3738,6 +3738,16 @@
))
;; TODO: more stuff here
)
+ (func $select-into-arms (param $x i32) (param $y i32)
+ (if
+ (select
+ (i32.eqz (i32.eqz (local.get $x)))
+ (i32.eqz (i32.eqz (local.get $y)))
+ (local.get $y)
+ )
+ (unreachable)
+ )
+ )
)
(module
(import "env" "memory" (memory $0 (shared 256 256)))