diff options
Diffstat (limited to 'test/memorygrowth.fromasm.imprecise')
-rw-r--r-- | test/memorygrowth.fromasm.imprecise | 370 |
1 files changed, 175 insertions, 195 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise index 72f7b31e4..0044bab54 100644 --- a/test/memorygrowth.fromasm.imprecise +++ b/test/memorygrowth.fromasm.imprecise @@ -1571,7 +1571,7 @@ (get_local $2) ) (block - (set_local $29 + (set_local $30 (get_local $13) ) (set_local $28 @@ -1823,7 +1823,7 @@ ) ) (block - (set_local $29 + (set_local $30 (get_local $36) ) (set_local $28 @@ -1868,13 +1868,13 @@ (get_local $0) ) ) - (get_local $29) + (get_local $30) ) ) (set_local $6 (select (get_local $9) - (get_local $29) + (get_local $30) (get_local $3) ) ) @@ -1892,7 +1892,7 @@ ) ) (block - (set_local $29 + (set_local $30 (get_local $6) ) (set_local $28 @@ -1912,7 +1912,7 @@ ) ) (block - (set_local $29 + (set_local $30 (get_local $6) ) (set_local $32 @@ -3516,15 +3516,15 @@ ) ) (block - (set_local $20 - (get_local $4) - ) (set_local $26 (get_local $12) ) (set_local $8 (i32.const 191) ) + (set_local $20 + (get_local $4) + ) ) ) ) @@ -3781,7 +3781,7 @@ ) ) ) - (set_local $30 + (set_local $29 (i32.const 1656) ) ) @@ -3791,7 +3791,7 @@ (get_local $8) (i32.const 209) ) - (set_local $30 + (set_local $29 (if (result i32) (i32.and (i32.load offset=12 @@ -4949,7 +4949,7 @@ (i32.le_u (tee_local $1 (i32.load - (get_local $30) + (get_local $29) ) ) (get_local $12) @@ -4959,7 +4959,7 @@ (tee_local $16 (i32.add (i32.load offset=4 - (get_local $30) + (get_local $29) ) (get_local $1) ) @@ -4974,9 +4974,9 @@ ) ) ) - (set_local $30 + (set_local $29 (i32.load offset=8 - (get_local $30) + (get_local $29) ) ) (br $while-in66) @@ -7851,10 +7851,10 @@ (i32.const 0) ) (block - (set_local $16 + (set_local $15 (get_local $5) ) - (set_local $17 + (set_local $16 (get_local $3) ) (set_local $1 @@ -7963,12 +7963,15 @@ (br $while-in) ) ) - (if + (set_global $r + (get_local $12) + ) + (if (result i32) (i32.eq (get_local $1) (i32.const 6) ) - (block + (block (result i32) (i32.store offset=16 (get_local $0) (i32.add @@ -7992,16 +7995,14 @@ (get_local $13) (get_local $4) ) - (set_local $15 - (get_local $2) - ) + (get_local $2) ) - (if + (if (result i32) (i32.eq (get_local $1) (i32.const 8) ) - (block + (block (result i32) (i32.store offset=16 (get_local $0) (i32.const 0) @@ -8023,28 +8024,23 @@ (i32.const 32) ) ) - (set_local $15 - (select - (i32.const 0) - (i32.sub - (get_local $2) - (i32.load offset=4 - (get_local $16) - ) - ) - (i32.eq - (get_local $17) - (i32.const 2) + (select + (i32.const 0) + (i32.sub + (get_local $2) + (i32.load offset=4 + (get_local $15) ) ) + (i32.eq + (get_local $16) + (i32.const 2) + ) ) ) + (get_local $17) ) ) - (set_global $r - (get_local $12) - ) - (get_local $15) ) (func $Wa (; 16 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) (local $3 i32) @@ -8309,84 +8305,82 @@ ) ) ) - (if - (i32.eq - (get_local $2) - (i32.const 4) - ) - (block - (set_local $2 - (get_local $1) + (i32.sub + (if (result i32) + (i32.eq + (get_local $2) + (i32.const 4) ) - (set_local $0 - (loop $while-in1 (result i32) - (if (result i32) - (i32.and - (i32.add - (tee_local $1 - (i32.load - (get_local $2) + (block (result i32) + (set_local $2 + (get_local $1) + ) + (set_local $0 + (loop $while-in1 (result i32) + (if (result i32) + (i32.and + (i32.add + (tee_local $1 + (i32.load + (get_local $2) + ) ) + (i32.const -16843009) ) - (i32.const -16843009) - ) - (i32.xor - (i32.and - (get_local $1) + (i32.xor + (i32.and + (get_local $1) + (i32.const -2139062144) + ) (i32.const -2139062144) ) - (i32.const -2139062144) ) - ) - (get_local $2) - (block - (set_local $2 - (i32.add - (get_local $2) - (i32.const 4) + (get_local $2) + (block + (set_local $2 + (i32.add + (get_local $2) + (i32.const 4) + ) ) + (br $while-in1) ) - (br $while-in1) ) ) ) - ) - (if - (i32.and - (get_local $1) - (i32.const 255) - ) - (block - (set_local $1 - (get_local $0) + (if + (i32.and + (get_local $1) + (i32.const 255) ) - (loop $while-in3 - (if - (i32.load8_s - (tee_local $0 - (i32.add - (get_local $1) - (i32.const 1) + (block + (set_local $1 + (get_local $0) + ) + (loop $while-in3 + (if + (i32.load8_s + (tee_local $0 + (i32.add + (get_local $1) + (i32.const 1) + ) ) ) - ) - (block - (set_local $1 - (get_local $0) + (block + (set_local $1 + (get_local $0) + ) + (br $while-in3) ) - (br $while-in3) ) ) ) ) - ) - (set_local $5 (get_local $0) ) + (get_local $5) ) - ) - (i32.sub - (get_local $5) (get_local $3) ) ) @@ -9052,6 +9046,7 @@ (local $0 i32) (local $1 i32) (local $2 i32) + (local $3 i32) (drop (i32.load offset=76 (tee_local $0 @@ -9063,70 +9058,84 @@ ) (i32.shr_s (i32.shl - (tee_local $1 - (if (result i32) - (i32.lt_s - (i32.add - (call $bb - (i32.const 1144) - (call $Za - (i32.const 1144) + (if (result i32) + (i32.lt_s + (i32.add + (select + (i32.div_u + (tee_local $3 + (call $Wa + (i32.const 1144) + (tee_local $2 + (tee_local $1 + (call $Za + (i32.const 1144) + ) + ) + ) + (get_local $0) + ) ) - (get_local $0) + (get_local $1) + ) + (i32.const 1) + (i32.ne + (get_local $2) + (get_local $3) ) - (i32.const -1) ) - (i32.const 0) + (i32.const -1) ) - (i32.const 1) - (block $do-once (result i32) - (if - (i32.ne - (i32.load8_s offset=75 - (get_local $0) - ) - (i32.const 10) + (i32.const 0) + ) + (i32.const 1) + (block $do-once (result i32) + (if + (i32.ne + (i32.load8_s offset=75 + (get_local $0) ) - (if - (i32.lt_u - (tee_local $1 - (i32.load - (tee_local $2 - (i32.add - (get_local $0) - (i32.const 20) - ) + (i32.const 10) + ) + (if + (i32.lt_u + (tee_local $1 + (i32.load + (tee_local $2 + (i32.add + (get_local $0) + (i32.const 20) ) ) ) - (i32.load offset=16 - (get_local $0) - ) ) - (block - (i32.store - (get_local $2) - (i32.add - (get_local $1) - (i32.const 1) - ) - ) - (i32.store8 + (i32.load offset=16 + (get_local $0) + ) + ) + (block + (i32.store + (get_local $2) + (i32.add (get_local $1) - (i32.const 10) - ) - (br $do-once - (i32.const 0) + (i32.const 1) ) ) + (i32.store8 + (get_local $1) + (i32.const 10) + ) + (br $do-once + (i32.const 0) + ) ) ) - (i32.lt_s - (call $ab - (get_local $0) - ) - (i32.const 0) + ) + (i32.lt_s + (call $ab + (get_local $0) ) + (i32.const 0) ) ) ) @@ -9213,36 +9222,7 @@ ) ) ) - (func $bb (; 26 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) - (local $3 i32) - (local $4 i32) - (set_local $4 - (i32.const 1) - ) - (set_local $3 - (get_local $1) - ) - (if - (i32.ne - (get_local $3) - (tee_local $0 - (call $Wa - (get_local $0) - (get_local $3) - (get_local $2) - ) - ) - ) - (set_local $4 - (i32.div_u - (get_local $0) - (get_local $1) - ) - ) - ) - (get_local $4) - ) - (func $Ua (; 27 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) + (func $Ua (; 26 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) (local $3 i32) (local $4 i32) (set_local $4 @@ -9311,7 +9291,7 @@ ) (get_local $0) ) - (func $Va (; 28 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) + (func $Va (; 27 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) (local $3 i32) (local $4 i32) (set_local $4 @@ -9381,7 +9361,7 @@ ) (get_local $3) ) - (func $Oa (; 29 ;) (; has Stack IR ;) (param $0 i32) (result i32) + (func $Oa (; 28 ;) (; has Stack IR ;) (param $0 i32) (result i32) (local $1 i32) (set_local $1 (get_global $r) @@ -9411,7 +9391,7 @@ ) (get_local $0) ) - (func $Pa (; 30 ;) (; has Stack IR ;) (param $0 i32) (result i32) + (func $Pa (; 29 ;) (; has Stack IR ;) (param $0 i32) (result i32) (if (result i32) (i32.gt_u (get_local $0) @@ -9430,7 +9410,7 @@ (get_local $0) ) ) - (func $Qa (; 31 ;) (; has Stack IR ;) (result i32) + (func $Qa (; 30 ;) (; has Stack IR ;) (result i32) (select (i32.load (i32.const 64) @@ -9441,7 +9421,7 @@ ) ) ) - (func $lb (; 32 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (result i32) + (func $lb (; 31 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (result i32) (call_indirect (type $FUNCSIG$iiii) (get_local $1) (get_local $2) @@ -9455,7 +9435,7 @@ ) ) ) - (func $Ea (; 33 ;) (; has Stack IR ;) (param $0 i32) (result i32) + (func $Ea (; 32 ;) (; has Stack IR ;) (param $0 i32) (result i32) (local $1 i32) (set_local $1 (get_global $r) @@ -9477,13 +9457,13 @@ ) (get_local $1) ) - (func $ob (; 34 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) + (func $ob (; 33 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (result i32) (call $ja (i32.const 1) ) (i32.const 0) ) - (func $Ia (; 35 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) + (func $Ia (; 34 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (if (i32.eqz (get_global $v) @@ -9498,7 +9478,7 @@ ) ) ) - (func $kb (; 36 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32) + (func $kb (; 35 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32) (call_indirect (type $FUNCSIG$ii) (get_local $1) (i32.and @@ -9507,10 +9487,10 @@ ) ) ) - (func $Sa (; 37 ;) (; has Stack IR ;) (param $0 i32) + (func $Sa (; 36 ;) (; has Stack IR ;) (param $0 i32) (nop) ) - (func $mb (; 38 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) + (func $mb (; 37 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (call_indirect (type $FUNCSIG$vi) (get_local $1) (i32.add @@ -9522,7 +9502,7 @@ ) ) ) - (func $Ha (; 39 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) + (func $Ha (; 38 ;) (; has Stack IR ;) (param $0 i32) (param $1 i32) (set_global $r (get_local $0) ) @@ -9530,40 +9510,40 @@ (get_local $1) ) ) - (func $nb (; 40 ;) (; has Stack IR ;) (param $0 i32) (result i32) + (func $nb (; 39 ;) (; has Stack IR ;) (param $0 i32) (result i32) (call $ja (i32.const 0) ) (i32.const 0) ) - (func $Na (; 41 ;) (; has Stack IR ;) (result i32) + (func $Na (; 40 ;) (; has Stack IR ;) (result i32) (drop (call $db) ) (i32.const 0) ) - (func $pb (; 42 ;) (; has Stack IR ;) (param $0 i32) + (func $pb (; 41 ;) (; has Stack IR ;) (param $0 i32) (call $ja (i32.const 2) ) ) - (func $La (; 43 ;) (; has Stack IR ;) (param $0 i32) + (func $La (; 42 ;) (; has Stack IR ;) (param $0 i32) (set_global $K (get_local $0) ) ) - (func $Ga (; 44 ;) (; has Stack IR ;) (param $0 i32) + (func $Ga (; 43 ;) (; has Stack IR ;) (param $0 i32) (set_global $r (get_local $0) ) ) - (func $Ma (; 45 ;) (; has Stack IR ;) (result i32) + (func $Ma (; 44 ;) (; has Stack IR ;) (result i32) (get_global $K) ) - (func $Fa (; 46 ;) (; has Stack IR ;) (result i32) + (func $Fa (; 45 ;) (; has Stack IR ;) (result i32) (get_global $r) ) - (func $ib (; 47 ;) (; has Stack IR ;) (result i32) + (func $ib (; 46 ;) (; has Stack IR ;) (result i32) (i32.const 0) ) ) |