diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/simplify-locals.txt | 29 | ||||
| -rw-r--r-- | test/passes/simplify-locals.wast | 26 |
2 files changed, 55 insertions, 0 deletions
diff --git a/test/passes/simplify-locals.txt b/test/passes/simplify-locals.txt index f2aa8d0d9..f12054887 100644 --- a/test/passes/simplify-locals.txt +++ b/test/passes/simplify-locals.txt @@ -9,6 +9,7 @@ (type $6 (func (param i32 i32 i32 i32 i32 i32))) (type $FUNCSIG$iii (func (param i32 i32) (result i32))) (type $8 (func (param i32 i32))) + (type $9 (func (param i32 i32 i32) (result i32))) (import "env" "waka" (func $waka)) (import "env" "waka_int" (func $waka_int (result i32))) (import "env" "i64sub" (func $_i64Subtract (param i32 i32 i32 i32) (result i32))) @@ -735,4 +736,32 @@ ) (get_local $a) ) + (func $drop-if-value (type $9) (param $x i32) (param $y i32) (param $z i32) (result i32) + (local $temp i32) + (drop + (if + (get_local $x) + (block $block53 i32 + (nop) + (set_local $temp + (get_local $y) + ) + (get_local $z) + ) + (block $block54 i32 + (nop) + (set_local $temp + (get_local $y) + ) + (get_local $z) + ) + ) + ) + (drop + (get_local $temp) + ) + (return + (i32.const 0) + ) + ) ) diff --git a/test/passes/simplify-locals.wast b/test/passes/simplify-locals.wast index 4fa345770..a998daf5f 100644 --- a/test/passes/simplify-locals.wast +++ b/test/passes/simplify-locals.wast @@ -775,4 +775,30 @@ ) (get_local $a) ) + (func $drop-if-value (param $x i32) (param $y i32) (param $z i32) (result i32) + (local $temp i32) + (drop + (if + (get_local $x) + (block $block53 i32 + (nop) + (set_local $temp + (get_local $y) + ) + (get_local $z) + ) + (block $block54 i32 + (nop) + (set_local $temp + (get_local $y) + ) + (get_local $z) + ) + ) + ) + (drop (get_local $temp)) + (return + (i32.const 0) + ) + ) ) |