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.imprecise1383
1 files changed, 686 insertions, 697 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise
index cb6a2c8c5..4301d1105 100644
--- a/test/memorygrowth.fromasm.imprecise
+++ b/test/memorygrowth.fromasm.imprecise
@@ -4074,520 +4074,522 @@
(br $do-once44)
)
)
- (i32.store
- (tee_local $0
- (i32.add
- (if i32
- (i32.eq
- (i32.and
- (tee_local $3
- (i32.load offset=4
- (get_local $1)
- )
- )
- (i32.const 3)
- )
- (i32.const 1)
+ (if
+ (i32.eq
+ (i32.and
+ (tee_local $3
+ (i32.load offset=4
+ (get_local $1)
)
- (block i32
- (set_local $4
- (i32.and
- (get_local $3)
- (i32.const -8)
- )
- )
- (set_local $0
- (i32.shr_u
- (get_local $3)
- (i32.const 3)
+ )
+ (i32.const 3)
+ )
+ (i32.const 1)
+ )
+ (block
+ (set_local $4
+ (i32.and
+ (get_local $3)
+ (i32.const -8)
+ )
+ )
+ (set_local $0
+ (i32.shr_u
+ (get_local $3)
+ (i32.const 3)
+ )
+ )
+ (block $label$break$e
+ (if
+ (i32.lt_u
+ (get_local $3)
+ (i32.const 256)
+ )
+ (block
+ (set_local $10
+ (i32.load offset=12
+ (get_local $1)
)
)
- (block $label$break$e
+ (block $do-once47
(if
- (i32.lt_u
- (get_local $3)
- (i32.const 256)
- )
- (block
- (set_local $10
- (i32.load offset=12
+ (i32.ne
+ (tee_local $21
+ (i32.load offset=8
(get_local $1)
)
)
- (block $do-once47
- (if
- (i32.ne
- (tee_local $21
- (i32.load offset=8
- (get_local $1)
- )
- )
- (tee_local $19
- (i32.add
- (i32.shl
- (i32.shl
- (get_local $0)
- (i32.const 1)
- )
- (i32.const 2)
- )
- (i32.const 1248)
- )
- )
- )
- (block
- (if
- (i32.lt_u
- (get_local $21)
- (get_local $14)
- )
- (call $qa)
- )
- (br_if $do-once47
- (i32.eq
- (i32.load offset=12
- (get_local $21)
- )
- (get_local $1)
- )
+ (tee_local $19
+ (i32.add
+ (i32.shl
+ (i32.shl
+ (get_local $0)
+ (i32.const 1)
)
- (call $qa)
+ (i32.const 2)
)
+ (i32.const 1248)
)
)
+ )
+ (block
(if
- (i32.eq
- (get_local $10)
+ (i32.lt_u
(get_local $21)
+ (get_local $14)
)
- (block
- (i32.store
- (i32.const 1208)
- (i32.and
- (i32.load
- (i32.const 1208)
- )
- (i32.xor
- (i32.shl
- (i32.const 1)
- (get_local $0)
- )
- (i32.const -1)
- )
- )
+ (call $qa)
+ )
+ (br_if $do-once47
+ (i32.eq
+ (i32.load offset=12
+ (get_local $21)
)
- (br $label$break$e)
+ (get_local $1)
)
)
- (block $do-once49
- (if
- (i32.eq
- (get_local $10)
- (get_local $19)
- )
- (set_local $43
- (i32.add
- (get_local $10)
- (i32.const 8)
- )
- )
- (block
- (if
- (i32.lt_u
- (get_local $10)
- (get_local $14)
- )
- (call $qa)
- )
- (if
- (i32.eq
- (i32.load
- (tee_local $0
- (i32.add
- (get_local $10)
- (i32.const 8)
- )
- )
- )
- (get_local $1)
- )
- (block
- (set_local $43
- (get_local $0)
- )
- (br $do-once49)
- )
- )
- (call $qa)
+ (call $qa)
+ )
+ )
+ )
+ (if
+ (i32.eq
+ (get_local $10)
+ (get_local $21)
+ )
+ (block
+ (i32.store
+ (i32.const 1208)
+ (i32.and
+ (i32.load
+ (i32.const 1208)
+ )
+ (i32.xor
+ (i32.shl
+ (i32.const 1)
+ (get_local $0)
)
+ (i32.const -1)
)
)
- (i32.store offset=12
- (get_local $21)
+ )
+ (br $label$break$e)
+ )
+ )
+ (block $do-once49
+ (if
+ (i32.eq
+ (get_local $10)
+ (get_local $19)
+ )
+ (set_local $43
+ (i32.add
(get_local $10)
- )
- (i32.store
- (get_local $43)
- (get_local $21)
+ (i32.const 8)
)
)
(block
- (set_local $19
- (i32.load offset=24
- (get_local $1)
+ (if
+ (i32.lt_u
+ (get_local $10)
+ (get_local $14)
)
+ (call $qa)
)
- (block $do-once51
- (if
- (i32.eq
+ (if
+ (i32.eq
+ (i32.load
(tee_local $0
- (i32.load offset=12
- (get_local $1)
+ (i32.add
+ (get_local $10)
+ (i32.const 8)
)
)
- (get_local $1)
)
- (block
- (if
- (tee_local $16
- (i32.load
- (tee_local $6
- (i32.add
- (tee_local $18
- (i32.add
- (get_local $1)
- (i32.const 16)
- )
- )
- (i32.const 4)
- )
- )
- )
- )
- (block
- (set_local $3
- (get_local $16)
- )
- (set_local $0
- (get_local $6)
- )
- )
- (if
- (tee_local $22
- (i32.load
- (get_local $18)
- )
- )
- (block
- (set_local $3
- (get_local $22)
- )
- (set_local $0
- (get_local $18)
- )
- )
- (block
- (set_local $24
- (i32.const 0)
- )
- (br $do-once51)
- )
- )
- )
- (loop $while-in54
- (if
- (tee_local $16
- (i32.load
- (tee_local $6
- (i32.add
- (get_local $3)
- (i32.const 20)
- )
- )
- )
- )
- (block
- (set_local $3
- (get_local $16)
- )
- (set_local $0
- (get_local $6)
- )
- (br $while-in54)
- )
- )
- (if
- (tee_local $16
- (i32.load
- (tee_local $6
- (i32.add
- (get_local $3)
- (i32.const 16)
- )
- )
- )
- )
- (block
- (set_local $3
- (get_local $16)
- )
- (set_local $0
- (get_local $6)
+ (get_local $1)
+ )
+ (block
+ (set_local $43
+ (get_local $0)
+ )
+ (br $do-once49)
+ )
+ )
+ (call $qa)
+ )
+ )
+ )
+ (i32.store offset=12
+ (get_local $21)
+ (get_local $10)
+ )
+ (i32.store
+ (get_local $43)
+ (get_local $21)
+ )
+ )
+ (block
+ (set_local $19
+ (i32.load offset=24
+ (get_local $1)
+ )
+ )
+ (block $do-once51
+ (if
+ (i32.eq
+ (tee_local $0
+ (i32.load offset=12
+ (get_local $1)
+ )
+ )
+ (get_local $1)
+ )
+ (block
+ (if
+ (tee_local $16
+ (i32.load
+ (tee_local $6
+ (i32.add
+ (tee_local $18
+ (i32.add
+ (get_local $1)
+ (i32.const 16)
)
- (br $while-in54)
)
+ (i32.const 4)
)
)
- (if
- (i32.lt_u
- (get_local $0)
- (get_local $14)
- )
- (call $qa)
- (block
- (i32.store
- (get_local $0)
- (i32.const 0)
- )
- (set_local $24
- (get_local $3)
- )
- )
+ )
+ )
+ (block
+ (set_local $3
+ (get_local $16)
+ )
+ (set_local $0
+ (get_local $6)
+ )
+ )
+ (if
+ (tee_local $22
+ (i32.load
+ (get_local $18)
)
)
(block
- (if
- (i32.lt_u
- (tee_local $6
- (i32.load offset=8
- (get_local $1)
- )
- )
- (get_local $14)
- )
- (call $qa)
+ (set_local $3
+ (get_local $22)
)
- (if
- (i32.ne
- (i32.load
- (tee_local $16
- (i32.add
- (get_local $6)
- (i32.const 12)
- )
- )
- )
- (get_local $1)
- )
- (call $qa)
+ (set_local $0
+ (get_local $18)
)
- (if
- (i32.eq
- (i32.load
- (tee_local $18
- (i32.add
- (get_local $0)
- (i32.const 8)
- )
- )
- )
- (get_local $1)
- )
- (block
- (i32.store
- (get_local $16)
- (get_local $0)
- )
- (i32.store
- (get_local $18)
- (get_local $6)
- )
- (set_local $24
- (get_local $0)
- )
- )
- (call $qa)
+ )
+ (block
+ (set_local $24
+ (i32.const 0)
)
+ (br $do-once51)
)
)
)
- (br_if $label$break$e
- (i32.eqz
- (get_local $19)
- )
- )
- (block $do-once55
+ (loop $while-in54
(if
- (i32.eq
- (get_local $1)
+ (tee_local $16
(i32.load
- (tee_local $21
+ (tee_local $6
(i32.add
- (i32.shl
- (tee_local $0
- (i32.load offset=28
- (get_local $1)
- )
- )
- (i32.const 2)
- )
- (i32.const 1512)
+ (get_local $3)
+ (i32.const 20)
)
)
)
)
(block
- (i32.store
- (get_local $21)
- (get_local $24)
+ (set_local $3
+ (get_local $16)
)
- (br_if $do-once55
- (get_local $24)
+ (set_local $0
+ (get_local $6)
)
- (i32.store
- (i32.const 1212)
- (i32.and
- (i32.load
- (i32.const 1212)
- )
- (i32.xor
- (i32.shl
- (i32.const 1)
- (get_local $0)
- )
- (i32.const -1)
+ (br $while-in54)
+ )
+ )
+ (if
+ (tee_local $16
+ (i32.load
+ (tee_local $6
+ (i32.add
+ (get_local $3)
+ (i32.const 16)
)
)
)
- (br $label$break$e)
)
(block
- (if
- (i32.lt_u
- (get_local $19)
- (i32.load
- (i32.const 1224)
- )
- )
- (call $qa)
- )
- (if
- (i32.eq
- (i32.load
- (tee_local $10
- (i32.add
- (get_local $19)
- (i32.const 16)
- )
- )
- )
- (get_local $1)
- )
- (i32.store
- (get_local $10)
- (get_local $24)
- )
- (i32.store offset=20
- (get_local $19)
- (get_local $24)
- )
+ (set_local $3
+ (get_local $16)
)
- (br_if $label$break$e
- (i32.eqz
- (get_local $24)
- )
+ (set_local $0
+ (get_local $6)
)
+ (br $while-in54)
)
)
)
(if
(i32.lt_u
- (get_local $24)
- (tee_local $0
- (i32.load
- (i32.const 1224)
+ (get_local $0)
+ (get_local $14)
+ )
+ (call $qa)
+ (block
+ (i32.store
+ (get_local $0)
+ (i32.const 0)
+ )
+ (set_local $24
+ (get_local $3)
+ )
+ )
+ )
+ )
+ (block
+ (if
+ (i32.lt_u
+ (tee_local $6
+ (i32.load offset=8
+ (get_local $1)
)
)
+ (get_local $14)
)
(call $qa)
)
- (i32.store offset=24
- (get_local $24)
- (get_local $19)
+ (if
+ (i32.ne
+ (i32.load
+ (tee_local $16
+ (i32.add
+ (get_local $6)
+ (i32.const 12)
+ )
+ )
+ )
+ (get_local $1)
+ )
+ (call $qa)
)
(if
- (tee_local $10
+ (i32.eq
(i32.load
- (tee_local $21
+ (tee_local $18
(i32.add
- (get_local $1)
- (i32.const 16)
+ (get_local $0)
+ (i32.const 8)
)
)
)
+ (get_local $1)
)
- (if
- (i32.lt_u
- (get_local $10)
+ (block
+ (i32.store
+ (get_local $16)
(get_local $0)
)
- (call $qa)
- (block
- (i32.store offset=16
- (get_local $24)
- (get_local $10)
- )
- (i32.store offset=24
- (get_local $10)
- (get_local $24)
+ (i32.store
+ (get_local $18)
+ (get_local $6)
+ )
+ (set_local $24
+ (get_local $0)
+ )
+ )
+ (call $qa)
+ )
+ )
+ )
+ )
+ (br_if $label$break$e
+ (i32.eqz
+ (get_local $19)
+ )
+ )
+ (block $do-once55
+ (if
+ (i32.eq
+ (get_local $1)
+ (i32.load
+ (tee_local $21
+ (i32.add
+ (i32.shl
+ (tee_local $0
+ (i32.load offset=28
+ (get_local $1)
+ )
+ )
+ (i32.const 2)
)
+ (i32.const 1512)
)
)
)
- (br_if $label$break$e
- (i32.eqz
- (tee_local $10
- (i32.load offset=4
- (get_local $21)
+ )
+ (block
+ (i32.store
+ (get_local $21)
+ (get_local $24)
+ )
+ (br_if $do-once55
+ (get_local $24)
+ )
+ (i32.store
+ (i32.const 1212)
+ (i32.and
+ (i32.load
+ (i32.const 1212)
+ )
+ (i32.xor
+ (i32.shl
+ (i32.const 1)
+ (get_local $0)
)
+ (i32.const -1)
)
)
)
+ (br $label$break$e)
+ )
+ (block
(if
(i32.lt_u
- (get_local $10)
+ (get_local $19)
(i32.load
(i32.const 1224)
)
)
(call $qa)
- (block
- (i32.store offset=20
- (get_local $24)
- (get_local $10)
- )
- (i32.store offset=24
- (get_local $10)
- (get_local $24)
+ )
+ (if
+ (i32.eq
+ (i32.load
+ (tee_local $10
+ (i32.add
+ (get_local $19)
+ (i32.const 16)
+ )
+ )
)
+ (get_local $1)
+ )
+ (i32.store
+ (get_local $10)
+ (get_local $24)
+ )
+ (i32.store offset=20
+ (get_local $19)
+ (get_local $24)
+ )
+ )
+ (br_if $label$break$e
+ (i32.eqz
+ (get_local $24)
)
)
)
)
)
- (set_local $15
- (i32.add
- (get_local $4)
- (get_local $15)
+ (if
+ (i32.lt_u
+ (get_local $24)
+ (tee_local $0
+ (i32.load
+ (i32.const 1224)
+ )
+ )
)
+ (call $qa)
)
- (i32.add
- (get_local $1)
- (get_local $4)
+ (i32.store offset=24
+ (get_local $24)
+ (get_local $19)
+ )
+ (if
+ (tee_local $10
+ (i32.load
+ (tee_local $21
+ (i32.add
+ (get_local $1)
+ (i32.const 16)
+ )
+ )
+ )
+ )
+ (if
+ (i32.lt_u
+ (get_local $10)
+ (get_local $0)
+ )
+ (call $qa)
+ (block
+ (i32.store offset=16
+ (get_local $24)
+ (get_local $10)
+ )
+ (i32.store offset=24
+ (get_local $10)
+ (get_local $24)
+ )
+ )
+ )
+ )
+ (br_if $label$break$e
+ (i32.eqz
+ (tee_local $10
+ (i32.load offset=4
+ (get_local $21)
+ )
+ )
+ )
+ )
+ (if
+ (i32.lt_u
+ (get_local $10)
+ (i32.load
+ (i32.const 1224)
+ )
+ )
+ (call $qa)
+ (block
+ (i32.store offset=20
+ (get_local $24)
+ (get_local $10)
+ )
+ (i32.store offset=24
+ (get_local $10)
+ (get_local $24)
+ )
+ )
)
)
+ )
+ )
+ (set_local $1
+ (i32.add
(get_local $1)
+ (get_local $4)
)
+ )
+ (set_local $15
+ (i32.add
+ (get_local $4)
+ (get_local $15)
+ )
+ )
+ )
+ )
+ (i32.store
+ (tee_local $0
+ (i32.add
+ (get_local $1)
(i32.const 4)
)
)
@@ -7878,7 +7880,7 @@
(get_local $10)
)
(i32.store
- (tee_local $4
+ (tee_local $3
(i32.add
(get_local $10)
(i32.const 32)
@@ -7896,7 +7898,7 @@
)
)
(i32.store offset=4
- (get_local $4)
+ (get_local $3)
(tee_local $9
(i32.sub
(i32.load
@@ -7912,11 +7914,11 @@
)
)
(i32.store offset=8
- (get_local $4)
+ (get_local $3)
(get_local $1)
)
(i32.store offset=12
- (get_local $4)
+ (get_local $3)
(get_local $2)
)
(set_local $1
@@ -7931,13 +7933,13 @@
(i32.const 44)
)
)
- (set_local $5
- (get_local $4)
- )
(set_local $4
- (i32.const 2)
+ (get_local $3)
)
(set_local $3
+ (i32.const 2)
+ )
+ (set_local $5
(i32.add
(get_local $9)
(get_local $2)
@@ -7947,7 +7949,7 @@
(block $while-out
(if
(i32.eq
- (get_local $3)
+ (get_local $5)
(tee_local $6
(if i32
(i32.load
@@ -7966,11 +7968,11 @@
)
(i32.store offset=4
(get_local $12)
- (get_local $5)
+ (get_local $4)
)
(i32.store offset=8
(get_local $12)
- (get_local $4)
+ (get_local $3)
)
(set_local $9
(call $Pa
@@ -7994,11 +7996,11 @@
)
(i32.store offset=4
(get_local $11)
- (get_local $5)
+ (get_local $4)
)
(i32.store offset=8
(get_local $11)
- (get_local $4)
+ (get_local $3)
)
(call $Pa
(call $ya
@@ -8024,124 +8026,114 @@
)
(block
(set_local $16
- (get_local $5)
+ (get_local $4)
)
(set_local $17
- (get_local $4)
+ (get_local $3)
)
(set_local $1
(i32.const 8)
)
+ (br $while-out)
)
- (block
- (set_local $9
- (i32.sub
- (get_local $3)
- (get_local $6)
+ )
+ (set_local $9
+ (i32.sub
+ (get_local $5)
+ (get_local $6)
+ )
+ )
+ (if
+ (i32.gt_u
+ (get_local $6)
+ (tee_local $14
+ (i32.load offset=4
+ (get_local $4)
)
)
- (set_local $5
- (if i32
- (i32.gt_u
- (get_local $6)
- (tee_local $14
- (i32.load offset=4
- (get_local $5)
- )
- )
- )
- (block i32
- (i32.store
- (get_local $8)
- (tee_local $3
- (i32.load
- (get_local $7)
- )
- )
- )
- (i32.store
- (get_local $13)
- (get_local $3)
- )
- (set_local $6
- (i32.sub
- (get_local $6)
- (get_local $14)
- )
- )
- (set_local $3
- (i32.add
- (get_local $5)
- (i32.const 8)
- )
- )
- (set_local $4
- (i32.add
- (get_local $4)
- (i32.const -1)
- )
- )
- (i32.load offset=12
- (get_local $5)
- )
- )
- (if i32
- (i32.eq
- (get_local $4)
- (i32.const 2)
- )
- (block i32
- (i32.store
- (get_local $8)
- (i32.add
- (i32.load
- (get_local $8)
- )
- (get_local $6)
- )
- )
- (set_local $3
- (get_local $5)
- )
- (set_local $4
- (i32.const 2)
- )
- (get_local $14)
- )
- (block i32
- (set_local $3
- (get_local $5)
- )
- (get_local $14)
- )
+ )
+ (block
+ (i32.store
+ (get_local $8)
+ (tee_local $5
+ (i32.load
+ (get_local $7)
)
)
)
(i32.store
- (get_local $3)
- (i32.add
- (i32.load
- (get_local $3)
- )
- (get_local $6)
+ (get_local $13)
+ (get_local $5)
+ )
+ (set_local $5
+ (i32.load offset=12
+ (get_local $4)
)
)
- (i32.store offset=4
- (get_local $3)
+ (set_local $6
(i32.sub
- (get_local $5)
(get_local $6)
+ (get_local $14)
)
)
- (set_local $5
- (get_local $3)
+ (set_local $4
+ (i32.add
+ (get_local $4)
+ (i32.const 8)
+ )
)
(set_local $3
- (get_local $9)
+ (i32.add
+ (get_local $3)
+ (i32.const -1)
+ )
+ )
+ )
+ (set_local $5
+ (if i32
+ (i32.eq
+ (get_local $3)
+ (i32.const 2)
+ )
+ (block i32
+ (i32.store
+ (get_local $8)
+ (i32.add
+ (i32.load
+ (get_local $8)
+ )
+ (get_local $6)
+ )
+ )
+ (set_local $3
+ (i32.const 2)
+ )
+ (get_local $14)
+ )
+ (get_local $14)
)
- (br $while-in)
)
)
+ (i32.store
+ (get_local $4)
+ (i32.add
+ (i32.load
+ (get_local $4)
+ )
+ (get_local $6)
+ )
+ )
+ (i32.store offset=4
+ (get_local $4)
+ (i32.sub
+ (get_local $5)
+ (get_local $6)
+ )
+ )
+ (set_local $5
+ (get_local $9)
+ )
+ (br $while-in)
)
)
(if
@@ -8153,7 +8145,7 @@
(i32.store offset=16
(get_local $0)
(i32.add
- (tee_local $3
+ (tee_local $5
(i32.load
(get_local $7)
)
@@ -8166,7 +8158,7 @@
(i32.store
(get_local $8)
(tee_local $7
- (get_local $3)
+ (get_local $5)
)
)
(i32.store
@@ -8318,107 +8310,99 @@
(set_local $4
(get_local $3)
)
- (set_local $1
- (block $label$break$b i32
- (if i32
- (i32.gt_s
- (i32.load8_s offset=75
- (get_local $2)
- )
- (i32.const -1)
+ (block $label$break$b
+ (if
+ (i32.gt_s
+ (i32.load8_s offset=75
+ (get_local $2)
)
- (block i32
- (set_local $3
- (get_local $1)
- )
- (loop $while-in
- (if
- (i32.eqz
- (get_local $3)
- )
- (block
- (set_local $2
- (i32.const 0)
- )
- (br $label$break$b
- (get_local $1)
- )
- )
+ (i32.const -1)
+ )
+ (block
+ (set_local $3
+ (get_local $1)
+ )
+ (loop $while-in
+ (if
+ (i32.eqz
+ (get_local $3)
)
- (if
- (i32.ne
- (i32.load8_s
- (i32.add
- (get_local $0)
- (tee_local $6
- (i32.add
- (get_local $3)
- (i32.const -1)
- )
- )
- )
- )
- (i32.const 10)
- )
- (block
- (set_local $3
- (get_local $6)
- )
- (br $while-in)
+ (block
+ (set_local $3
+ (i32.const 0)
)
+ (br $label$break$b)
)
)
(if
- (i32.lt_u
- (call_indirect $FUNCSIG$iiii
- (get_local $2)
- (get_local $0)
- (get_local $3)
+ (i32.ne
+ (i32.load8_s
(i32.add
- (i32.and
- (i32.load offset=36
- (get_local $2)
+ (get_local $0)
+ (tee_local $6
+ (i32.add
+ (get_local $3)
+ (i32.const -1)
)
- (i32.const 3)
)
- (i32.const 2)
)
)
- (get_local $3)
+ (i32.const 10)
)
(block
- (set_local $4
- (get_local $3)
+ (set_local $3
+ (get_local $6)
)
- (br $label$break$a)
+ (br $while-in)
)
)
- (set_local $0
- (i32.add
+ )
+ (if
+ (i32.lt_u
+ (call_indirect $FUNCSIG$iiii
+ (get_local $2)
(get_local $0)
(get_local $3)
+ (i32.add
+ (i32.and
+ (i32.load offset=36
+ (get_local $2)
+ )
+ (i32.const 3)
+ )
+ (i32.const 2)
+ )
)
+ (get_local $3)
)
- (set_local $4
- (i32.load
- (get_local $5)
+ (block
+ (set_local $4
+ (get_local $3)
)
+ (br $label$break$a)
)
- (set_local $2
- (get_local $3)
- )
+ )
+ (set_local $1
(i32.sub
(get_local $1)
(get_local $3)
)
)
- (block i32
- (set_local $2
- (i32.const 0)
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (get_local $3)
+ )
+ )
+ (set_local $4
+ (i32.load
+ (get_local $5)
)
- (get_local $1)
)
)
+ (set_local $3
+ (i32.const 0)
+ )
)
)
(drop
@@ -8439,7 +8423,7 @@
)
(set_local $4
(i32.add
- (get_local $2)
+ (get_local $3)
(get_local $1)
)
)
@@ -8493,13 +8477,11 @@
(i32.const 3)
)
)
- (block
- (set_local $1
- (get_local $0)
- )
- (set_local $2
- (i32.const 4)
- )
+ (set_local $1
+ (get_local $0)
+ )
+ (set_local $2
+ (i32.const 4)
)
)
)
@@ -8603,10 +8585,10 @@
(func $_a (param $0 i32) (result i32)
(local $1 i32)
(local $2 i32)
- (block $do-once i32
- (if i32
+ (block $do-once
+ (if
(get_local $0)
- (block i32
+ (block
(if
(i32.le_s
(i32.load offset=76
@@ -8614,10 +8596,13 @@
)
(i32.const -1)
)
- (br $do-once
- (call $$a
- (get_local $0)
+ (block
+ (set_local $1
+ (call $$a
+ (get_local $0)
+ )
)
+ (br $do-once)
)
)
(set_local $2
@@ -8632,18 +8617,16 @@
(get_local $0)
)
)
- (if i32
- (get_local $2)
- (get_local $1)
- (block i32
- (call $Ta
- (get_local $0)
- )
- (get_local $1)
+ (if
+ (i32.eqz
+ (get_local $2)
+ )
+ (call $Ta
+ (get_local $0)
)
)
)
- (block i32
+ (block
(set_local $0
(if i32
(i32.load
@@ -8719,19 +8702,22 @@
)
)
)
- (set_local $0
- (get_local $2)
- )
)
)
+ (set_local $2
+ (get_local $0)
+ )
)
(call $xa
(i32.const 1188)
)
- (get_local $0)
+ (set_local $1
+ (get_local $2)
+ )
)
)
)
+ (get_local $1)
)
(func $ab (param $0 i32) (param $1 i32) (result i32)
(local $2 i32)
@@ -9428,56 +9414,58 @@
(get_local $2)
)
)
- (if i32
- (i32.and
- (tee_local $2
- (i32.load
- (get_local $0)
+ (tee_local $0
+ (if i32
+ (i32.and
+ (tee_local $2
+ (i32.load
+ (get_local $0)
+ )
)
+ (i32.const 8)
)
- (i32.const 8)
- )
- (block i32
- (i32.store
- (get_local $0)
- (i32.or
- (get_local $2)
- (i32.const 32)
+ (block i32
+ (i32.store
+ (get_local $0)
+ (i32.or
+ (get_local $2)
+ (i32.const 32)
+ )
)
+ (i32.const -1)
)
- (i32.const -1)
- )
- (block i32
- (i32.store offset=8
- (get_local $0)
- (i32.const 0)
- )
- (i32.store offset=4
- (get_local $0)
- (i32.const 0)
- )
- (i32.store offset=28
- (get_local $0)
- (tee_local $1
- (i32.load offset=44
- (get_local $0)
+ (block i32
+ (i32.store offset=8
+ (get_local $0)
+ (i32.const 0)
+ )
+ (i32.store offset=4
+ (get_local $0)
+ (i32.const 0)
+ )
+ (i32.store offset=28
+ (get_local $0)
+ (tee_local $1
+ (i32.load offset=44
+ (get_local $0)
+ )
)
)
- )
- (i32.store offset=20
- (get_local $0)
- (get_local $1)
- )
- (i32.store offset=16
- (get_local $0)
- (i32.add
+ (i32.store offset=20
+ (get_local $0)
(get_local $1)
- (i32.load offset=48
- (get_local $0)
+ )
+ (i32.store offset=16
+ (get_local $0)
+ (i32.add
+ (get_local $1)
+ (i32.load offset=48
+ (get_local $0)
+ )
)
)
+ (i32.const 0)
)
- (i32.const 0)
)
)
)
@@ -9490,57 +9478,58 @@
(get_local $1)
)
)
- (if i32
- (i32.eq
- (tee_local $0
- (if i32
- (i32.gt_s
- (i32.load offset=76
- (get_local $3)
- )
- (i32.const -1)
- )
- (block i32
- (set_local $5
- (i32.eqz
- (call $Ya
- (get_local $3)
- )
- )
- )
- (set_local $0
- (call $Wa
- (get_local $0)
- (get_local $4)
- (get_local $3)
- )
- )
- (if i32
- (get_local $5)
- (get_local $0)
- (block i32
- (call $Ta
- (get_local $3)
- )
- (get_local $0)
- )
- )
- )
- (call $Wa
- (get_local $0)
- (get_local $4)
+ (if
+ (i32.gt_s
+ (i32.load offset=76
+ (get_local $3)
+ )
+ (i32.const -1)
+ )
+ (block
+ (set_local $5
+ (i32.eqz
+ (call $Ya
(get_local $3)
)
)
)
- (get_local $4)
+ (set_local $0
+ (call $Wa
+ (get_local $0)
+ (get_local $4)
+ (get_local $3)
+ )
+ )
+ (if
+ (i32.eqz
+ (get_local $5)
+ )
+ (call $Ta
+ (get_local $3)
+ )
+ )
)
- (get_local $2)
- (i32.div_u
+ (set_local $0
+ (call $Wa
+ (get_local $0)
+ (get_local $4)
+ (get_local $3)
+ )
+ )
+ )
+ (if
+ (i32.ne
(get_local $0)
- (get_local $1)
+ (get_local $4)
+ )
+ (set_local $2
+ (i32.div_u
+ (get_local $0)
+ (get_local $1)
+ )
)
)
+ (get_local $2)
)
(func $Ua (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
(local $3 i32)