diff options
Diffstat (limited to 'test/passes')
6 files changed, 68 insertions, 132 deletions
diff --git a/test/passes/flatten_local-cse_Os.txt b/test/passes/flatten_local-cse_Os.txt index ec612f52f..cee61f4ba 100644 --- a/test/passes/flatten_local-cse_Os.txt +++ b/test/passes/flatten_local-cse_Os.txt @@ -2,8 +2,9 @@ (type $0 (func (param i32 i32) (result i32))) (export "div16_internal" (func $0)) (func $0 (; 0 ;) (; has Stack IR ;) (type $0) (param $0 i32) (param $1 i32) (result i32) + (local $2 i32) (i32.add - (local.tee $0 + (local.tee $2 (i32.xor (i32.shr_s (i32.shl @@ -21,7 +22,7 @@ ) ) ) - (local.get $0) + (local.get $2) ) ) ) diff --git a/test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt b/test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt index 613084bb7..db538c441 100644 --- a/test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt +++ b/test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt @@ -4437,9 +4437,7 @@ infer %4 ) ) (nop) - (drop - (local.get $6) - ) + (nop) ) (nop) (if @@ -4458,9 +4456,7 @@ infer %4 ) ) (nop) - (drop - (local.get $14) - ) + (nop) (nop) (unreachable) (unreachable) diff --git a/test/passes/flatten_simplify-locals-nonesting_souperify.txt b/test/passes/flatten_simplify-locals-nonesting_souperify.txt index 9497a2e33..64829ad50 100644 --- a/test/passes/flatten_simplify-locals-nonesting_souperify.txt +++ b/test/passes/flatten_simplify-locals-nonesting_souperify.txt @@ -4543,9 +4543,7 @@ infer %4 ) ) (nop) - (drop - (local.get $6) - ) + (nop) ) (nop) (if @@ -4564,9 +4562,7 @@ infer %4 ) ) (nop) - (drop - (local.get $14) - ) + (nop) (nop) (unreachable) (unreachable) diff --git a/test/passes/optimize-added-constants-propagate_low-memory-unused.txt b/test/passes/optimize-added-constants-propagate_low-memory-unused.txt index 9f9cd6ba6..3e2ec5b9d 100644 --- a/test/passes/optimize-added-constants-propagate_low-memory-unused.txt +++ b/test/passes/optimize-added-constants-propagate_low-memory-unused.txt @@ -206,12 +206,7 @@ ) (func $offset-propagate-param (; 4 ;) (type $1) (param $x i32) (local $y i32) - (local.set $x - (i32.add - (local.get $y) - (i32.const 1) - ) - ) + (nop) (drop (i32.load offset=1 (local.get $y) @@ -221,12 +216,7 @@ (func $offset-propagate (; 5 ;) (type $0) (local $x i32) (local $y i32) - (local.set $x - (i32.add - (local.get $y) - (i32.const 1) - ) - ) + (nop) (drop (i32.load offset=1 (local.get $y) @@ -254,12 +244,7 @@ (func $offset-propagate3 (; 7 ;) (type $0) (local $x i32) (local $y i32) - (local.set $x - (i32.add - (i32.const 1) - (local.get $y) - ) - ) + (nop) (drop (i32.load offset=1 (local.get $y) @@ -272,12 +257,7 @@ (local.set $y (i32.const -1) ) - (local.set $x - (i32.add - (i32.const 1) - (local.get $y) - ) - ) + (nop) (drop (i32.load offset=1 (local.get $y) @@ -298,12 +278,7 @@ (local.set $3 (local.get $y) ) - (local.set $x - (i32.add - (i32.const 1) - (local.get $3) - ) - ) + (nop) ) (drop (i32.load offset=1 @@ -322,12 +297,7 @@ (local.set $3 (local.get $y) ) - (local.set $x - (i32.add - (i32.const 1) - (local.get $3) - ) - ) + (nop) ) (local.set $y (i32.const -2) @@ -369,24 +339,9 @@ (local $x i32) (local $y i32) (local $z i32) - (local.set $x - (i32.add - (local.get $ptr) - (i32.const 8) - ) - ) - (local.set $y - (i32.add - (local.get $ptr) - (i32.const 16) - ) - ) - (local.set $z - (i32.add - (local.get $ptr) - (i32.const 24) - ) - ) + (nop) + (nop) + (nop) (loop $l (call $offset-realistic (i32.load offset=8 @@ -422,20 +377,28 @@ (func $multiadd (; 13 ;) (type $1) (param $sp i32) (local $$vararg_buffer i32) (local $$vararg_ptr1 i32) + (nop) + (nop) + (i32.store offset=20 + (local.get $sp) + (i32.const 1) + ) + ) + (func $multiadd-extraUse (; 14 ;) (type $1) (param $sp i32) + (local $$vararg_buffer i32) + (local $$vararg_ptr1 i32) (local.set $$vararg_buffer (i32.add (local.get $sp) (i32.const 16) ) ) - (local.set $$vararg_ptr1 - (i32.add - (local.get $$vararg_buffer) - (i32.const 4) - ) + (nop) + (drop + (local.get $$vararg_buffer) ) - (i32.store offset=20 - (local.get $sp) + (i32.store offset=4 + (local.get $$vararg_buffer) (i32.const 1) ) ) diff --git a/test/passes/optimize-added-constants-propagate_low-memory-unused.wast b/test/passes/optimize-added-constants-propagate_low-memory-unused.wast index 601d51a29..0582294c8 100644 --- a/test/passes/optimize-added-constants-propagate_low-memory-unused.wast +++ b/test/passes/optimize-added-constants-propagate_low-memory-unused.wast @@ -431,5 +431,28 @@ (i32.const 1) ) ) + (func $multiadd-extraUse (param $sp i32) + (local $$vararg_buffer i32) + (local $$vararg_ptr1 i32) + (local.set $$vararg_buffer + (i32.add + (local.get $sp) + (i32.const 16) + ) + ) + (local.set $$vararg_ptr1 + (i32.add + (local.get $$vararg_buffer) + (i32.const 4) + ) + ) + (drop + (local.get $$vararg_buffer) + ) + (i32.store + (local.get $$vararg_ptr1) + (i32.const 1) + ) + ) ) diff --git a/test/passes/simplify-locals.txt b/test/passes/simplify-locals.txt index e3aa15389..81eb0d522 100644 --- a/test/passes/simplify-locals.txt +++ b/test/passes/simplify-locals.txt @@ -131,9 +131,7 @@ (nop) (nop) (nop) - (drop - (i32.const 17) - ) + (nop) (block $block2 (nop) (nop) @@ -206,9 +204,7 @@ (drop (i32.const 17) ) - (drop - (i32.const 18) - ) + (nop) ) (block $block3 (nop) @@ -443,9 +439,7 @@ (local.get $bi3) (local.get $di3) ) - (drop - (i32.const 456) - ) + (nop) ) (func $___remdi3 (; 10 ;) (type $FUNCSIG$iiiii) (param $$a$0 i32) (param $$a$1 i32) (param $$b$0 i32) (param $$b$1 i32) (result i32) (local $$1$1 i32) @@ -1361,12 +1355,8 @@ (i32.const 1) (block (block $block - (drop - (i32.const 2) - ) - (drop - (i32.const 3) - ) + (nop) + (nop) (br $out) ) (nop) @@ -1374,9 +1364,7 @@ (block (result i32) (block $block2 (nop) - (drop - (i32.const 5) - ) + (nop) ) (i32.const 4) ) @@ -1388,20 +1376,14 @@ (block (result i32) (block $block4 (nop) - (drop - (i32.const 8) - ) + (nop) ) (i32.const 7) ) (block (block $block5 - (drop - (i32.const 9) - ) - (drop - (i32.const 10) - ) + (nop) + (nop) (br $out) ) (nop) @@ -1411,21 +1393,13 @@ (if (i32.const 11) (block $block7 - (drop - (i32.const 12) - ) - (drop - (i32.const 13) - ) + (nop) + (nop) (br $out) ) (block $block8 - (drop - (i32.const 14) - ) - (drop - (i32.const 15) - ) + (nop) + (nop) (br $out) ) ) @@ -1472,24 +1446,7 @@ ) ) (func $loop-later (; 18 ;) (type $FUNCSIG$iiiiii) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (param $var$4 i32) (result i32) - (drop - (loop $label$1 (result i32) - (nop) - (block $label$2 (result i32) - (if - (i32.const 0) - (block $block - (nop) - (br $label$2 - (i32.const -1) - ) - ) - ) - (nop) - (i32.const -1) - ) - ) - ) + (nop) (i32.const 0) ) (func $pick (; 19 ;) (type $FUNCSIG$v) |