summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2015-12-12 10:43:16 -0500
committerAlon Zakai <alonzakai@gmail.com>2015-12-12 10:43:16 -0500
commit69235e272d211e5d5f0aa545a8ae4830f720dbb4 (patch)
tree7ac223ae2232f0a660a9fba10488f6837043e6ec /test
parent525f0a16e22d3a4b2ff95b985d609b6b36c4771c (diff)
downloadbinaryen-69235e272d211e5d5f0aa545a8ae4830f720dbb4.tar.gz
binaryen-69235e272d211e5d5f0aa545a8ae4830f720dbb4.tar.bz2
binaryen-69235e272d211e5d5f0aa545a8ae4830f720dbb4.zip
copy_local
Diffstat (limited to 'test')
-rw-r--r--test/dot_s/dead-vreg.wast112
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)
+ )
+ )
+ )
+)