diff options
Diffstat (limited to 'test/passes')
-rw-r--r-- | test/passes/optimize-instructions_enable-threads.txt | 10 | ||||
-rw-r--r-- | test/passes/optimize-instructions_enable-threads.wast | 10 |
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))) |