diff options
Diffstat (limited to 'test/memorygrowth.fromasm.imprecise')
| -rw-r--r-- | test/memorygrowth.fromasm.imprecise | 176 |
1 files changed, 70 insertions, 106 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise index d0f3405d5..2a32f7528 100644 --- a/test/memorygrowth.fromasm.imprecise +++ b/test/memorygrowth.fromasm.imprecise @@ -169,22 +169,19 @@ (tee_local $8 (i32.add (i32.shl - (i32.shl - (tee_local $0 - (i32.add - (i32.xor - (i32.and - (get_local $5) - (i32.const 1) - ) + (tee_local $0 + (i32.add + (i32.xor + (i32.and + (get_local $5) (i32.const 1) ) - (get_local $0) + (i32.const 1) ) + (get_local $0) ) - (i32.const 1) ) - (i32.const 2) + (i32.const 3) ) (i32.const 1248) ) @@ -353,83 +350,80 @@ (tee_local $1 (i32.add (i32.shl - (i32.shl - (tee_local $16 - (i32.add + (tee_local $16 + (i32.add + (i32.or (i32.or (i32.or (i32.or - (i32.or - (tee_local $6 - (i32.and - (i32.shr_u - (tee_local $7 - (i32.shr_u - (get_local $6) - (get_local $8) - ) - ) - (i32.const 5) - ) - (i32.const 8) - ) - ) - (get_local $8) - ) - (tee_local $7 + (tee_local $6 (i32.and (i32.shr_u - (tee_local $9 + (tee_local $7 (i32.shr_u - (get_local $7) (get_local $6) + (get_local $8) ) ) - (i32.const 2) + (i32.const 5) ) - (i32.const 4) + (i32.const 8) ) ) + (get_local $8) ) - (tee_local $9 + (tee_local $7 (i32.and (i32.shr_u - (tee_local $1 + (tee_local $9 (i32.shr_u - (get_local $9) (get_local $7) + (get_local $6) ) ) - (i32.const 1) + (i32.const 2) ) - (i32.const 2) + (i32.const 4) ) ) ) - (tee_local $1 + (tee_local $9 (i32.and (i32.shr_u - (tee_local $12 + (tee_local $1 (i32.shr_u - (get_local $1) (get_local $9) + (get_local $7) ) ) (i32.const 1) ) - (i32.const 1) + (i32.const 2) ) ) ) - (i32.shr_u - (get_local $12) - (get_local $1) + (tee_local $1 + (i32.and + (i32.shr_u + (tee_local $12 + (i32.shr_u + (get_local $1) + (get_local $9) + ) + ) + (i32.const 1) + ) + (i32.const 1) + ) ) ) + (i32.shr_u + (get_local $12) + (get_local $1) + ) ) - (i32.const 1) ) - (i32.const 2) + (i32.const 3) ) (i32.const 1248) ) @@ -553,16 +547,13 @@ (set_local $4 (i32.add (i32.shl - (i32.shl - (tee_local $14 - (i32.shr_u - (get_local $34) - (i32.const 3) - ) + (tee_local $14 + (i32.shr_u + (get_local $34) + (i32.const 3) ) - (i32.const 1) ) - (i32.const 2) + (i32.const 3) ) (i32.const 1248) ) @@ -1278,16 +1269,13 @@ (set_local $1 (i32.add (i32.shl - (i32.shl - (tee_local $7 - (i32.shr_u - (get_local $1) - (i32.const 3) - ) + (tee_local $7 + (i32.shr_u + (get_local $1) + (i32.const 3) ) - (i32.const 1) ) - (i32.const 2) + (i32.const 3) ) (i32.const 1248) ) @@ -2410,11 +2398,8 @@ (set_local $5 (i32.add (i32.shl - (i32.shl - (get_local $9) - (i32.const 1) - ) - (i32.const 2) + (get_local $9) + (i32.const 3) ) (i32.const 1248) ) @@ -4093,11 +4078,8 @@ (tee_local $19 (i32.add (i32.shl - (i32.shl - (get_local $0) - (i32.const 1) - ) - (i32.const 2) + (get_local $0) + (i32.const 3) ) (i32.const 1248) ) @@ -4600,11 +4582,8 @@ (set_local $3 (i32.add (i32.shl - (i32.shl - (get_local $0) - (i32.const 1) - ) - (i32.const 2) + (get_local $0) + (i32.const 3) ) (i32.const 1248) ) @@ -5327,11 +5306,8 @@ (set_local $13 (i32.add (i32.shl - (i32.shl - (get_local $1) - (i32.const 1) - ) - (i32.const 2) + (get_local $1) + (i32.const 3) ) (i32.const 1248) ) @@ -5806,11 +5782,8 @@ (tee_local $13 (i32.add (i32.shl - (i32.shl - (get_local $1) - (i32.const 1) - ) - (i32.const 2) + (get_local $1) + (i32.const 3) ) (i32.const 1248) ) @@ -6174,11 +6147,8 @@ (tee_local $4 (i32.add (i32.shl - (i32.shl - (get_local $3) - (i32.const 1) - ) - (i32.const 2) + (get_local $3) + (i32.const 3) ) (i32.const 1248) ) @@ -6854,11 +6824,8 @@ (tee_local $4 (i32.add (i32.shl - (i32.shl - (get_local $14) - (i32.const 1) - ) - (i32.const 2) + (get_local $14) + (i32.const 3) ) (i32.const 1248) ) @@ -7350,11 +7317,8 @@ (set_local $1 (i32.add (i32.shl - (i32.shl - (get_local $6) - (i32.const 1) - ) - (i32.const 2) + (get_local $6) + (i32.const 3) ) (i32.const 1248) ) |