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.imprecise1317
1 files changed, 635 insertions, 682 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise
index 6e3124830..44a4bd01d 100644
--- a/test/memorygrowth.fromasm.imprecise
+++ b/test/memorygrowth.fromasm.imprecise
@@ -962,50 +962,47 @@
)
)
(loop $while-in$11
- (block $while-out$10
- (if
- (tee_local $7
- (i32.load
- (tee_local $8
- (i32.add
- (get_local $11)
- (i32.const 20)
- )
+ (if
+ (tee_local $7
+ (i32.load
+ (tee_local $8
+ (i32.add
+ (get_local $11)
+ (i32.const 20)
)
)
)
- (block
- (set_local $11
- (get_local $7)
- )
- (set_local $0
- (get_local $8)
- )
- (br $while-in$11)
+ )
+ (block
+ (set_local $11
+ (get_local $7)
+ )
+ (set_local $0
+ (get_local $8)
)
+ (br $while-in$11)
)
- (if
- (tee_local $7
- (i32.load
- (tee_local $8
- (i32.add
- (get_local $11)
- (i32.const 16)
- )
+ )
+ (if
+ (tee_local $7
+ (i32.load
+ (tee_local $8
+ (i32.add
+ (get_local $11)
+ (i32.const 16)
)
)
)
- (block
- (set_local $11
- (get_local $7)
- )
- (set_local $0
- (get_local $8)
- )
+ )
+ (block
+ (set_local $11
+ (get_local $7)
+ )
+ (set_local $0
+ (get_local $8)
)
- (br $while-out$10)
+ (br $while-in$11)
)
- (br $while-in$11)
)
)
(if
@@ -1608,90 +1605,88 @@
(i32.const 0)
)
(loop $while-in$18
- (block $while-out$17
- (if
- (i32.lt_u
- (tee_local $29
- (i32.sub
- (tee_local $27
- (i32.and
- (i32.load offset=4
- (get_local $19)
- )
- (i32.const -8)
+ (if
+ (i32.lt_u
+ (tee_local $29
+ (i32.sub
+ (tee_local $27
+ (i32.and
+ (i32.load offset=4
+ (get_local $19)
)
+ (i32.const -8)
)
- (get_local $2)
)
+ (get_local $2)
)
- (get_local $7)
)
- (if
- (i32.eq
- (get_local $27)
- (get_local $2)
+ (get_local $7)
+ )
+ (if
+ (i32.eq
+ (get_local $27)
+ (get_local $2)
+ )
+ (block
+ (set_local $36
+ (get_local $29)
)
- (block
- (set_local $36
- (get_local $29)
- )
- (set_local $18
- (get_local $19)
- )
- (set_local $17
- (get_local $19)
- )
- (set_local $7
- (i32.const 90)
- )
- (br $label$break$a)
+ (set_local $18
+ (get_local $19)
)
- (block
- (set_local $4
- (get_local $29)
- )
- (set_local $0
- (get_local $19)
- )
+ (set_local $17
+ (get_local $19)
+ )
+ (set_local $7
+ (i32.const 90)
)
+ (br $label$break$a)
)
(block
(set_local $4
- (get_local $7)
+ (get_local $29)
)
(set_local $0
- (get_local $5)
+ (get_local $19)
)
)
)
- (set_local $27
- (select
- (get_local $25)
- (tee_local $29
- (i32.load offset=20
- (get_local $19)
- )
+ (block
+ (set_local $4
+ (get_local $7)
+ )
+ (set_local $0
+ (get_local $5)
+ )
+ )
+ )
+ (set_local $27
+ (select
+ (get_local $25)
+ (tee_local $29
+ (i32.load offset=20
+ (get_local $19)
)
- (i32.or
- (i32.eqz
- (get_local $29)
- )
- (i32.eq
- (get_local $29)
- (tee_local $19
- (i32.load
+ )
+ (i32.or
+ (i32.eqz
+ (get_local $29)
+ )
+ (i32.eq
+ (get_local $29)
+ (tee_local $19
+ (i32.load
+ (i32.add
(i32.add
- (i32.add
- (get_local $19)
- (i32.const 16)
- )
- (i32.shl
- (i32.shr_u
- (get_local $3)
- (i32.const 31)
- )
- (i32.const 2)
+ (get_local $19)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $3)
+ (i32.const 31)
)
+ (i32.const 2)
)
)
)
@@ -1699,52 +1694,51 @@
)
)
)
- (if
- (tee_local $29
- (i32.eqz
- (get_local $19)
- )
+ )
+ (if
+ (tee_local $29
+ (i32.eqz
+ (get_local $19)
)
- (block
- (set_local $40
- (get_local $4)
- )
- (set_local $12
- (get_local $27)
- )
- (set_local $38
- (get_local $0)
- )
- (set_local $7
- (i32.const 86)
- )
- (br $while-out$17)
+ )
+ (block
+ (set_local $40
+ (get_local $4)
)
- (block
- (set_local $7
- (get_local $4)
- )
- (set_local $25
- (get_local $27)
- )
- (set_local $3
- (i32.shl
- (get_local $3)
- (i32.xor
- (i32.and
- (get_local $29)
- (i32.const 1)
- )
+ (set_local $12
+ (get_local $27)
+ )
+ (set_local $38
+ (get_local $0)
+ )
+ (set_local $7
+ (i32.const 86)
+ )
+ )
+ (block
+ (set_local $7
+ (get_local $4)
+ )
+ (set_local $25
+ (get_local $27)
+ )
+ (set_local $3
+ (i32.shl
+ (get_local $3)
+ (i32.xor
+ (i32.and
+ (get_local $29)
(i32.const 1)
)
+ (i32.const 1)
)
)
- (set_local $5
- (get_local $0)
- )
)
+ (set_local $5
+ (get_local $0)
+ )
+ (br $while-in$18)
)
- (br $while-in$18)
)
)
)
@@ -1941,84 +1935,81 @@
(i32.const 90)
)
(loop $while-in$20
- (block $while-out$19
- (set_local $7
- (i32.const 0)
- )
- (set_local $3
- (i32.lt_u
- (tee_local $5
- (i32.sub
- (i32.and
- (i32.load offset=4
- (get_local $18)
- )
- (i32.const -8)
+ (set_local $7
+ (i32.const 0)
+ )
+ (set_local $3
+ (i32.lt_u
+ (tee_local $5
+ (i32.sub
+ (i32.and
+ (i32.load offset=4
+ (get_local $18)
)
- (get_local $2)
+ (i32.const -8)
)
+ (get_local $2)
)
- (get_local $36)
)
+ (get_local $36)
)
- (set_local $12
- (select
- (get_local $5)
- (get_local $36)
+ )
+ (set_local $12
+ (select
+ (get_local $5)
+ (get_local $36)
+ (get_local $3)
+ )
+ )
+ (set_local $5
+ (select
+ (get_local $18)
+ (get_local $17)
+ (get_local $3)
+ )
+ )
+ (if
+ (tee_local $3
+ (i32.load offset=16
+ (get_local $18)
+ )
+ )
+ (block
+ (set_local $36
+ (get_local $12)
+ )
+ (set_local $18
(get_local $3)
)
+ (set_local $17
+ (get_local $5)
+ )
+ (br $while-in$20)
)
- (set_local $5
- (select
+ )
+ (if
+ (tee_local $18
+ (i32.load offset=20
(get_local $18)
- (get_local $17)
- (get_local $3)
)
)
- (if
- (tee_local $3
- (i32.load offset=16
- (get_local $18)
- )
+ (block
+ (set_local $36
+ (get_local $12)
)
- (block
- (set_local $36
- (get_local $12)
- )
- (set_local $18
- (get_local $3)
- )
- (set_local $17
- (get_local $5)
- )
- (br $while-in$20)
+ (set_local $17
+ (get_local $5)
)
+ (br $while-in$20)
)
- (if
- (tee_local $18
- (i32.load offset=20
- (get_local $18)
- )
- )
- (block
- (set_local $36
- (get_local $12)
- )
- (set_local $17
- (get_local $5)
- )
+ (block
+ (set_local $22
+ (get_local $12)
)
- (block
- (set_local $22
- (get_local $12)
- )
- (set_local $9
- (get_local $5)
- )
- (br $while-out$19)
+ (set_local $9
+ (get_local $5)
)
)
- (br $while-in$20)
)
)
)
@@ -2116,50 +2107,47 @@
)
)
(loop $while-in$24
- (block $while-out$23
- (if
- (tee_local $16
- (i32.load
- (tee_local $14
- (i32.add
- (get_local $11)
- (i32.const 20)
- )
+ (if
+ (tee_local $16
+ (i32.load
+ (tee_local $14
+ (i32.add
+ (get_local $11)
+ (i32.const 20)
)
)
)
- (block
- (set_local $11
- (get_local $16)
- )
- (set_local $0
- (get_local $14)
- )
- (br $while-in$24)
+ )
+ (block
+ (set_local $11
+ (get_local $16)
+ )
+ (set_local $0
+ (get_local $14)
)
+ (br $while-in$24)
)
- (if
- (tee_local $16
- (i32.load
- (tee_local $14
- (i32.add
- (get_local $11)
- (i32.const 16)
- )
+ )
+ (if
+ (tee_local $16
+ (i32.load
+ (tee_local $14
+ (i32.add
+ (get_local $11)
+ (i32.const 16)
)
)
)
- (block
- (set_local $11
- (get_local $16)
- )
- (set_local $0
- (get_local $14)
- )
+ )
+ (block
+ (set_local $11
+ (get_local $16)
)
- (br $while-out$23)
+ (set_local $0
+ (get_local $14)
+ )
+ (br $while-in$24)
)
- (br $while-in$24)
)
)
(if
@@ -2795,6 +2783,7 @@
(set_local $14
(get_local $3)
)
+ (br $while-in$32)
)
(block
(set_local $6
@@ -2806,10 +2795,8 @@
(set_local $7
(i32.const 145)
)
- (br $while-out$31)
)
)
- (br $while-in$32)
)
)
(if
@@ -3284,13 +3271,12 @@
)
)
(if
- (i32.eqz
- (tee_local $13
- (i32.load offset=8
- (get_local $13)
- )
+ (tee_local $13
+ (i32.load offset=8
+ (get_local $13)
)
)
+ (br $while-in$36)
(block
(set_local $7
(i32.const 171)
@@ -3298,7 +3284,6 @@
(br $label$break$c)
)
)
- (br $while-in$36)
)
)
(if
@@ -3925,21 +3910,16 @@
)
)
(if
- (i32.eqz
- (tee_local $1
- (i32.load offset=8
- (get_local $1)
- )
+ (tee_local $1
+ (i32.load offset=8
+ (get_local $1)
)
)
- (block
- (set_local $37
- (i32.const 1656)
- )
- (br $while-out$48)
+ (br $while-in$49)
+ (set_local $37
+ (i32.const 1656)
)
)
- (br $while-in$49)
)
)
(if
@@ -4338,50 +4318,47 @@
)
)
(loop $while-in$60
- (block $while-out$59
- (if
- (tee_local $20
- (i32.load
- (tee_local $13
- (i32.add
- (get_local $11)
- (i32.const 20)
- )
+ (if
+ (tee_local $20
+ (i32.load
+ (tee_local $13
+ (i32.add
+ (get_local $11)
+ (i32.const 20)
)
)
)
- (block
- (set_local $11
- (get_local $20)
- )
- (set_local $0
- (get_local $13)
- )
- (br $while-in$60)
+ )
+ (block
+ (set_local $11
+ (get_local $20)
)
+ (set_local $0
+ (get_local $13)
+ )
+ (br $while-in$60)
)
- (if
- (tee_local $20
- (i32.load
- (tee_local $13
- (i32.add
- (get_local $11)
- (i32.const 16)
- )
+ )
+ (if
+ (tee_local $20
+ (i32.load
+ (tee_local $13
+ (i32.add
+ (get_local $11)
+ (i32.const 16)
)
)
)
- (block
- (set_local $11
- (get_local $20)
- )
- (set_local $0
- (get_local $13)
- )
+ )
+ (block
+ (set_local $11
+ (get_local $20)
)
- (br $while-out$59)
+ (set_local $0
+ (get_local $13)
+ )
+ (br $while-in$60)
)
- (br $while-in$60)
)
)
(if
@@ -5015,6 +4992,7 @@
(set_local $6
(get_local $17)
)
+ (br $while-in$70)
)
(block
(set_local $48
@@ -5026,10 +5004,8 @@
(set_local $7
(i32.const 276)
)
- (br $while-out$69)
)
)
- (br $while-in$70)
)
)
(if
@@ -5727,6 +5703,7 @@
(set_local $17
(get_local $6)
)
+ (br $while-in$76)
)
(block
(set_local $26
@@ -5738,10 +5715,8 @@
(set_local $7
(i32.const 302)
)
- (br $while-out$75)
)
)
- (br $while-in$76)
)
)
(if
@@ -6423,58 +6398,55 @@
)
)
(loop $while-in$5
- (block $while-out$4
- (if
- (tee_local $11
- (i32.load
- (tee_local $6
- (i32.add
- (get_local $1)
- (i32.const 20)
- )
+ (if
+ (tee_local $11
+ (i32.load
+ (tee_local $6
+ (i32.add
+ (get_local $1)
+ (i32.const 20)
)
)
)
- (block
- (set_local $1
- (get_local $11)
- )
- (set_local $4
- (get_local $6)
- )
- (br $while-in$5)
+ )
+ (block
+ (set_local $1
+ (get_local $11)
+ )
+ (set_local $4
+ (get_local $6)
)
+ (br $while-in$5)
)
- (if
- (tee_local $11
- (i32.load
- (tee_local $6
- (i32.add
- (get_local $1)
- (i32.const 16)
- )
+ )
+ (if
+ (tee_local $11
+ (i32.load
+ (tee_local $6
+ (i32.add
+ (get_local $1)
+ (i32.const 16)
)
)
)
- (block
- (set_local $1
- (get_local $11)
- )
- (set_local $4
- (get_local $6)
- )
+ )
+ (block
+ (set_local $1
+ (get_local $11)
)
- (block
- (set_local $6
- (get_local $1)
- )
- (set_local $10
- (get_local $4)
- )
- (br $while-out$4)
+ (set_local $4
+ (get_local $6)
+ )
+ (br $while-in$5)
+ )
+ (block
+ (set_local $6
+ (get_local $1)
+ )
+ (set_local $10
+ (get_local $4)
)
)
- (br $while-in$5)
)
)
(if
@@ -7097,50 +7069,47 @@
)
)
(loop $while-in$13
- (block $while-out$12
- (if
- (tee_local $11
- (i32.load
- (tee_local $1
- (i32.add
- (get_local $0)
- (i32.const 20)
- )
+ (if
+ (tee_local $11
+ (i32.load
+ (tee_local $1
+ (i32.add
+ (get_local $0)
+ (i32.const 20)
)
)
)
- (block
- (set_local $0
- (get_local $11)
- )
- (set_local $4
- (get_local $1)
- )
- (br $while-in$13)
+ )
+ (block
+ (set_local $0
+ (get_local $11)
+ )
+ (set_local $4
+ (get_local $1)
)
+ (br $while-in$13)
)
- (if
- (tee_local $11
- (i32.load
- (tee_local $1
- (i32.add
- (get_local $0)
- (i32.const 16)
- )
+ )
+ (if
+ (tee_local $11
+ (i32.load
+ (tee_local $1
+ (i32.add
+ (get_local $0)
+ (i32.const 16)
)
)
)
- (block
- (set_local $0
- (get_local $11)
- )
- (set_local $4
- (get_local $1)
- )
+ )
+ (block
+ (set_local $0
+ (get_local $11)
+ )
+ (set_local $4
+ (get_local $1)
)
- (br $while-out$12)
+ (br $while-in$13)
)
- (br $while-in$13)
)
)
(if
@@ -7728,6 +7697,7 @@
(set_local $1
(get_local $12)
)
+ (br $while-in$19)
)
(block
(set_local $18
@@ -7739,10 +7709,8 @@
(set_local $0
(i32.const 127)
)
- (br $while-out$18)
)
)
- (br $while-in$19)
)
)
(if
@@ -7878,22 +7846,21 @@
)
)
(loop $while-in$21
- (block $while-out$20
- (if
- (tee_local $2
- (i32.load
- (get_local $0)
- )
+ (if
+ (tee_local $2
+ (i32.load
+ (get_local $0)
)
+ )
+ (block
(set_local $0
(i32.add
(get_local $2)
(i32.const 8)
)
)
- (br $while-out$20)
+ (br $while-in$21)
)
- (br $while-in$21)
)
)
(i32.store
@@ -8091,121 +8058,122 @@
(set_local $1
(i32.const 8)
)
- (br $while-out$0)
- )
- )
- (set_local $10
- (i32.sub
- (get_local $5)
- (get_local $6)
)
- )
- (set_local $3
- (if
- (i32.gt_u
- (get_local $6)
- (tee_local $5
- (i32.load offset=4
- (get_local $4)
- )
+ (block
+ (set_local $10
+ (i32.sub
+ (get_local $5)
+ (get_local $6)
)
)
- (block
- (i32.store
- (get_local $9)
- (tee_local $7
- (i32.load
- (get_local $8)
- )
- )
- )
- (i32.store
- (get_local $14)
- (get_local $7)
- )
- (set_local $6
- (i32.sub
+ (set_local $3
+ (if
+ (i32.gt_u
(get_local $6)
- (get_local $5)
- )
- )
- (set_local $7
- (i32.add
- (get_local $4)
- (i32.const 8)
+ (tee_local $5
+ (i32.load offset=4
+ (get_local $4)
+ )
+ )
)
- )
- (set_local $15
- (i32.add
- (get_local $3)
- (i32.const -1)
+ (block
+ (i32.store
+ (get_local $9)
+ (tee_local $7
+ (i32.load
+ (get_local $8)
+ )
+ )
+ )
+ (i32.store
+ (get_local $14)
+ (get_local $7)
+ )
+ (set_local $6
+ (i32.sub
+ (get_local $6)
+ (get_local $5)
+ )
+ )
+ (set_local $7
+ (i32.add
+ (get_local $4)
+ (i32.const 8)
+ )
+ )
+ (set_local $15
+ (i32.add
+ (get_local $3)
+ (i32.const -1)
+ )
+ )
+ (i32.load offset=12
+ (get_local $4)
+ )
)
- )
- (i32.load offset=12
- (get_local $4)
- )
- )
- (if
- (i32.eq
- (get_local $3)
- (i32.const 2)
- )
- (block
- (i32.store
- (get_local $9)
- (i32.add
- (i32.load
+ (if
+ (i32.eq
+ (get_local $3)
+ (i32.const 2)
+ )
+ (block
+ (i32.store
(get_local $9)
+ (i32.add
+ (i32.load
+ (get_local $9)
+ )
+ (get_local $6)
+ )
)
- (get_local $6)
+ (set_local $7
+ (get_local $4)
+ )
+ (set_local $15
+ (i32.const 2)
+ )
+ (get_local $5)
+ )
+ (block
+ (set_local $7
+ (get_local $4)
+ )
+ (set_local $15
+ (get_local $3)
+ )
+ (get_local $5)
)
)
- (set_local $7
- (get_local $4)
- )
- (set_local $15
- (i32.const 2)
- )
- (get_local $5)
)
- (block
- (set_local $7
- (get_local $4)
- )
- (set_local $15
- (get_local $3)
+ )
+ (i32.store
+ (get_local $7)
+ (i32.add
+ (i32.load
+ (get_local $7)
)
- (get_local $5)
+ (get_local $6)
)
)
- )
- )
- (i32.store
- (get_local $7)
- (i32.add
- (i32.load
+ (i32.store offset=4
(get_local $7)
+ (i32.sub
+ (get_local $3)
+ (get_local $6)
+ )
)
- (get_local $6)
- )
- )
- (i32.store offset=4
- (get_local $7)
- (i32.sub
- (get_local $3)
- (get_local $6)
+ (set_local $4
+ (get_local $7)
+ )
+ (set_local $3
+ (get_local $15)
+ )
+ (set_local $5
+ (get_local $10)
+ )
+ (br $while-in$1)
)
)
- (set_local $4
- (get_local $7)
- )
- (set_local $3
- (get_local $15)
- )
- (set_local $5
- (get_local $10)
- )
- (br $while-in$1)
)
)
(if
@@ -8396,49 +8364,46 @@
(get_local $1)
)
(loop $while-in$3
- (block $while-out$2
- (if
- (i32.eqz
- (get_local $3)
+ (if
+ (i32.eqz
+ (get_local $3)
+ )
+ (block
+ (set_local $2
+ (get_local $0)
)
- (block
- (set_local $2
- (get_local $0)
- )
- (set_local $3
- (i32.const 0)
- )
- (br $label$break$b
- (get_local $1)
- )
+ (set_local $3
+ (i32.const 0)
+ )
+ (br $label$break$b
+ (get_local $1)
)
)
- (if
- (i32.eq
- (i32.load8_s
- (i32.add
- (get_local $0)
- (tee_local $7
- (i32.add
- (get_local $3)
- (i32.const -1)
- )
+ )
+ (if
+ (i32.eq
+ (i32.load8_s
+ (i32.add
+ (get_local $0)
+ (tee_local $7
+ (i32.add
+ (get_local $3)
+ (i32.const -1)
)
)
)
- (i32.const 10)
- )
- (block
- (set_local $4
- (get_local $3)
- )
- (br $while-out$2)
)
+ (i32.const 10)
+ )
+ (set_local $4
+ (get_local $3)
+ )
+ (block
(set_local $3
(get_local $7)
)
+ (br $while-in$3)
)
- (br $while-in$3)
)
)
(br_if $label$break$a
@@ -8537,45 +8502,40 @@
(get_local $3)
)
(loop $while-in$2
- (block $while-out$1
- (if
- (i32.eqz
- (i32.load8_s
- (get_local $0)
- )
+ (if
+ (i32.eqz
+ (i32.load8_s
+ (get_local $0)
)
- (block
- (set_local $5
- (get_local $4)
- )
- (br $label$break$a)
+ )
+ (block
+ (set_local $5
+ (get_local $4)
)
+ (br $label$break$a)
)
- (if
- (i32.eqz
- (i32.and
- (tee_local $4
- (tee_local $0
- (i32.add
- (get_local $0)
- (i32.const 1)
- )
- )
+ )
+ (if
+ (i32.and
+ (tee_local $4
+ (tee_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 1)
)
- (i32.const 3)
- )
- )
- (block
- (set_local $2
- (get_local $0)
- )
- (set_local $1
- (i32.const 4)
)
- (br $while-out$1)
)
+ (i32.const 3)
)
(br $while-in$2)
+ (block
+ (set_local $2
+ (get_local $0)
+ )
+ (set_local $1
+ (i32.const 4)
+ )
+ )
)
)
)
@@ -8599,8 +8559,8 @@
(get_local $2)
)
(loop $while-in$4
- (block $while-out$3
- (if
+ (if
+ (i32.eqz
(i32.and
(i32.xor
(i32.and
@@ -8618,15 +8578,16 @@
(i32.const -16843009)
)
)
- (br $while-out$3)
+ )
+ (block
(set_local $1
(i32.add
(get_local $1)
(i32.const 4)
)
)
+ (br $while-in$4)
)
- (br $while-in$4)
)
)
(if
@@ -8645,22 +8606,21 @@
(get_local $1)
)
(loop $while-in$6
- (block $while-out$5
- (if
- (i32.load8_s
- (tee_local $1
- (i32.add
- (get_local $2)
- (i32.const 1)
- )
+ (if
+ (i32.load8_s
+ (tee_local $1
+ (i32.add
+ (get_local $2)
+ (i32.const 1)
)
)
+ )
+ (block
(set_local $2
(get_local $1)
)
- (br $while-out$5)
+ (br $while-in$6)
)
- (br $while-in$6)
)
)
)
@@ -8749,62 +8709,55 @@
(get_local $0)
)
(loop $while-in$3
- (block $while-out$2
- (set_local $0
- (if
- (i32.gt_s
- (i32.load offset=76
- (get_local $1)
- )
- (i32.const -1)
- )
- (call $Ya
+ (set_local $0
+ (if
+ (i32.gt_s
+ (i32.load offset=76
(get_local $1)
)
- (i32.const 0)
- )
- )
- (set_local $2
- (if
- (i32.gt_u
- (i32.load offset=20
- (get_local $1)
- )
- (i32.load offset=28
- (get_local $1)
- )
- )
- (i32.or
- (call $$a
- (get_local $1)
- )
- (get_local $2)
- )
- (get_local $2)
+ (i32.const -1)
)
- )
- (if
- (get_local $0)
- (call $Ta
+ (call $Ya
(get_local $1)
)
+ (i32.const 0)
)
+ )
+ (set_local $2
(if
- (i32.eqz
- (tee_local $1
- (i32.load offset=56
- (get_local $1)
- )
+ (i32.gt_u
+ (i32.load offset=20
+ (get_local $1)
+ )
+ (i32.load offset=28
+ (get_local $1)
)
)
- (block
- (set_local $0
- (get_local $2)
+ (i32.or
+ (call $$a
+ (get_local $1)
)
- (br $while-out$2)
+ (get_local $2)
+ )
+ (get_local $2)
+ )
+ )
+ (if
+ (get_local $0)
+ (call $Ta
+ (get_local $1)
+ )
+ )
+ (if
+ (tee_local $1
+ (i32.load offset=56
+ (get_local $1)
)
)
(br $while-in$3)
+ (set_local $0
+ (get_local $2)
+ )
)
)
)
@@ -9177,75 +9130,75 @@
)
)
(loop $while-in$3
- (block $while-out$2
- (br_if $while-out$2
- (i32.lt_s
- (get_local $2)
- (i32.const 4)
- )
- )
- (i32.store
- (get_local $0)
- (i32.load
- (get_local $1)
- )
+ (if
+ (i32.ge_s
+ (get_local $2)
+ (i32.const 4)
)
- (set_local $0
- (i32.add
+ (block
+ (i32.store
(get_local $0)
- (i32.const 4)
+ (i32.load
+ (get_local $1)
+ )
)
- )
- (set_local $1
- (i32.add
- (get_local $1)
- (i32.const 4)
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 4)
+ )
)
- )
- (set_local $2
- (i32.sub
- (get_local $2)
- (i32.const 4)
+ (set_local $1
+ (i32.add
+ (get_local $1)
+ (i32.const 4)
+ )
+ )
+ (set_local $2
+ (i32.sub
+ (get_local $2)
+ (i32.const 4)
+ )
)
+ (br $while-in$3)
)
- (br $while-in$3)
)
)
)
)
(loop $while-in$5
- (block $while-out$4
- (br_if $while-out$4
- (i32.le_s
- (get_local $2)
- (i32.const 0)
- )
- )
- (i32.store8
- (get_local $0)
- (i32.load8_s
- (get_local $1)
- )
+ (if
+ (i32.gt_s
+ (get_local $2)
+ (i32.const 0)
)
- (set_local $0
- (i32.add
+ (block
+ (i32.store8
(get_local $0)
- (i32.const 1)
+ (i32.load8_s
+ (get_local $1)
+ )
)
- )
- (set_local $1
- (i32.add
- (get_local $1)
- (i32.const 1)
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 1)
+ )
)
- )
- (set_local $2
- (i32.sub
- (get_local $2)
- (i32.const 1)
+ (set_local $1
+ (i32.add
+ (get_local $1)
+ (i32.const 1)
+ )
)
+ (set_local $2
+ (i32.sub
+ (get_local $2)
+ (i32.const 1)
+ )
+ )
+ (br $while-in$5)
)
- (br $while-in$5)
)
)
(get_local $3)
@@ -9320,70 +9273,70 @@
)
)
(loop $while-in$1
- (block $while-out$0
- (br_if $while-out$0
- (i32.ge_s
- (get_local $0)
- (get_local $3)
- )
- )
- (i32.store8
+ (if
+ (i32.lt_s
(get_local $0)
- (get_local $1)
+ (get_local $3)
)
- (set_local $0
- (i32.add
+ (block
+ (i32.store8
(get_local $0)
- (i32.const 1)
+ (get_local $1)
+ )
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 1)
+ )
)
+ (br $while-in$1)
)
- (br $while-in$1)
)
)
)
)
(loop $while-in$3
- (block $while-out$2
- (br_if $while-out$2
- (i32.ge_s
- (get_local $0)
- (get_local $6)
- )
- )
- (i32.store
+ (if
+ (i32.lt_s
(get_local $0)
- (get_local $5)
+ (get_local $6)
)
- (set_local $0
- (i32.add
+ (block
+ (i32.store
(get_local $0)
- (i32.const 4)
+ (get_local $5)
+ )
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 4)
+ )
)
+ (br $while-in$3)
)
- (br $while-in$3)
)
)
)
)
(loop $while-in$5
- (block $while-out$4
- (br_if $while-out$4
- (i32.ge_s
- (get_local $0)
- (get_local $4)
- )
- )
- (i32.store8
+ (if
+ (i32.lt_s
(get_local $0)
- (get_local $1)
+ (get_local $4)
)
- (set_local $0
- (i32.add
+ (block
+ (i32.store8
(get_local $0)
- (i32.const 1)
+ (get_local $1)
+ )
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 1)
+ )
)
+ (br $while-in$5)
)
- (br $while-in$5)
)
)
(i32.sub