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.imprecise464
1 files changed, 230 insertions, 234 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise
index 5c4124ac1..0bb93aa16 100644
--- a/test/memorygrowth.fromasm.imprecise
+++ b/test/memorygrowth.fromasm.imprecise
@@ -2639,76 +2639,75 @@
(get_local $12)
)
)
- (loop $while-in28
- (set_local $7
- (block $while-out27 (result i32)
- (if
- (i32.eq
- (i32.and
- (i32.load offset=4
- (get_local $3)
+ (if
+ (i32.eq
+ (tee_local $7
+ (loop $while-in28 (result i32)
+ (block $while-out27 (result i32)
+ (if
+ (i32.eq
+ (i32.and
+ (i32.load offset=4
+ (get_local $3)
+ )
+ (i32.const -8)
+ )
+ (get_local $18)
+ )
+ (block
+ (set_local $17
+ (get_local $3)
+ )
+ (br $while-out27
+ (i32.const 148)
+ )
)
- (i32.const -8)
- )
- (get_local $18)
- )
- (block
- (set_local $17
- (get_local $3)
- )
- (br $while-out27
- (i32.const 148)
)
- )
- )
- (if (result i32)
- (tee_local $1
- (i32.load
- (tee_local $12
- (i32.add
- (i32.add
- (get_local $3)
- (i32.const 16)
+ (if (result i32)
+ (tee_local $1
+ (i32.load
+ (tee_local $12
+ (i32.add
+ (i32.add
+ (get_local $3)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $9)
+ (i32.const 31)
+ )
+ (i32.const 2)
+ )
+ )
)
+ )
+ )
+ (block
+ (set_local $9
(i32.shl
- (i32.shr_u
- (get_local $9)
- (i32.const 31)
- )
- (i32.const 2)
+ (get_local $9)
+ (i32.const 1)
)
)
+ (set_local $3
+ (get_local $1)
+ )
+ (br $while-in28)
)
- )
- )
- (block
- (set_local $9
- (i32.shl
- (get_local $9)
- (i32.const 1)
+ (block (result i32)
+ (set_local $21
+ (get_local $12)
+ )
+ (set_local $15
+ (get_local $3)
+ )
+ (i32.const 145)
)
)
- (set_local $3
- (get_local $1)
- )
- (br $while-in28)
- )
- (block (result i32)
- (set_local $21
- (get_local $12)
- )
- (set_local $15
- (get_local $3)
- )
- (i32.const 145)
)
)
)
- )
- )
- (if
- (i32.eq
- (get_local $7)
(i32.const 145)
)
(if
@@ -4801,76 +4800,75 @@
(get_local $0)
)
)
- (loop $while-in64
- (set_local $7
- (block $while-out63 (result i32)
- (if
- (i32.eq
- (i32.and
- (i32.load offset=4
- (get_local $3)
+ (if
+ (i32.eq
+ (tee_local $7
+ (loop $while-in64 (result i32)
+ (block $while-out63 (result i32)
+ (if
+ (i32.eq
+ (i32.and
+ (i32.load offset=4
+ (get_local $3)
+ )
+ (i32.const -8)
+ )
+ (get_local $15)
+ )
+ (block
+ (set_local $38
+ (get_local $3)
+ )
+ (br $while-out63
+ (i32.const 279)
+ )
)
- (i32.const -8)
- )
- (get_local $15)
- )
- (block
- (set_local $38
- (get_local $3)
- )
- (br $while-out63
- (i32.const 279)
)
- )
- )
- (if (result i32)
- (tee_local $4
- (i32.load
- (tee_local $0
- (i32.add
- (i32.add
- (get_local $3)
- (i32.const 16)
+ (if (result i32)
+ (tee_local $4
+ (i32.load
+ (tee_local $0
+ (i32.add
+ (i32.add
+ (get_local $3)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $5)
+ (i32.const 31)
+ )
+ (i32.const 2)
+ )
+ )
)
+ )
+ )
+ (block
+ (set_local $5
(i32.shl
- (i32.shr_u
- (get_local $5)
- (i32.const 31)
- )
- (i32.const 2)
+ (get_local $5)
+ (i32.const 1)
)
)
+ (set_local $3
+ (get_local $4)
+ )
+ (br $while-in64)
)
- )
- )
- (block
- (set_local $5
- (i32.shl
- (get_local $5)
- (i32.const 1)
+ (block (result i32)
+ (set_local $45
+ (get_local $0)
+ )
+ (set_local $53
+ (get_local $3)
+ )
+ (i32.const 276)
)
)
- (set_local $3
- (get_local $4)
- )
- (br $while-in64)
- )
- (block (result i32)
- (set_local $45
- (get_local $0)
- )
- (set_local $53
- (get_local $3)
- )
- (i32.const 276)
)
)
)
- )
- )
- (if
- (i32.eq
- (get_local $7)
(i32.const 276)
)
(if
@@ -5509,76 +5507,75 @@
(get_local $0)
)
)
- (loop $while-in70
- (set_local $7
- (block $while-out69 (result i32)
- (if
- (i32.eq
- (i32.and
- (i32.load offset=4
- (get_local $4)
+ (if
+ (i32.eq
+ (tee_local $7
+ (loop $while-in70 (result i32)
+ (block $while-out69 (result i32)
+ (if
+ (i32.eq
+ (i32.and
+ (i32.load offset=4
+ (get_local $4)
+ )
+ (i32.const -8)
+ )
+ (get_local $2)
+ )
+ (block
+ (set_local $31
+ (get_local $4)
+ )
+ (br $while-out69
+ (i32.const 305)
+ )
)
- (i32.const -8)
- )
- (get_local $2)
- )
- (block
- (set_local $31
- (get_local $4)
- )
- (br $while-out69
- (i32.const 305)
)
- )
- )
- (if (result i32)
- (tee_local $3
- (i32.load
- (tee_local $0
- (i32.add
- (i32.add
- (get_local $4)
- (i32.const 16)
+ (if (result i32)
+ (tee_local $3
+ (i32.load
+ (tee_local $0
+ (i32.add
+ (i32.add
+ (get_local $4)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $1)
+ (i32.const 31)
+ )
+ (i32.const 2)
+ )
+ )
)
+ )
+ )
+ (block
+ (set_local $1
(i32.shl
- (i32.shr_u
- (get_local $1)
- (i32.const 31)
- )
- (i32.const 2)
+ (get_local $1)
+ (i32.const 1)
)
)
+ (set_local $4
+ (get_local $3)
+ )
+ (br $while-in70)
)
- )
- )
- (block
- (set_local $1
- (i32.shl
- (get_local $1)
- (i32.const 1)
+ (block (result i32)
+ (set_local $47
+ (get_local $0)
+ )
+ (set_local $54
+ (get_local $4)
+ )
+ (i32.const 302)
)
)
- (set_local $4
- (get_local $3)
- )
- (br $while-in70)
- )
- (block (result i32)
- (set_local $47
- (get_local $0)
- )
- (set_local $54
- (get_local $4)
- )
- (i32.const 302)
)
)
)
- )
- )
- (if
- (i32.eq
- (get_local $7)
(i32.const 302)
)
(if
@@ -7482,76 +7479,75 @@
(get_local $5)
)
)
- (loop $while-in15
- (set_local $0
- (block $while-out14 (result i32)
- (if
- (i32.eq
- (i32.and
- (i32.load offset=4
- (get_local $1)
+ (if
+ (i32.eq
+ (tee_local $0
+ (loop $while-in15 (result i32)
+ (block $while-out14 (result i32)
+ (if
+ (i32.eq
+ (i32.and
+ (i32.load offset=4
+ (get_local $1)
+ )
+ (i32.const -8)
+ )
+ (get_local $0)
+ )
+ (block
+ (set_local $16
+ (get_local $1)
+ )
+ (br $while-out14
+ (i32.const 130)
+ )
)
- (i32.const -8)
- )
- (get_local $0)
- )
- (block
- (set_local $16
- (get_local $1)
- )
- (br $while-out14
- (i32.const 130)
)
- )
- )
- (if (result i32)
- (tee_local $11
- (i32.load
- (tee_local $7
- (i32.add
- (i32.add
- (get_local $1)
- (i32.const 16)
+ (if (result i32)
+ (tee_local $11
+ (i32.load
+ (tee_local $7
+ (i32.add
+ (i32.add
+ (get_local $1)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $13)
+ (i32.const 31)
+ )
+ (i32.const 2)
+ )
+ )
)
+ )
+ )
+ (block
+ (set_local $13
(i32.shl
- (i32.shr_u
- (get_local $13)
- (i32.const 31)
- )
- (i32.const 2)
+ (get_local $13)
+ (i32.const 1)
)
)
+ (set_local $1
+ (get_local $11)
+ )
+ (br $while-in15)
)
- )
- )
- (block
- (set_local $13
- (i32.shl
- (get_local $13)
- (i32.const 1)
+ (block (result i32)
+ (set_local $18
+ (get_local $7)
+ )
+ (set_local $19
+ (get_local $1)
+ )
+ (i32.const 127)
)
)
- (set_local $1
- (get_local $11)
- )
- (br $while-in15)
- )
- (block (result i32)
- (set_local $18
- (get_local $7)
- )
- (set_local $19
- (get_local $1)
- )
- (i32.const 127)
)
)
)
- )
- )
- (if
- (i32.eq
- (get_local $0)
(i32.const 127)
)
(if
@@ -8363,8 +8359,8 @@
(set_local $2
(get_local $1)
)
- (loop $while-in1
- (set_local $0
+ (set_local $0
+ (loop $while-in1 (result i32)
(if (result i32)
(i32.and
(i32.xor