summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-01-11 15:19:26 -0800
committerAlon Zakai <alonzakai@gmail.com>2016-01-11 15:19:26 -0800
commit20f01a9f8277111b69f3d916ec2e066f1f996c7d (patch)
tree07721f3ab0c1d83556345c88e986da394a031015
parenta54e90879958c3f89a74c15160cf10b2276a54ab (diff)
downloadbinaryen-20f01a9f8277111b69f3d916ec2e066f1f996c7d.tar.gz
binaryen-20f01a9f8277111b69f3d916ec2e066f1f996c7d.tar.bz2
binaryen-20f01a9f8277111b69f3d916ec2e066f1f996c7d.zip
update userstack test output
-rw-r--r--test/llvm_autogenerated/userstack.wast63
1 files changed, 63 insertions, 0 deletions
diff --git a/test/llvm_autogenerated/userstack.wast b/test/llvm_autogenerated/userstack.wast
index c2083ce2a..d412410f3 100644
--- a/test/llvm_autogenerated/userstack.wast
+++ b/test/llvm_autogenerated/userstack.wast
@@ -3,6 +3,7 @@
(export "alloca32" $alloca32)
(export "alloca3264" $alloca3264)
(export "allocarray" $allocarray)
+ (export "allocarray_inbounds" $allocarray_inbounds)
(export "dynamic_alloca" $dynamic_alloca)
(func $alloca32
(local $$0 i32)
@@ -205,6 +206,68 @@
)
)
)
+ (func $allocarray_inbounds
+ (local $$0 i32)
+ (local $$1 i32)
+ (local $$2 i32)
+ (local $$3 i32)
+ (block $fake_return_waka123
+ (block
+ (set_local $$0
+ (i32.const 0)
+ )
+ (set_local $$0
+ (i32.load align=4
+ (get_local $$0)
+ )
+ )
+ (set_local $$1
+ (i32.const 32)
+ )
+ (set_local $$3
+ (i32.sub
+ (get_local $$0)
+ (get_local $$1)
+ )
+ )
+ (set_local $$1
+ (i32.const 0)
+ )
+ (set_local $$3
+ (i32.store align=4
+ (get_local $$1)
+ (get_local $$3)
+ )
+ )
+ (i32.store offset=16 align=4
+ (get_local $$3)
+ (i32.store offset=12 align=4
+ (get_local $$3)
+ (i32.const 1)
+ )
+ )
+ (set_local $$2
+ (i32.const 32)
+ )
+ (set_local $$3
+ (i32.add
+ (get_local $$3)
+ (get_local $$2)
+ )
+ )
+ (set_local $$2
+ (i32.const 0)
+ )
+ (set_local $$3
+ (i32.store align=4
+ (get_local $$2)
+ (get_local $$3)
+ )
+ )
+ (br $fake_return_waka123)
+ )
+ )
+ )
(func $dynamic_alloca (param $$0 i32)
(block $fake_return_waka123
(block