diff options
Diffstat (limited to 'test/memorygrowth.fromasm.imprecise')
-rw-r--r-- | test/memorygrowth.fromasm.imprecise | 464 |
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 |