diff options
Diffstat (limited to 'test/dot_s/phi.wast')
| -rw-r--r-- | test/dot_s/phi.wast | 79 |
1 files changed, 79 insertions, 0 deletions
diff --git a/test/dot_s/phi.wast b/test/dot_s/phi.wast new file mode 100644 index 000000000..9ec40d48c --- /dev/null +++ b/test/dot_s/phi.wast @@ -0,0 +1,79 @@ +(module + (memory 0 4294967295) + (func $test0 (param $$0 i32) (result i32) + (block $fake_return_waka123 + (block + (block $BB0_2 + (br_if + (i32.gt_s + (i32.const -1) + (get_local $$0) + ) + $BB0_2 + ) + (set_local $$0 + (i32.div_s + (i32.const 3) + (get_local $$0) + ) + ) + ) + (br $fake_return_waka123 + (get_local $$0) + ) + ) + ) + ) + (func $test1 (param $$0 i32) (result i32) + (local $$1 i32) + (local $$2 i32) + (local $$3 i32) + (local $$4 i32) + (local $$5 i32) + (block $fake_return_waka123 + (block + (set_local $$2 + (i32.const 1) + ) + (set_local $$3 + (i32.const 0) + ) + (set_local $$4 + (get_local $$2) + ) + (set_local $$5 + (get_local $$3) + ) + (loop $BB1_2 $BB1_1 + (block + (set_local $$5 + (i32.add + (get_local $$2) + (get_local $$5) + ) + ) + (set_local $$1 + (get_local $$4) + ) + (set_local $$4 + (get_local $$3) + ) + (set_local $$3 + (get_local $$1) + ) + (br_if + (i32.lt_s + (get_local $$0) + (get_local $$5) + ) + $BB1_1 + ) + ) + ) + (br $fake_return_waka123 + (get_local $$4) + ) + ) + ) + ) +) |