diff options
Diffstat (limited to 'test/dot_s/reg-stackify.wast')
| -rw-r--r-- | test/dot_s/reg-stackify.wast | 121 |
1 files changed, 121 insertions, 0 deletions
diff --git a/test/dot_s/reg-stackify.wast b/test/dot_s/reg-stackify.wast new file mode 100644 index 000000000..c714fbb29 --- /dev/null +++ b/test/dot_s/reg-stackify.wast @@ -0,0 +1,121 @@ +(module + (memory 0 4294967295) + (export "no0" $no0) + (export "no1" $no1) + (export "yes0" $yes0) + (export "yes1" $yes1) + (export "stack_uses" $stack_uses) + (func $no0 (param $$0 i32) (param $$1 i32) (result i32) + (block $fake_return_waka123 + (block + (set_local $$1 + (i32.load align=4 + (get_local $$1) + ) + ) + (i32.store align=4 + (get_local $$0) + (i32.const 0) + ) + (br $fake_return_waka123 + (get_local $$1) + ) + ) + ) + ) + (func $no1 (param $$0 i32) (param $$1 i32) (result i32) + (block $fake_return_waka123 + (block + (set_local $$1 + (i32.load align=4 + (get_local $$1) + ) + ) + (i32.store align=4 + (get_local $$0) + (i32.const 0) + ) + (br $fake_return_waka123 + (get_local $$1) + ) + ) + ) + ) + (func $yes0 (param $$0 i32) (param $$1 i32) (result i32) + (block $fake_return_waka123 + (block + (i32.store align=4 + (get_local $$0) + (i32.const 0) + ) + (br $fake_return_waka123 + (i32.load align=4 + (get_local $$1) + ) + ) + ) + ) + ) + (func $yes1 (param $$0 i32) (result i32) + (block $fake_return_waka123 + (block + (br $fake_return_waka123 + (i32.load align=4 + (get_local $$0) + ) + ) + ) + ) + ) + (func $stack_uses (param $$0 i32) (param $$1 i32) (param $$2 i32) (param $$3 i32) (result i32) + (local $$4 i32) + (local $$5 i32) + (block $fake_return_waka123 + (block + (set_local $$4 + (i32.const 1) + ) + (set_local $$5 + (i32.const 2) + ) + (block $BB4_2 + (br_if + (i32.ne + (i32.xor + (i32.xor + (i32.lt_s + (get_local $$0) + (get_local $$4) + ) + (i32.lt_s + (get_local $$1) + (get_local $$5) + ) + ) + (i32.xor + (i32.lt_s + (get_local $$2) + (get_local $$4) + ) + (i32.lt_s + (get_local $$3) + (get_local $$5) + ) + ) + ) + (get_local $$4) + ) + $BB4_2 + ) + (br $fake_return_waka123 + (i32.const 0) + ) + ) + (br $fake_return_waka123 + (get_local $$4) + ) + ) + ) + ) +) +;; METADATA: { "asmConsts": {} }
\ No newline at end of file |