summaryrefslogtreecommitdiff
path: root/test/llvm_autogenerated/cfg-stackify.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/llvm_autogenerated/cfg-stackify.wast')
-rw-r--r--test/llvm_autogenerated/cfg-stackify.wast1256
1 files changed, 588 insertions, 668 deletions
diff --git a/test/llvm_autogenerated/cfg-stackify.wast b/test/llvm_autogenerated/cfg-stackify.wast
index f0559f899..791b31a24 100644
--- a/test/llvm_autogenerated/cfg-stackify.wast
+++ b/test/llvm_autogenerated/cfg-stackify.wast
@@ -31,225 +31,197 @@
(export "test14" $test14)
(func $test0 (param $$0 i32)
(local $$1 i32)
- (block $fake_return_waka123
- (block
- (set_local $$1
- (i32.const 0)
+ (set_local $$1
+ (i32.const 0)
+ )
+ (loop $label$1 $label$0
+ (set_local $$1
+ (i32.add
+ (get_local $$1)
+ (i32.const 1)
)
- (loop $label$1 $label$0
- (set_local $$1
- (i32.add
- (get_local $$1)
- (i32.const 1)
- )
- )
- (br_if
- (i32.ge_s
- (get_local $$1)
- (get_local $$0)
- )
- $label$1
- )
- (call_import $something)
- (br $label$0)
+ )
+ (br_if
+ (i32.ge_s
+ (get_local $$1)
+ (get_local $$0)
)
- (br $fake_return_waka123)
+ $label$1
)
+ (call_import $something)
+ (br $label$0)
)
+ (return)
)
(func $test1 (param $$0 i32)
(local $$1 i32)
- (block $fake_return_waka123
- (block
- (set_local $$1
- (i32.const 0)
+ (set_local $$1
+ (i32.const 0)
+ )
+ (loop $label$1 $label$0
+ (set_local $$1
+ (i32.add
+ (get_local $$1)
+ (i32.const 1)
)
- (loop $label$1 $label$0
- (set_local $$1
- (i32.add
- (get_local $$1)
- (i32.const 1)
- )
- )
- (br_if
- (i32.ge_s
- (get_local $$1)
- (get_local $$0)
- )
- $label$1
- )
- (call_import $something)
- (br $label$0)
+ )
+ (br_if
+ (i32.ge_s
+ (get_local $$1)
+ (get_local $$0)
)
- (br $fake_return_waka123)
+ $label$1
)
+ (call_import $something)
+ (br $label$0)
)
+ (return)
)
(func $test2 (param $$0 i32) (param $$1 i32)
- (block $fake_return_waka123
- (block
- (block $label$0
- (br_if
- (i32.lt_s
- (get_local $$1)
- (i32.const 1)
- )
- $label$0
+ (block $label$0
+ (br_if
+ (i32.lt_s
+ (get_local $$1)
+ (i32.const 1)
+ )
+ $label$0
+ )
+ (loop $label$2 $label$1
+ (set_local $$1
+ (i32.add
+ (get_local $$1)
+ (i32.const -1)
)
- (loop $label$2 $label$1
- (set_local $$1
- (i32.add
- (get_local $$1)
- (i32.const -1)
- )
- )
- (f64.store align=8
+ )
+ (f64.store align=8
+ (get_local $$0)
+ (f64.mul
+ (f64.load align=8
(get_local $$0)
- (f64.mul
- (f64.load align=8
- (get_local $$0)
- )
- (f64.const 3.2)
- )
- )
- (set_local $$0
- (i32.add
- (get_local $$0)
- (i32.const 8)
- )
- )
- (br_if
- (get_local $$1)
- $label$1
)
+ (f64.const 3.2)
)
)
- (br $fake_return_waka123)
+ (set_local $$0
+ (i32.add
+ (get_local $$0)
+ (i32.const 8)
+ )
+ )
+ (br_if
+ (get_local $$1)
+ $label$1
+ )
)
)
+ (return)
)
(func $doublediamond (param $$0 i32) (param $$1 i32) (param $$2 i32) (result i32)
- (block $fake_return_waka123
- (block
- (block $label$0
- (block $label$1
- (i32.store align=4
- (get_local $$2)
- (i32.const 0)
- )
- (br_if
- (get_local $$0)
- $label$1
- )
- (i32.store align=4
- (get_local $$2)
- (i32.const 1)
- )
- (br $label$0)
- )
- (block $label$2
- (i32.store align=4
- (get_local $$2)
- (i32.const 2)
- )
- (br_if
- (get_local $$1)
- $label$2
- )
- (i32.store align=4
- (get_local $$2)
- (i32.const 3)
- )
- (br $label$0)
- )
- (i32.store align=4
- (get_local $$2)
- (i32.const 4)
- )
+ (block $label$0
+ (block $label$1
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 0)
+ )
+ (br_if
+ (get_local $$0)
+ $label$1
)
(i32.store align=4
(get_local $$2)
- (i32.const 5)
+ (i32.const 1)
)
- (br $fake_return_waka123
- (i32.const 0)
+ (br $label$0)
+ )
+ (block $label$2
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 2)
)
+ (br_if
+ (get_local $$1)
+ $label$2
+ )
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 3)
+ )
+ (br $label$0)
+ )
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 4)
)
)
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 5)
+ )
+ (return
+ (i32.const 0)
+ )
)
(func $triangle (param $$0 i32) (param $$1 i32) (result i32)
(local $$2 i32)
- (block $fake_return_waka123
- (block
- (block $label$0
- (set_local $$2
- (i32.store align=4
- (get_local $$0)
- (i32.const 0)
- )
- )
- (br_if
- (get_local $$1)
- $label$0
- )
- (i32.store align=4
- (get_local $$0)
- (i32.const 1)
- )
- )
+ (block $label$0
+ (set_local $$2
(i32.store align=4
(get_local $$0)
- (i32.const 2)
- )
- (br $fake_return_waka123
- (get_local $$2)
+ (i32.const 0)
)
)
+ (br_if
+ (get_local $$1)
+ $label$0
+ )
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 1)
+ )
+ )
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 2)
+ )
+ (return
+ (get_local $$2)
)
)
(func $diamond (param $$0 i32) (param $$1 i32) (result i32)
- (block $fake_return_waka123
- (block
- (block $label$0
- (block $label$1
- (i32.store align=4
- (get_local $$0)
- (i32.const 0)
- )
- (br_if
- (get_local $$1)
- $label$1
- )
- (i32.store align=4
- (get_local $$0)
- (i32.const 1)
- )
- (br $label$0)
- )
- (i32.store align=4
- (get_local $$0)
- (i32.const 2)
- )
- )
+ (block $label$0
+ (block $label$1
(i32.store align=4
(get_local $$0)
- (i32.const 3)
- )
- (br $fake_return_waka123
(i32.const 0)
)
+ (br_if
+ (get_local $$1)
+ $label$1
+ )
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 1)
+ )
+ (br $label$0)
+ )
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 2)
)
)
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 3)
+ )
+ (return
+ (i32.const 0)
+ )
)
(func $single_block (param $$0 i32) (result i32)
- (block $fake_return_waka123
- (block
- (br $fake_return_waka123
- (i32.store align=4
- (get_local $$0)
- (i32.const 0)
- )
- )
+ (return
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 0)
)
)
)
@@ -267,119 +239,107 @@
)
)
(func $simple_loop (param $$0 i32) (param $$1 i32) (result i32)
- (block $fake_return_waka123
- (block
- (i32.store align=4
- (get_local $$0)
- (i32.const 0)
- )
- (loop $label$1 $label$0
- (i32.store align=4
- (get_local $$0)
- (i32.const 1)
- )
- (br_if
- (i32.eq
- (get_local $$1)
- (i32.const 0)
- )
- $label$0
- )
- )
- (i32.store align=4
- (get_local $$0)
- (i32.const 2)
- )
- (br $fake_return_waka123
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 0)
+ )
+ (loop $label$1 $label$0
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 1)
+ )
+ (br_if
+ (i32.eq
+ (get_local $$1)
(i32.const 0)
)
+ $label$0
)
)
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 2)
+ )
+ (return
+ (i32.const 0)
+ )
)
(func $doubletriangle (param $$0 i32) (param $$1 i32) (param $$2 i32) (result i32)
(local $$3 i32)
- (block $fake_return_waka123
- (block
- (block $label$0
- (set_local $$3
- (i32.store align=4
- (get_local $$2)
- (i32.const 0)
- )
- )
- (br_if
- (get_local $$0)
- $label$0
- )
- (block $label$1
- (i32.store align=4
- (get_local $$2)
- (i32.const 2)
- )
- (br_if
- (get_local $$1)
- $label$1
- )
- (i32.store align=4
- (get_local $$2)
- (i32.const 3)
- )
- )
- (i32.store align=4
- (get_local $$2)
- (i32.const 4)
- )
+ (block $label$0
+ (set_local $$3
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 0)
)
+ )
+ (br_if
+ (get_local $$0)
+ $label$0
+ )
+ (block $label$1
(i32.store align=4
(get_local $$2)
- (i32.const 5)
+ (i32.const 2)
)
- (br $fake_return_waka123
- (get_local $$3)
+ (br_if
+ (get_local $$1)
+ $label$1
+ )
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 3)
)
)
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 4)
+ )
+ )
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 5)
+ )
+ (return
+ (get_local $$3)
)
)
(func $ifelse_earlyexits (param $$0 i32) (param $$1 i32) (param $$2 i32) (result i32)
- (block $fake_return_waka123
- (block
- (block $label$0
- (block $label$1
- (i32.store align=4
- (get_local $$2)
- (i32.const 0)
- )
- (br_if
- (get_local $$0)
- $label$1
- )
- (i32.store align=4
- (get_local $$2)
- (i32.const 1)
- )
- (br $label$0)
- )
- (i32.store align=4
- (get_local $$2)
- (i32.const 2)
- )
- (br_if
- (get_local $$1)
- $label$0
- )
- (i32.store align=4
- (get_local $$2)
- (i32.const 3)
- )
- )
+ (block $label$0
+ (block $label$1
(i32.store align=4
(get_local $$2)
- (i32.const 4)
- )
- (br $fake_return_waka123
(i32.const 0)
)
+ (br_if
+ (get_local $$0)
+ $label$1
+ )
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 1)
+ )
+ (br $label$0)
)
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 2)
+ )
+ (br_if
+ (get_local $$1)
+ $label$0
+ )
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 3)
+ )
+ )
+ (i32.store align=4
+ (get_local $$2)
+ (i32.const 4)
+ )
+ (return
+ (i32.const 0)
)
)
(func $doublediamond_in_a_loop (param $$0 i32) (param $$1 i32) (param $$2 i32) (result i32)
@@ -428,215 +388,199 @@
)
)
(func $test3 (param $$0 i32)
- (block $fake_return_waka123
- (block
- (block $label$0
+ (block $label$0
+ (br_if
+ (i32.const 0)
+ $label$0
+ )
+ (loop $label$2 $label$1
+ (br_if
+ (get_local $$0)
+ $label$2
+ )
+ (loop $label$4 $label$3
(br_if
- (i32.const 0)
- $label$0
- )
- (loop $label$2 $label$1
- (br_if
+ (i32.ne
+ (get_local $$0)
(get_local $$0)
- $label$2
- )
- (loop $label$4 $label$3
- (br_if
- (i32.ne
- (get_local $$0)
- (get_local $$0)
- )
- $label$3
- )
)
- (call_import $bar)
- (br $label$1)
+ $label$3
)
- (unreachable)
)
- (br $fake_return_waka123)
+ (call_import $bar)
+ (br $label$1)
)
+ (unreachable)
)
+ (return)
)
(func $test4 (param $$0 i32)
- (block $fake_return_waka123
- (block
- (block $label$0
- (block $label$1
- (block $label$2
- (br_if
- (i32.gt_s
- (get_local $$0)
- (i32.const 3)
- )
- $label$2
- )
- (block $label$3
- (br_if
- (i32.eq
- (get_local $$0)
- (i32.const 0)
- )
- $label$3
- )
- (br_if
- (i32.ne
- (get_local $$0)
- (i32.const 2)
- )
- $label$1
- )
- )
- (br $fake_return_waka123)
+ (block $label$0
+ (block $label$1
+ (block $label$2
+ (br_if
+ (i32.gt_s
+ (get_local $$0)
+ (i32.const 3)
)
+ $label$2
+ )
+ (block $label$3
(br_if
(i32.eq
(get_local $$0)
- (i32.const 4)
+ (i32.const 0)
)
- $label$0
+ $label$3
)
(br_if
(i32.ne
(get_local $$0)
- (i32.const 622)
+ (i32.const 2)
)
$label$1
)
- (br $fake_return_waka123)
)
- (br $fake_return_waka123)
+ (return)
+ )
+ (br_if
+ (i32.eq
+ (get_local $$0)
+ (i32.const 4)
+ )
+ $label$0
+ )
+ (br_if
+ (i32.ne
+ (get_local $$0)
+ (i32.const 622)
+ )
+ $label$1
)
- (br $fake_return_waka123)
+ (return)
)
+ (return)
)
+ (return)
)
(func $test5 (param $$0 i32) (param $$1 i32)
(local $$2 i32)
- (block $fake_return_waka123
- (block
- (set_local $$0
- (i32.and
- (get_local $$0)
- (i32.const 1)
- )
- )
- (set_local $$2
- (i32.and
- (get_local $$1)
- (i32.const 1)
+ (set_local $$0
+ (i32.and
+ (get_local $$0)
+ (i32.const 1)
+ )
+ )
+ (set_local $$2
+ (i32.and
+ (get_local $$1)
+ (i32.const 1)
+ )
+ )
+ (block $label$0
+ (loop $label$2 $label$1
+ (set_local $$1
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 0)
)
)
- (block $label$0
- (loop $label$2 $label$1
- (set_local $$1
- (i32.store align=4
- (i32.const 0)
- (i32.const 0)
- )
- )
- (br_if
- (i32.eq
- (get_local $$0)
- (i32.const 0)
- )
- $label$0
- )
- (i32.store align=4
- (get_local $$1)
- (i32.const 1)
- )
- (br_if
- (get_local $$2)
- $label$1
- )
- )
- (i32.store align=4
+ (br_if
+ (i32.eq
+ (get_local $$0)
(i32.const 0)
- (i32.const 3)
)
- (br $fake_return_waka123)
+ $label$0
)
(i32.store align=4
- (i32.const 0)
- (i32.const 2)
+ (get_local $$1)
+ (i32.const 1)
+ )
+ (br_if
+ (get_local $$2)
+ $label$1
)
- (br $fake_return_waka123)
)
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 3)
+ )
+ (return)
+ )
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 2)
)
+ (return)
)
(func $test6 (param $$0 i32) (param $$1 i32)
(local $$2 i32)
(local $$3 i32)
(local $$4 i32)
- (block $fake_return_waka123
- (block
- (set_local $$2
- (i32.and
- (get_local $$0)
- (i32.const 1)
+ (set_local $$2
+ (i32.and
+ (get_local $$0)
+ (i32.const 1)
+ )
+ )
+ (block $label$0
+ (block $label$1
+ (loop $label$3 $label$2
+ (set_local $$0
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 0)
+ )
)
- )
- (block $label$0
- (block $label$1
- (loop $label$3 $label$2
- (set_local $$0
- (i32.store align=4
- (i32.const 0)
- (i32.const 0)
- )
- )
- (br_if
- (i32.eq
- (get_local $$2)
- (i32.const 0)
- )
- $label$0
- )
- (br_if
- (i32.eq
- (set_local $$3
- (i32.and
- (get_local $$1)
- (set_local $$4
- (i32.store align=4
- (get_local $$0)
- (i32.const 1)
- )
- )
+ (br_if
+ (i32.eq
+ (get_local $$2)
+ (i32.const 0)
+ )
+ $label$0
+ )
+ (br_if
+ (i32.eq
+ (set_local $$3
+ (i32.and
+ (get_local $$1)
+ (set_local $$4
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 1)
)
)
- (i32.const 0)
)
- $label$1
- )
- (i32.store align=4
- (get_local $$0)
- (get_local $$4)
)
- (br_if
- (get_local $$3)
- $label$2
- )
- )
- (i32.store align=4
(i32.const 0)
- (i32.const 2)
)
- (br $fake_return_waka123)
+ $label$1
)
(i32.store align=4
- (i32.const 0)
- (i32.const 3)
+ (get_local $$0)
+ (get_local $$4)
+ )
+ (br_if
+ (get_local $$3)
+ $label$2
)
)
(i32.store align=4
(i32.const 0)
- (i32.const 4)
+ (i32.const 2)
)
- (br $fake_return_waka123)
+ (return)
+ )
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 3)
)
)
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 4)
+ )
+ (return)
)
(func $test7 (param $$0 i32) (param $$1 i32)
(local $$2 i32)
@@ -730,80 +674,76 @@
(func $test9
(local $$0 i32)
(local $$1 i32)
- (block $fake_return_waka123
- (block
- (set_local $$0
- (i32.store align=4
- (i32.const 0)
- (i32.const 0)
+ (set_local $$0
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 0)
+ )
+ )
+ (loop $label$1 $label$0
+ (br_if
+ (i32.eq
+ (i32.and
+ (set_local $$1
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 1)
+ )
+ )
+ (call_import $a)
)
+ (i32.const 0)
)
- (loop $label$1 $label$0
+ $label$1
+ )
+ (loop $label$3 $label$2
+ (block $label$4
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 2)
+ )
(br_if
(i32.eq
(i32.and
- (set_local $$1
- (i32.store align=4
- (get_local $$0)
- (i32.const 1)
- )
- )
(call_import $a)
+ (get_local $$1)
)
(i32.const 0)
)
- $label$1
+ $label$4
)
- (loop $label$3 $label$2
- (block $label$4
- (i32.store align=4
- (get_local $$0)
- (i32.const 2)
- )
- (br_if
- (i32.eq
- (i32.and
- (call_import $a)
- (get_local $$1)
- )
- (i32.const 0)
- )
- $label$4
- )
- (i32.store align=4
- (get_local $$0)
- (i32.const 3)
- )
- (br_if
- (i32.and
- (call_import $a)
- (get_local $$1)
- )
- $label$2
- )
- (br $label$0)
- )
- (i32.store align=4
- (get_local $$0)
- (i32.const 4)
- )
- (br_if
- (i32.and
- (call_import $a)
- (get_local $$1)
- )
- $label$2
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 3)
+ )
+ (br_if
+ (i32.and
+ (call_import $a)
+ (get_local $$1)
)
- (br $label$0)
+ $label$2
)
+ (br $label$0)
)
(i32.store align=4
- (i32.const 0)
- (i32.const 5)
+ (get_local $$0)
+ (i32.const 4)
)
- (br $fake_return_waka123)
+ (br_if
+ (i32.and
+ (call_import $a)
+ (get_local $$1)
+ )
+ $label$2
+ )
+ (br $label$0)
)
)
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 5)
+ )
+ (return)
)
(func $test10
(local $$0 i32)
@@ -811,274 +751,254 @@
(local $$2 i32)
(local $$3 i32)
(local $$4 i32)
- (block $fake_return_waka123
- (block
- (set_local $$0
- (i32.const 2)
- )
- (loop $label$1 $label$0
+ (set_local $$0
+ (i32.const 2)
+ )
+ (loop $label$1 $label$0
+ (set_local $$4
+ (get_local $$1)
+ )
+ (set_local $$3
+ (get_local $$0)
+ )
+ (set_local $$1
+ (i32.const 0)
+ )
+ (set_local $$0
+ (i32.const 3)
+ )
+ (set_local $$2
+ (i32.const 4)
+ )
+ (br_if
+ (get_local $$4)
+ $label$0
+ )
+ (block $label$2
+ (loop $label$4 $label$3
(set_local $$4
- (get_local $$1)
+ (get_local $$3)
)
(set_local $$3
- (get_local $$0)
- )
- (set_local $$1
- (i32.const 0)
- )
- (set_local $$0
- (i32.const 3)
- )
- (set_local $$2
- (i32.const 4)
- )
- (br_if
- (get_local $$4)
- $label$0
+ (get_local $$2)
)
- (block $label$2
- (loop $label$4 $label$3
- (set_local $$4
- (get_local $$3)
- )
- (set_local $$3
+ (loop $label$6 $label$5
+ (set_local $$2
+ (get_local $$4)
+ )
+ (br_if
+ (i32.gt_u
(get_local $$2)
+ (i32.const 4)
)
- (loop $label$6 $label$5
- (set_local $$2
- (get_local $$4)
- )
- (br_if
- (i32.gt_u
- (get_local $$2)
- (i32.const 4)
- )
- $label$0
- )
- (set_local $$4
- (get_local $$3)
- )
- (tableswitch
- (get_local $$2)
- (table (br $label$5) (br $label$6) (br $label$0) (br $label$3) (br $label$2)) (br $label$5)
- )
- )
+ $label$0
+ )
+ (set_local $$4
+ (get_local $$3)
+ )
+ (tableswitch
+ (get_local $$2)
+ (table (br $label$5) (br $label$6) (br $label$0) (br $label$3) (br $label$2)) (br $label$5)
)
- (br $fake_return_waka123)
- )
- (set_local $$1
- (i32.const 1)
)
- (br $label$0)
)
+ (return)
+ )
+ (set_local $$1
+ (i32.const 1)
)
+ (br $label$0)
)
)
(func $test11
(local $$0 i32)
- (block $fake_return_waka123
- (block
- (block $label$0
- (block $label$1
- (block $label$2
- (block $label$3
- (br_if
- (set_local $$0
- (i32.store align=4
- (i32.const 0)
- (i32.const 0)
- )
- )
- $label$3
- )
- (block $label$4
- (i32.store align=4
- (get_local $$0)
- (i32.const 1)
- )
- (br_if
- (get_local $$0)
- $label$4
- )
- (i32.store align=4
- (i32.const 0)
- (i32.const 2)
- )
- (br_if
- (i32.const 0)
- $label$2
- )
- )
+ (block $label$0
+ (block $label$1
+ (block $label$2
+ (block $label$3
+ (br_if
+ (set_local $$0
(i32.store align=4
(i32.const 0)
- (i32.const 3)
+ (i32.const 0)
)
- (br $fake_return_waka123)
)
+ $label$3
+ )
+ (block $label$4
(i32.store align=4
(get_local $$0)
- (i32.const 4)
+ (i32.const 1)
)
(br_if
(get_local $$0)
- $label$0
+ $label$4
)
(i32.store align=4
(i32.const 0)
- (i32.const 5)
+ (i32.const 2)
)
(br_if
- (i32.eq
- (i32.const 0)
- (i32.const 0)
- )
- $label$1
+ (i32.const 0)
+ $label$2
)
)
(i32.store align=4
(i32.const 0)
- (i32.const 7)
+ (i32.const 3)
)
- (br $fake_return_waka123)
+ (return)
+ )
+ (i32.store align=4
+ (get_local $$0)
+ (i32.const 4)
+ )
+ (br_if
+ (get_local $$0)
+ $label$0
)
(i32.store align=4
(i32.const 0)
- (i32.const 6)
+ (i32.const 5)
+ )
+ (br_if
+ (i32.eq
+ (i32.const 0)
+ (i32.const 0)
+ )
+ $label$1
)
- (br $fake_return_waka123)
)
(i32.store align=4
(i32.const 0)
- (i32.const 8)
+ (i32.const 7)
)
- (br $fake_return_waka123)
+ (return)
+ )
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 6)
)
+ (return)
)
+ (i32.store align=4
+ (i32.const 0)
+ (i32.const 8)
+ )
+ (return)
)
(func $test12 (param $$0 i32)
(local $$1 i32)
- (block $fake_return_waka123
- (block
- (loop $label$1 $label$0
- (block $label$2
- (block $label$3
- (block $label$4
- (br_if
- (i32.gt_s
- (set_local $$1
- (i32.load8_u align=1
- (get_local $$0)
- )
- )
- (i32.const 103)
- )
- $label$4
- )
- (br_if
- (i32.eq
- (get_local $$1)
- (i32.const 42)
- )
- $label$2
- )
- (br_if
- (i32.eq
- (get_local $$1)
- (i32.const 76)
+ (loop $label$1 $label$0
+ (block $label$2
+ (block $label$3
+ (block $label$4
+ (br_if
+ (i32.gt_s
+ (set_local $$1
+ (i32.load8_u align=1
+ (get_local $$0)
)
- $label$2
)
- (br $label$3)
+ (i32.const 103)
)
- (br_if
- (i32.eq
- (get_local $$1)
- (i32.const 108)
- )
- $label$2
+ $label$4
+ )
+ (br_if
+ (i32.eq
+ (get_local $$1)
+ (i32.const 42)
)
- (br_if
- (i32.eq
- (get_local $$1)
- (i32.const 104)
- )
- $label$2
+ $label$2
+ )
+ (br_if
+ (i32.eq
+ (get_local $$1)
+ (i32.const 76)
)
+ $label$2
)
- (br $fake_return_waka123)
+ (br $label$3)
)
- (set_local $$0
- (i32.add
- (get_local $$0)
- (i32.const 1)
+ (br_if
+ (i32.eq
+ (get_local $$1)
+ (i32.const 108)
)
+ $label$2
+ )
+ (br_if
+ (i32.eq
+ (get_local $$1)
+ (i32.const 104)
+ )
+ $label$2
)
- (br $label$0)
)
+ (return)
)
+ (set_local $$0
+ (i32.add
+ (get_local $$0)
+ (i32.const 1)
+ )
+ )
+ (br $label$0)
)
)
(func $test13
(local $$0 i32)
- (block $fake_return_waka123
- (block
- (block $label$0
- (br_if
- (i32.eq
- (i32.const 0)
- (i32.const 0)
- )
- $label$0
- )
- (br $fake_return_waka123)
- )
- (set_local $$0
+ (block $label$0
+ (br_if
+ (i32.eq
+ (i32.const 0)
(i32.const 0)
)
- (block $label$1
- (br_if
+ $label$0
+ )
+ (return)
+ )
+ (set_local $$0
+ (i32.const 0)
+ )
+ (block $label$1
+ (br_if
+ (get_local $$0)
+ $label$1
+ )
+ (set_local $$0
+ (i32.const 0)
+ )
+ )
+ (block $label$2
+ (br_if
+ (i32.eq
+ (i32.and
(get_local $$0)
- $label$1
- )
- (set_local $$0
- (i32.const 0)
- )
- )
- (block $label$2
- (br_if
- (i32.eq
- (i32.and
- (get_local $$0)
- (i32.const 1)
- )
- (i32.const 0)
- )
- $label$2
+ (i32.const 1)
)
+ (i32.const 0)
)
- (unreachable)
+ $label$2
)
)
+ (unreachable)
)
(func $test14
- (block $fake_return_waka123
- (block
- (loop $label$1 $label$0
- (br_if
- (i32.const 0)
- $label$0
- )
- )
- (loop $label$3 $label$2
- (i32.const 0)
- (br_if
- (i32.const 0)
- $label$2
- )
- )
- (br $fake_return_waka123)
+ (loop $label$1 $label$0
+ (br_if
+ (i32.const 0)
+ $label$0
+ )
+ )
+ (loop $label$3 $label$2
+ (i32.const 0)
+ (br_if
+ (i32.const 0)
+ $label$2
)
)
+ (return)
)
)
;; METADATA: { "asmConsts": {},"staticBump": 4 }
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-22 06:04:42 +0000