summaryrefslogtreecommitdiff
path: root/test/memorygrowth.fromasm.imprecise
diff options
context:
space:
mode:
Diffstat (limited to 'test/memorygrowth.fromasm.imprecise')
-rw-r--r--test/memorygrowth.fromasm.imprecise294
1 files changed, 147 insertions, 147 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise
index b42004d31..433c0c2a4 100644
--- a/test/memorygrowth.fromasm.imprecise
+++ b/test/memorygrowth.fromasm.imprecise
@@ -146,7 +146,7 @@
(set_local $13
(get_local $25)
)
- (block $do-once$0
+ (block $do-once
(if
(i32.lt_u
(get_local $0)
@@ -814,8 +814,8 @@
(set_local $3
(get_local $4)
)
- (loop $while-in$7
- (block $while-out$6
+ (loop $while-in
+ (block $while-out
(if
(tee_local $4
(i32.load offset=16
@@ -841,7 +841,7 @@
(set_local $1
(get_local $3)
)
- (br $while-out$6)
+ (br $while-out)
)
)
)
@@ -878,7 +878,7 @@
(get_local $6)
)
)
- (br $while-in$7)
+ (br $while-in)
)
)
(if
@@ -909,7 +909,7 @@
(get_local $1)
)
)
- (block $do-once$8
+ (block $do-once4
(if
(i32.eq
(tee_local $17
@@ -956,11 +956,11 @@
(set_local $23
(i32.const 0)
)
- (br $do-once$8)
+ (br $do-once4)
)
)
)
- (loop $while-in$11
+ (loop $while-in7
(if
(tee_local $9
(i32.load
@@ -979,7 +979,7 @@
(set_local $6
(get_local $10)
)
- (br $while-in$11)
+ (br $while-in7)
)
)
(if
@@ -1000,7 +1000,7 @@
(set_local $6
(get_local $10)
)
- (br $while-in$11)
+ (br $while-in7)
)
)
)
@@ -1077,7 +1077,7 @@
)
)
)
- (block $do-once$12
+ (block $do-once8
(if
(get_local $0)
(block
@@ -1125,7 +1125,7 @@
)
)
)
- (br $do-once$12)
+ (br $do-once8)
)
)
)
@@ -1160,7 +1160,7 @@
(get_local $23)
)
)
- (br_if $do-once$12
+ (br_if $do-once8
(i32.eqz
(get_local $23)
)
@@ -1603,7 +1603,7 @@
(set_local $8
(i32.const 0)
)
- (loop $while-in$18
+ (loop $while-in14
(if
(i32.lt_u
(tee_local $2
@@ -1722,7 +1722,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in14)
)
)
)
@@ -1784,7 +1784,7 @@
(set_local $6
(get_local $0)
)
- (br $do-once$0)
+ (br $do-once)
)
)
(set_local $6
@@ -1919,7 +1919,7 @@
(get_local $9)
(i32.const 90)
)
- (loop $while-in$20
+ (loop $while-in16
(set_local $9
(i32.const 0)
)
@@ -1969,7 +1969,7 @@
(set_local $32
(get_local $8)
)
- (br $while-in$20)
+ (br $while-in16)
)
)
(if
@@ -1985,7 +1985,7 @@
(set_local $32
(get_local $8)
)
- (br $while-in$20)
+ (br $while-in16)
)
(block
(set_local $16
@@ -2039,7 +2039,7 @@
(get_local $11)
)
)
- (block $do-once$21
+ (block $do-once17
(if
(i32.eq
(tee_local $3
@@ -2087,11 +2087,11 @@
(set_local $22
(i32.const 0)
)
- (br $do-once$21)
+ (br $do-once17)
)
)
)
- (loop $while-in$24
+ (loop $while-in20
(if
(tee_local $6
(i32.load
@@ -2110,7 +2110,7 @@
(set_local $3
(get_local $2)
)
- (br $while-in$24)
+ (br $while-in20)
)
)
(if
@@ -2131,7 +2131,7 @@
(set_local $3
(get_local $2)
)
- (br $while-in$24)
+ (br $while-in20)
)
)
)
@@ -2208,7 +2208,7 @@
)
)
)
- (block $do-once$25
+ (block $do-once21
(if
(get_local $5)
(block
@@ -2256,7 +2256,7 @@
)
)
)
- (br $do-once$25)
+ (br $do-once21)
)
)
)
@@ -2291,7 +2291,7 @@
(get_local $22)
)
)
- (br_if $do-once$25
+ (br_if $do-once21
(i32.eqz
(get_local $22)
)
@@ -2366,7 +2366,7 @@
)
)
)
- (block $do-once$29
+ (block $do-once25
(if
(i32.lt_u
(get_local $16)
@@ -2524,7 +2524,7 @@
(get_local $8)
(get_local $5)
)
- (br $do-once$29)
+ (br $do-once25)
)
)
(set_local $15
@@ -2689,7 +2689,7 @@
(get_local $8)
(get_local $8)
)
- (br $do-once$29)
+ (br $do-once25)
)
)
(set_local $10
@@ -2716,8 +2716,8 @@
(get_local $15)
)
)
- (loop $while-in$32
- (block $while-out$31
+ (loop $while-in28
+ (block $while-out27
(if
(i32.eq
(i32.and
@@ -2735,7 +2735,7 @@
(set_local $9
(i32.const 148)
)
- (br $while-out$31)
+ (br $while-out27)
)
)
(if
@@ -2768,7 +2768,7 @@
(set_local $2
(get_local $3)
)
- (br $while-in$32)
+ (br $while-in28)
)
(block
(set_local $21
@@ -3218,8 +3218,8 @@
(set_local $7
(i32.const 1656)
)
- (loop $while-in$36
- (block $while-out$35
+ (loop $while-in32
+ (block $while-out31
(if
(i32.le_u
(tee_local $3
@@ -3251,11 +3251,11 @@
(set_local $5
(get_local $19)
)
- (br $while-out$35)
+ (br $while-out31)
)
)
)
- (br_if $while-in$36
+ (br_if $while-in32
(tee_local $7
(i32.load offset=8
(get_local $7)
@@ -3335,7 +3335,7 @@
)
)
)
- (block $do-once$37
+ (block $do-once33
(if
(i32.eq
(get_local $9)
@@ -3415,7 +3415,7 @@
(i32.const 1648)
)
)
- (br_if $do-once$37
+ (br_if $do-once33
(i32.or
(i32.le_u
(get_local $0)
@@ -3672,7 +3672,7 @@
(get_local $12)
)
)
- (block $do-once$42
+ (block $do-once38
(if
(tee_local $12
(i32.load
@@ -3683,8 +3683,8 @@
(set_local $1
(i32.const 1656)
)
- (loop $do-in$47
- (block $do-out$46
+ (loop $do-in41
+ (block $do-out40
(if
(i32.eq
(get_local $20)
@@ -3722,10 +3722,10 @@
(set_local $9
(i32.const 201)
)
- (br $do-out$46)
+ (br $do-out40)
)
)
- (br_if $do-in$47
+ (br_if $do-in41
(i32.ne
(tee_local $1
(i32.load offset=8
@@ -3835,7 +3835,7 @@
(i32.const 1696)
)
)
- (br $do-once$42)
+ (br $do-once38)
)
)
)
@@ -3869,8 +3869,8 @@
(set_local $1
(i32.const 1656)
)
- (loop $while-in$49
- (block $while-out$48
+ (loop $while-in43
+ (block $while-out42
(if
(i32.eq
(i32.load
@@ -3888,10 +3888,10 @@
(set_local $9
(i32.const 209)
)
- (br $while-out$48)
+ (br $while-out42)
)
)
- (br_if $while-in$49
+ (br_if $while-in43
(tee_local $1
(i32.load offset=8
(get_local $1)
@@ -4007,7 +4007,7 @@
(i32.const 3)
)
)
- (block $do-once$50
+ (block $do-once44
(if
(i32.eq
(get_local $4)
@@ -4075,7 +4075,7 @@
)
(get_local $2)
)
- (br $do-once$50)
+ (br $do-once44)
)
)
(i32.store
@@ -4118,7 +4118,7 @@
(get_local $4)
)
)
- (block $do-once$53
+ (block $do-once47
(if
(i32.ne
(tee_local $21
@@ -4147,7 +4147,7 @@
)
(call $qa)
)
- (br_if $do-once$53
+ (br_if $do-once47
(i32.eq
(i32.load offset=12
(get_local $21)
@@ -4183,7 +4183,7 @@
(br $label$break$e)
)
)
- (block $do-once$55
+ (block $do-once49
(if
(i32.eq
(get_local $11)
@@ -4219,7 +4219,7 @@
(set_local $44
(get_local $0)
)
- (br $do-once$55)
+ (br $do-once49)
)
)
(call $qa)
@@ -4241,7 +4241,7 @@
(get_local $4)
)
)
- (block $do-once$57
+ (block $do-once51
(if
(i32.eq
(tee_local $0
@@ -4289,11 +4289,11 @@
(set_local $24
(i32.const 0)
)
- (br $do-once$57)
+ (br $do-once51)
)
)
)
- (loop $while-in$60
+ (loop $while-in54
(if
(tee_local $3
(i32.load
@@ -4312,7 +4312,7 @@
(set_local $16
(get_local $7)
)
- (br $while-in$60)
+ (br $while-in54)
)
)
(if
@@ -4333,7 +4333,7 @@
(set_local $16
(get_local $7)
)
- (br $while-in$60)
+ (br $while-in54)
)
)
)
@@ -4415,7 +4415,7 @@
(get_local $19)
)
)
- (block $do-once$61
+ (block $do-once55
(if
(i32.eq
(get_local $4)
@@ -4440,7 +4440,7 @@
(get_local $21)
(get_local $24)
)
- (br_if $do-once$61
+ (br_if $do-once55
(get_local $24)
)
(i32.store
@@ -4635,7 +4635,7 @@
)
)
)
- (block $do-once$65
+ (block $do-once59
(if
(i32.and
(tee_local $11
@@ -4674,7 +4674,7 @@
(set_local $38
(get_local $19)
)
- (br $do-once$65)
+ (br $do-once59)
)
)
(call $qa)
@@ -4715,7 +4715,7 @@
(get_local $1)
(get_local $2)
)
- (br $do-once$50)
+ (br $do-once44)
)
)
(set_local $0
@@ -4723,7 +4723,7 @@
(i32.const 1512)
(i32.shl
(tee_local $6
- (block $do-once$67 i32
+ (block $do-once61 i32
(if i32
(tee_local $0
(i32.shr_u
@@ -4733,7 +4733,7 @@
)
(block i32
(drop
- (br_if $do-once$67
+ (br_if $do-once61
(i32.const 31)
(i32.gt_u
(get_local $14)
@@ -4886,7 +4886,7 @@
(get_local $1)
(get_local $1)
)
- (br $do-once$50)
+ (br $do-once44)
)
)
(set_local $7
@@ -4913,8 +4913,8 @@
(get_local $0)
)
)
- (loop $while-in$70
- (block $while-out$69
+ (loop $while-in64
+ (block $while-out63
(if
(i32.eq
(i32.and
@@ -4932,7 +4932,7 @@
(set_local $9
(i32.const 279)
)
- (br $while-out$69)
+ (br $while-out63)
)
)
(if
@@ -4965,7 +4965,7 @@
(set_local $2
(get_local $5)
)
- (br $while-in$70)
+ (br $while-in64)
)
(block
(set_local $46
@@ -5083,8 +5083,8 @@
)
)
)
- (loop $while-in$72
- (block $while-out$71
+ (loop $while-in66
+ (block $while-out65
(if
(i32.le_u
(tee_local $1
@@ -5110,7 +5110,7 @@
(set_local $0
(get_local $14)
)
- (br $while-out$71)
+ (br $while-out65)
)
)
)
@@ -5119,7 +5119,7 @@
(get_local $30)
)
)
- (br $while-in$72)
+ (br $while-in66)
)
)
(set_local $14
@@ -5287,7 +5287,7 @@
(i32.const 24)
)
)
- (loop $do-in$74
+ (loop $do-in68
(i32.store
(tee_local $1
(i32.add
@@ -5297,7 +5297,7 @@
)
(i32.const 7)
)
- (br_if $do-in$74
+ (br_if $do-in68
(i32.lt_u
(i32.add
(get_local $1)
@@ -5437,7 +5437,7 @@
(get_local $12)
(get_local $13)
)
- (br $do-once$42)
+ (br $do-once38)
)
)
(set_local $0
@@ -5597,7 +5597,7 @@
(get_local $12)
(get_local $12)
)
- (br $do-once$42)
+ (br $do-once38)
)
)
(set_local $4
@@ -5624,8 +5624,8 @@
(get_local $0)
)
)
- (loop $while-in$76
- (block $while-out$75
+ (loop $while-in70
+ (block $while-out69
(if
(i32.eq
(i32.and
@@ -5643,7 +5643,7 @@
(set_local $9
(i32.const 305)
)
- (br $while-out$75)
+ (br $while-out69)
)
)
(if
@@ -5676,7 +5676,7 @@
(set_local $5
(get_local $2)
)
- (br $while-in$76)
+ (br $while-in70)
)
(block
(set_local $48
@@ -5827,7 +5827,7 @@
(set_local $4
(i32.const 0)
)
- (loop $do-in$45
+ (loop $do-in
(i32.store offset=12
(tee_local $13
(i32.add
@@ -5847,7 +5847,7 @@
(get_local $13)
(get_local $13)
)
- (br_if $do-in$45
+ (br_if $do-in
(i32.ne
(tee_local $4
(i32.add
@@ -6063,7 +6063,7 @@
)
)
)
- (block $do-once$0
+ (block $do-once
(if
(i32.and
(get_local $3)
@@ -6142,7 +6142,7 @@
(set_local $7
(get_local $5)
)
- (br $do-once$0)
+ (br $do-once)
)
)
(i32.store
@@ -6256,7 +6256,7 @@
(set_local $7
(get_local $5)
)
- (br $do-once$0)
+ (br $do-once)
)
)
(if
@@ -6311,7 +6311,7 @@
(set_local $7
(get_local $5)
)
- (br $do-once$0)
+ (br $do-once)
)
)
(set_local $11
@@ -6319,7 +6319,7 @@
(get_local $0)
)
)
- (block $do-once$2
+ (block $do-once0
(if
(i32.eq
(tee_local $1
@@ -6366,11 +6366,11 @@
(set_local $4
(i32.const 0)
)
- (br $do-once$2)
+ (br $do-once0)
)
)
)
- (loop $while-in$5
+ (loop $while-in
(if
(tee_local $10
(i32.load
@@ -6389,7 +6389,7 @@
(set_local $3
(get_local $6)
)
- (br $while-in$5)
+ (br $while-in)
)
)
(if
@@ -6410,7 +6410,7 @@
(set_local $3
(get_local $6)
)
- (br $while-in$5)
+ (br $while-in)
)
(block
(set_local $6
@@ -6548,7 +6548,7 @@
(set_local $7
(get_local $5)
)
- (br $do-once$0)
+ (br $do-once)
)
)
)
@@ -6594,7 +6594,7 @@
(set_local $7
(get_local $5)
)
- (br $do-once$0)
+ (br $do-once)
)
)
)
@@ -6858,7 +6858,7 @@
(i32.const 3)
)
)
- (block $do-once$8
+ (block $do-once4
(if
(i32.lt_u
(get_local $1)
@@ -6932,7 +6932,7 @@
)
)
)
- (br $do-once$8)
+ (br $do-once4)
)
)
(if
@@ -6990,7 +6990,7 @@
(get_local $8)
)
)
- (block $do-once$10
+ (block $do-once6
(if
(i32.eq
(tee_local $9
@@ -7037,11 +7037,11 @@
(set_local $12
(i32.const 0)
)
- (br $do-once$10)
+ (br $do-once6)
)
)
)
- (loop $while-in$13
+ (loop $while-in9
(if
(tee_local $10
(i32.load
@@ -7060,7 +7060,7 @@
(set_local $3
(get_local $1)
)
- (br $while-in$13)
+ (br $while-in9)
)
)
(if
@@ -7081,7 +7081,7 @@
(set_local $3
(get_local $1)
)
- (br $while-in$13)
+ (br $while-in9)
)
)
)
@@ -7209,7 +7209,7 @@
)
)
)
- (br $do-once$8)
+ (br $do-once4)
)
)
)
@@ -7244,7 +7244,7 @@
(get_local $12)
)
)
- (br_if $do-once$8
+ (br_if $do-once4
(i32.eqz
(get_local $12)
)
@@ -7618,8 +7618,8 @@
(get_local $4)
)
)
- (loop $while-in$19
- (block $while-out$18
+ (loop $while-in15
+ (block $while-out14
(if
(i32.eq
(i32.and
@@ -7637,7 +7637,7 @@
(set_local $0
(i32.const 130)
)
- (br $while-out$18)
+ (br $while-out14)
)
)
(if
@@ -7670,7 +7670,7 @@
(set_local $1
(get_local $12)
)
- (br $while-in$19)
+ (br $while-in15)
)
(block
(set_local $18
@@ -7818,7 +7818,7 @@
(i32.const 1664)
)
)
- (loop $while-in$21
+ (loop $while-in17
(if
(tee_local $2
(i32.load
@@ -7832,7 +7832,7 @@
(i32.const 8)
)
)
- (br $while-in$21)
+ (br $while-in17)
)
)
)
@@ -7941,8 +7941,8 @@
(get_local $2)
)
)
- (loop $while-in$1
- (block $while-out$0
+ (loop $while-in
+ (block $while-out
(if
(i32.eq
(get_local $3)
@@ -8012,7 +8012,7 @@
(set_local $1
(i32.const 6)
)
- (br $while-out$0)
+ (br $while-out)
)
)
(if
@@ -8137,7 +8137,7 @@
(set_local $3
(get_local $9)
)
- (br $while-in$1)
+ (br $while-in)
)
)
)
@@ -8329,7 +8329,7 @@
(set_local $3
(get_local $1)
)
- (loop $while-in$3
+ (loop $while-in
(if
(i32.eqz
(get_local $3)
@@ -8362,7 +8362,7 @@
(set_local $3
(get_local $6)
)
- (br $while-in$3)
+ (br $while-in)
)
)
)
@@ -8464,7 +8464,7 @@
(set_local $4
(get_local $3)
)
- (loop $while-in$2
+ (loop $while-in
(if
(i32.eqz
(i32.load8_s
@@ -8478,7 +8478,7 @@
(br $label$break$a)
)
)
- (br_if $while-in$2
+ (br_if $while-in
(i32.and
(tee_local $4
(tee_local $0
@@ -8520,7 +8520,7 @@
(set_local $2
(get_local $1)
)
- (loop $while-in$4
+ (loop $while-in1
(if
(i32.and
(i32.xor
@@ -8549,7 +8549,7 @@
(i32.const 4)
)
)
- (br $while-in$4)
+ (br $while-in1)
)
)
)
@@ -8568,7 +8568,7 @@
(set_local $1
(get_local $0)
)
- (loop $while-in$6
+ (loop $while-in3
(if
(i32.load8_s
(tee_local $0
@@ -8582,7 +8582,7 @@
(set_local $1
(get_local $0)
)
- (br $while-in$6)
+ (br $while-in3)
)
)
)
@@ -8601,7 +8601,7 @@
(func $_a (param $0 i32) (result i32)
(local $1 i32)
(local $2 i32)
- (block $do-once$0 i32
+ (block $do-once i32
(if i32
(get_local $0)
(block i32
@@ -8612,7 +8612,7 @@
)
(i32.const -1)
)
- (br $do-once$0
+ (br $do-once
(call $$a
(get_local $0)
)
@@ -8671,7 +8671,7 @@
(set_local $2
(get_local $0)
)
- (loop $while-in$3
+ (loop $while-in
(set_local $0
(if i32
(i32.gt_s
@@ -8711,7 +8711,7 @@
(get_local $1)
)
)
- (br_if $while-in$3
+ (br_if $while-in
(tee_local $1
(i32.load offset=56
(get_local $1)
@@ -8799,7 +8799,7 @@
)
)
)
- (block $do-once$0
+ (block $do-once
(if
(i32.eq
(get_local $8)
@@ -8844,7 +8844,7 @@
(get_local $2)
(get_local $9)
)
- (br $do-once$0)
+ (br $do-once)
)
)
)
@@ -9046,9 +9046,9 @@
)
)
(block
- (loop $while-in$1
- (block $while-out$0
- (br_if $while-out$0
+ (loop $while-in
+ (block $while-out
+ (br_if $while-out
(i32.eqz
(i32.and
(get_local $0)
@@ -9088,10 +9088,10 @@
(i32.const 1)
)
)
- (br $while-in$1)
+ (br $while-in)
)
)
- (loop $while-in$3
+ (loop $while-in1
(if
(i32.ge_s
(get_local $2)
@@ -9122,13 +9122,13 @@
(i32.const 4)
)
)
- (br $while-in$3)
+ (br $while-in1)
)
)
)
)
)
- (loop $while-in$5
+ (loop $while-in3
(if
(i32.gt_s
(get_local $2)
@@ -9159,7 +9159,7 @@
(i32.const 1)
)
)
- (br $while-in$5)
+ (br $while-in3)
)
)
)
@@ -9234,7 +9234,7 @@
(get_local $3)
)
)
- (loop $while-in$1
+ (loop $while-in
(if
(i32.lt_s
(get_local $0)
@@ -9251,13 +9251,13 @@
(i32.const 1)
)
)
- (br $while-in$1)
+ (br $while-in)
)
)
)
)
)
- (loop $while-in$3
+ (loop $while-in1
(if
(i32.lt_s
(get_local $0)
@@ -9274,13 +9274,13 @@
(i32.const 4)
)
)
- (br $while-in$3)
+ (br $while-in1)
)
)
)
)
)
- (loop $while-in$5
+ (loop $while-in3
(if
(i32.lt_s
(get_local $0)
@@ -9297,7 +9297,7 @@
(i32.const 1)
)
)
- (br $while-in$5)
+ (br $while-in3)
)
)
)
@@ -9329,7 +9329,7 @@
)
)
(set_local $0
- (block $do-once$0 i32
+ (block $do-once i32
(if i32
(i32.lt_s
(call $cb
@@ -9375,7 +9375,7 @@
(get_local $2)
(i32.const 10)
)
- (br $do-once$0
+ (br $do-once
(i32.const 0)
)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 08:18:33 +0000