From 57d0a549d715a25b471c8913c3013fc407eceea6 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Sat, 5 Nov 2016 19:29:26 -0700 Subject: improve local simplication: simplify without if/block structure values before coalesce, so that coalesce can remove all copies, then do another pass of full simplification after it --- test/passes/simplify-locals-notee.wast | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'test/passes/simplify-locals-notee.wast') diff --git a/test/passes/simplify-locals-notee.wast b/test/passes/simplify-locals-notee.wast index fb938b8c5..e7b827f55 100644 --- a/test/passes/simplify-locals-notee.wast +++ b/test/passes/simplify-locals-notee.wast @@ -3,6 +3,8 @@ (local $x i32) (local $y i32) (local $z i32) + (local $a i32) + (local $b i32) (set_local $x (i32.const 1)) (if (get_local $x) (nop)) (if (get_local $x) (nop)) @@ -10,6 +12,21 @@ (drop (get_local $y)) (set_local $z (block i32 (i32.const 5))) (drop (get_local $z)) + (if (i32.const 6) + (set_local $a (i32.const 7)) + (set_local $a (i32.const 8)) + ) + (drop (get_local $a)) + (block $val + (if (i32.const 10) + (block + (set_local $b (i32.const 11)) + (br $val) + ) + ) + (set_local $b (i32.const 12)) + ) + (drop (get_local $b)) ) ) -- cgit v1.2.3