diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/dot_s/dead-vreg.wast | 112 |
1 files changed, 112 insertions, 0 deletions
diff --git a/test/dot_s/dead-vreg.wast b/test/dot_s/dead-vreg.wast new file mode 100644 index 000000000..9430bdae6 --- /dev/null +++ b/test/dot_s/dead-vreg.wast @@ -0,0 +1,112 @@ +(module + (memory 0 4294967295) + (func $foo (param $$0 i32) (param $$1 i32) (param $$2 i32) + (local $$3 i32) + (local $$4 i32) + (local $$5 i32) + (local $$6 i32) + (local $$7 i32) + (local $$8 i32) + (local $$9 i32) + (block $fake_return_waka123 + (block + (set_local $$4 + (i32.const 1) + ) + (block $BB0_5 + (br_if + (i32.lt_s + (get_local $$4) + (get_local $$2) + ) + $BB0_5 + ) + (set_local $$3 + (i32.shl + (i32.const 2) + (get_local $$1) + ) + ) + (set_local $$5 + (i32.const 0) + ) + (set_local $$6 + (get_local $$5) + ) + (loop $BB0_2 + (block + (set_local $$7 + (get_local $$5) + ) + (set_local $$8 + (get_local $$0) + ) + (set_local $$9 + (get_local $$1) + ) + (block $BB0_4 + (br_if + (i32.lt_s + (get_local $$4) + (get_local $$1) + ) + $BB0_4 + ) + (loop $BB0_3 + (block + (set_local $$9 + (i32.add + (i32.const -1) + (get_local $$9) + ) + ) + (i32.store align=8 + (get_local $$8) + (get_local $$7) + ) + (set_local $$8 + (i32.add + (i32.const 4) + (get_local $$8) + ) + ) + (set_local $$7 + (i32.add + (get_local $$6) + (get_local $$7) + ) + ) + (br_if + (get_local $$9) + $BB0_3 + ) + ) + ) + ) + (set_local $$6 + (i32.add + (get_local $$4) + (get_local $$6) + ) + ) + (set_local $$0 + (i32.add + (get_local $$3) + (get_local $$0) + ) + ) + (br_if + (i32.ne + (get_local $$2) + (get_local $$6) + ) + $BB0_2 + ) + ) + ) + ) + (br $fake_return_waka123) + ) + ) + ) +) |