summaryrefslogtreecommitdiff
path: root/test/unit.fromasm.imprecise
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit.fromasm.imprecise')
-rw-r--r--test/unit.fromasm.imprecise130
1 files changed, 64 insertions, 66 deletions
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 0209755b8..84ff8d404 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -111,10 +111,10 @@
)
)
(func $switcher (param $0 i32) (result i32)
- (block $switch$0
- (block $switch-case$2
- (block $switch-case$1
- (br_table $switch-case$1 $switch-case$2 $switch$0
+ (block $switch
+ (block $switch-case0
+ (block $switch-case
+ (br_table $switch-case $switch-case0 $switch
(i32.sub
(get_local $0)
(i32.const 1)
@@ -129,10 +129,10 @@
(i32.const 2)
)
)
- (block $switch$3
- (block $switch-case$5
- (block $switch-case$4
- (br_table $switch-case$5 $switch$3 $switch$3 $switch$3 $switch$3 $switch$3 $switch$3 $switch-case$4 $switch$3
+ (block $switch1
+ (block $switch-case3
+ (block $switch-case2
+ (br_table $switch-case3 $switch1 $switch1 $switch1 $switch1 $switch1 $switch1 $switch-case2 $switch1
(i32.sub
(get_local $0)
(i32.const 5)
@@ -148,11 +148,11 @@
)
)
(block $label$break$Lout
- (block $switch-case$13
- (block $switch-case$10
- (block $switch-case$7
- (block $switch-case$6
- (br_table $switch-case$13 $label$break$Lout $label$break$Lout $switch-case$10 $label$break$Lout $label$break$Lout $label$break$Lout $label$break$Lout $switch-case$7 $label$break$Lout $switch-case$6 $label$break$Lout
+ (block $switch-case9
+ (block $switch-case6
+ (block $switch-case5
+ (block $switch-case4
+ (br_table $switch-case9 $label$break$Lout $label$break$Lout $switch-case6 $label$break$Lout $label$break$Lout $label$break$Lout $label$break$Lout $switch-case5 $label$break$Lout $switch-case4 $label$break$Lout
(i32.sub
(get_local $0)
(i32.const 2)
@@ -167,11 +167,11 @@
(block $label$break$L1
(loop $label$continue$L3
(block $label$break$L3
- (block $switch-default$18
- (block $switch-case$17
- (block $switch-case$16
- (block $switch-case$15
- (br_table $switch-case$15 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-case$17 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-default$18 $switch-case$16 $switch-default$18
+ (block $switch-default
+ (block $switch-case13
+ (block $switch-case12
+ (block $switch-case11
+ (br_table $switch-case11 $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-default $switch-case13 $switch-default $switch-default $switch-default $switch-default $switch-default $switch-case12 $switch-default
(i32.sub
(get_local $0)
(i32.const -1)
@@ -274,7 +274,7 @@
(set_local $0
(i32.const 1)
)
- (loop $for-in$1
+ (loop $for-in
(if
(i32.lt_s
(get_local $0)
@@ -290,7 +290,7 @@
(i32.const 1)
)
)
- (br $for-in$1)
+ (br $for-in)
)
)
)
@@ -330,22 +330,22 @@
)
)
(func $continues
- (loop $while-in$1
+ (loop $while-in
(call $print
(i32.const 1)
)
- (loop $unlikely-continue$3
+ (loop $unlikely-continue
(call $print
(i32.const 5)
)
- (br_if $unlikely-continue$3
+ (br_if $unlikely-continue
(call $return_int)
)
)
(call $print
(i32.const 2)
)
- (br $while-in$1)
+ (br $while-in)
)
)
(func $bitcasts (param $0 i32) (param $1 f32)
@@ -476,9 +476,9 @@
)
)
(func $phi (result i32)
- (block $do-once$0 i32
+ (block $do-once i32
(drop
- (br_if $do-once$0
+ (br_if $do-once
(i32.const 0)
(call $lb
(i32.const 1)
@@ -541,7 +541,7 @@
(block $label$break$L1
(if
(get_local $0)
- (loop $while-in$2
+ (loop $while-in
(br_if $label$break$L1
(i32.eqz
(get_local $0)
@@ -550,7 +550,7 @@
(call $zeroInit
(i32.const 0)
)
- (br $while-in$2)
+ (br $while-in)
)
)
)
@@ -704,8 +704,8 @@
)
(func $loophi (param $0 i32) (param $1 i32)
(local $2 i32)
- (loop $while-in$1
- (block $while-out$0
+ (loop $while-in
+ (block $while-out
(call $loophi
(get_local $0)
(i32.const 0)
@@ -714,11 +714,11 @@
(tee_local $2
(get_local $0)
)
- (br_if $while-out$0
+ (br_if $while-out
(get_local $2)
)
)
- (br_if $while-in$1
+ (br_if $while-in
(i32.eq
(tee_local $0
(i32.add
@@ -744,7 +744,7 @@
(set_local $0
(i32.const 0)
)
- (loop $while-in$1
+ (loop $while-in
(set_local $2
(get_local $0)
)
@@ -754,7 +754,7 @@
(get_local $2)
)
)
- (br_if $while-in$1
+ (br_if $while-in
(tee_local $0
(i32.add
(get_local $0)
@@ -790,8 +790,8 @@
(i32.const -1)
)
(block $jumpthreading$inner$1
- (loop $while-in$1
- (br_if $while-in$1
+ (loop $while-in
+ (br_if $while-in
(i32.eqz
(tee_local $0
(i32.add
@@ -883,7 +883,7 @@
(call $h
(i32.const -4)
)
- (block $jumpthreading$outer$6
+ (block $label$break$L1
(block $jumpthreading$inner$6
(if
(get_local $0)
@@ -894,7 +894,7 @@
(br $jumpthreading$inner$6)
)
)
- (br $jumpthreading$outer$6)
+ (br $label$break$L1)
)
(call $h
(i32.const 11)
@@ -903,35 +903,33 @@
(call $h
(i32.const -5)
)
- (block $jumpthreading$outer$8
+ (block $label$break$L10
(block $jumpthreading$inner$8
- (block $jumpthreading$outer$7
- (block $jumpthreading$inner$7
- (if
- (get_local $0)
- (block
- (call $h
- (i32.const 12)
- )
- (br_if $jumpthreading$inner$7
- (i32.eq
- (get_local $0)
- (i32.const 8)
- )
+ (block $jumpthreading$inner$7
+ (if
+ (get_local $0)
+ (block
+ (call $h
+ (i32.const 12)
+ )
+ (br_if $jumpthreading$inner$7
+ (i32.eq
+ (get_local $0)
+ (i32.const 8)
)
- (br $jumpthreading$inner$8)
)
+ (br $jumpthreading$inner$8)
)
- (br $jumpthreading$outer$8)
- )
- (call $h
- (i32.const 13)
- )
- (br_if $jumpthreading$inner$8
- (get_local $0)
)
+ (br $label$break$L10)
+ )
+ (call $h
+ (i32.const 13)
+ )
+ (br_if $jumpthreading$inner$8
+ (get_local $0)
)
- (br $jumpthreading$outer$8)
+ (br $label$break$L10)
)
(call $h
(i32.const 14)
@@ -948,7 +946,7 @@
(local $2 i32)
(local $3 i32)
(local $4 i32)
- (loop $while-in$1
+ (loop $while-in
(block $jumpthreading$outer$1
(block $jumpthreading$inner$1
(if
@@ -964,14 +962,14 @@
)
)
)
- (br $while-in$1)
+ (br $while-in)
)
(i32.store
(get_local $3)
(get_local $4)
)
)
- (br $while-in$1)
+ (br $while-in)
)
)
(func $__Z12multi_varargiz (param $0 i32)
@@ -979,8 +977,8 @@
(local $2 i32)
(if
(get_local $1)
- (loop $while-in$1
- (br_if $while-in$1
+ (loop $while-in
+ (br_if $while-in
(i32.eqz
(get_local $2)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 08:01:44 +0000