diff options
Diffstat (limited to 'test/memorygrowth.fromasm.imprecise')
| -rw-r--r-- | test/memorygrowth.fromasm.imprecise | 963 |
1 files changed, 452 insertions, 511 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise index 4be639994..2927c2f6e 100644 --- a/test/memorygrowth.fromasm.imprecise +++ b/test/memorygrowth.fromasm.imprecise @@ -49,12 +49,12 @@ (local $q i32) (local $V i32) (local $ja i32) - (local $c i32) (local $aa i32) (local $d i32) + (local $c i32) (local $g i32) - (local $la i32) (local $f i32) + (local $la i32) (local $N i32) (local $t i32) (local $o i32) @@ -156,27 +156,6 @@ (i32.const 245) ) (block - (set_local $e - (i32.shr_u - (set_local $d - (if - (i32.lt_u - (get_local $a) - (i32.const 11) - ) - (i32.const 16) - (i32.and - (i32.add - (get_local $a) - (i32.const 11) - ) - (i32.const -8) - ) - ) - ) - (i32.const 3) - ) - ) (if (i32.and (set_local $g @@ -186,7 +165,27 @@ (i32.const 1208) ) ) - (get_local $e) + (set_local $e + (i32.shr_u + (set_local $d + (select + (i32.const 16) + (i32.and + (i32.add + (get_local $a) + (i32.const 11) + ) + (i32.const -8) + ) + (i32.lt_u + (get_local $a) + (i32.const 11) + ) + ) + ) + (i32.const 3) + ) + ) ) ) (i32.const 3) @@ -850,36 +849,37 @@ ) ) ) - (set_local $e - (if - (set_local $f - (i32.lt_u - (set_local $j - (i32.sub - (i32.and - (i32.load offset=4 - (get_local $B) - ) - (i32.const -8) - ) - (get_local $d) + (set_local $f + (i32.lt_u + (set_local $j + (i32.sub + (i32.and + (i32.load offset=4 + (get_local $B) ) + (i32.const -8) ) - (get_local $e) + (get_local $d) ) ) + (get_local $e) + ) + ) + (set_local $e + (select (get_local $j) (get_local $e) + (get_local $f) ) ) (set_local $g (get_local $B) ) (set_local $s - (if - (get_local $f) + (select (get_local $B) (get_local $s) + (get_local $f) ) ) (br $while-in$7) @@ -1600,11 +1600,7 @@ (set_local $s (i32.shl (get_local $e) - (if - (i32.eq - (get_local $J) - (i32.const 31) - ) + (select (i32.const 0) (i32.sub (i32.const 25) @@ -1613,6 +1609,10 @@ (i32.const 1) ) ) + (i32.eq + (get_local $J) + (i32.const 31) + ) ) ) ) @@ -1679,14 +1679,16 @@ ) ) (set_local $m - (if + (select + (get_local $j) + (set_local $l + (i32.load offset=20 + (get_local $o) + ) + ) (i32.or (i32.eq - (set_local $l - (i32.load offset=20 - (get_local $o) - ) - ) + (get_local $l) (i32.const 0) ) (i32.eq @@ -1710,8 +1712,6 @@ ) ) ) - (get_local $j) - (get_local $l) ) ) (if @@ -1961,33 +1961,34 @@ (set_local $N (i32.const 0) ) - (set_local $g - (if - (set_local $s - (i32.lt_u - (set_local $i - (i32.sub - (i32.and - (i32.load offset=4 - (get_local $P) - ) - (i32.const -8) - ) - (get_local $e) + (set_local $s + (i32.lt_u + (set_local $i + (i32.sub + (i32.and + (i32.load offset=4 + (get_local $P) ) + (i32.const -8) ) - (get_local $O) + (get_local $e) ) ) + (get_local $O) + ) + ) + (set_local $g + (select (get_local $i) (get_local $O) + (get_local $s) ) ) (set_local $i - (if - (get_local $s) + (select (get_local $P) (get_local $Q) + (get_local $s) ) ) (if @@ -2753,11 +2754,7 @@ (set_local $q (i32.shl (get_local $U) - (if - (i32.eq - (get_local $ba) - (i32.const 31) - ) + (select (i32.const 0) (i32.sub (i32.const 25) @@ -2766,6 +2763,10 @@ (i32.const 1) ) ) + (i32.eq + (get_local $ba) + (i32.const 31) + ) ) ) ) @@ -3831,27 +3832,32 @@ (get_local $ia) ) ) - (set_local $ca - (if - (i32.eq - (i32.and - (set_local $ka - (i32.add - (get_local $ja) - (i32.const 8) + (set_local $ka + (i32.add + (get_local $ja) + (set_local $ca + (select + (i32.const 0) + (i32.and + (i32.sub + (i32.const 0) + (set_local $ka + (i32.add + (get_local $ja) + (i32.const 8) + ) + ) ) + (i32.const 7) + ) + (i32.eq + (i32.and + (get_local $ka) + (i32.const 7) + ) + (i32.const 0) ) - (i32.const 7) - ) - (i32.const 0) - ) - (i32.const 0) - (i32.and - (i32.sub - (i32.const 0) - (get_local $ka) ) - (i32.const 7) ) ) ) @@ -3868,12 +3874,7 @@ ) (i32.store (i32.const 1232) - (set_local $ka - (i32.add - (get_local $ja) - (get_local $ca) - ) - ) + (get_local $ka) ) (i32.store (i32.const 1220) @@ -4008,26 +4009,26 @@ (set_local $ca (i32.add (get_local $ha) - (if - (i32.eq - (i32.and + (select + (i32.const 0) + (i32.and + (i32.sub + (i32.const 0) (set_local $ka (i32.add (get_local $ha) (i32.const 8) ) ) - (i32.const 7) ) - (i32.const 0) + (i32.const 7) ) - (i32.const 0) - (i32.and - (i32.sub - (i32.const 0) + (i32.eq + (i32.and (get_local $ka) + (i32.const 7) ) - (i32.const 7) + (i32.const 0) ) ) ) @@ -4035,26 +4036,26 @@ (set_local $ma (i32.add (get_local $c) - (if - (i32.eq - (i32.and + (select + (i32.const 0) + (i32.and + (i32.sub + (i32.const 0) (set_local $ka (i32.add (get_local $c) (i32.const 8) ) ) - (i32.const 7) ) - (i32.const 0) + (i32.const 7) ) - (i32.const 0) - (i32.and - (i32.sub - (i32.const 0) + (i32.eq + (i32.and (get_local $ka) + (i32.const 7) ) - (i32.const 7) + (i32.const 0) ) ) ) @@ -4985,11 +4986,7 @@ (set_local $aa (i32.shl (get_local $Ea) - (if - (i32.eq - (get_local $Ha) - (i32.const 31) - ) + (select (i32.const 0) (i32.sub (i32.const 25) @@ -4998,6 +4995,10 @@ (i32.const 1) ) ) + (i32.eq + (get_local $Ha) + (i32.const 31) + ) ) ) ) @@ -5227,30 +5228,32 @@ (set_local $ka (i32.add (set_local $ca - (if - (i32.lt_u - (set_local $ka - (i32.add - (get_local $ca) - (if - (i32.eq - (i32.and - (get_local $ea) - (i32.const 7) - ) + (select + (get_local $ja) + (set_local $ka + (i32.add + (get_local $ca) + (select + (i32.const 0) + (i32.and + (i32.sub (i32.const 0) + (get_local $ea) ) - (i32.const 0) + (i32.const 7) + ) + (i32.eq (i32.and - (i32.sub - (i32.const 0) - (get_local $ea) - ) + (get_local $ea) (i32.const 7) ) + (i32.const 0) ) ) ) + ) + (i32.lt_u + (get_local $ka) (set_local $ea (i32.add (get_local $ja) @@ -5258,43 +5261,40 @@ ) ) ) - (get_local $ja) - (get_local $ka) ) ) (i32.const 8) ) ) - (set_local $c - (if - (i32.eq - (i32.and - (set_local $ma - (i32.add - (get_local $ha) - (i32.const 8) - ) - ) - (i32.const 7) - ) - (i32.const 0) - ) - (i32.const 0) - (i32.and - (i32.sub - (i32.const 0) - (get_local $ma) - ) - (i32.const 7) - ) - ) - ) (i32.store (i32.const 1232) (set_local $ma (i32.add (get_local $ha) - (get_local $c) + (set_local $c + (select + (i32.const 0) + (i32.and + (i32.sub + (i32.const 0) + (set_local $ma + (i32.add + (get_local $ha) + (i32.const 8) + ) + ) + ) + (i32.const 7) + ) + (i32.eq + (i32.and + (get_local $ma) + (i32.const 7) + ) + (i32.const 0) + ) + ) + ) ) ) ) @@ -5701,11 +5701,7 @@ (set_local $ma (i32.shl (get_local $ka) - (if - (i32.eq - (get_local $Oa) - (i32.const 31) - ) + (select (i32.const 0) (i32.sub (i32.const 25) @@ -5714,6 +5710,10 @@ (i32.const 1) ) ) + (i32.eq + (get_local $Oa) + (i32.const 31) + ) ) ) ) @@ -5957,36 +5957,35 @@ ) ) ) - (set_local $c - (if - (i32.eq - (i32.and - (set_local $ma - (i32.add - (get_local $ha) - (i32.const 8) - ) - ) - (i32.const 7) - ) - (i32.const 0) - ) - (i32.const 0) - (i32.and - (i32.sub - (i32.const 0) - (get_local $ma) - ) - (i32.const 7) - ) - ) - ) (i32.store (i32.const 1232) (set_local $ma (i32.add (get_local $ha) - (get_local $c) + (set_local $c + (select + (i32.const 0) + (i32.and + (i32.sub + (i32.const 0) + (set_local $ma + (i32.add + (get_local $ha) + (i32.const 8) + ) + ) + ) + (i32.const 7) + ) + (i32.eq + (i32.and + (get_local $ma) + (i32.const 7) + ) + (i32.const 0) + ) + ) + ) ) ) ) @@ -6095,9 +6094,7 @@ (i32.const 8) (get_local $b) ) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $fb (param $a i32) (local $m i32) @@ -7744,11 +7741,7 @@ (set_local $F (i32.shl (get_local $D) - (if - (i32.eq - (get_local $G) - (i32.const 31) - ) + (select (i32.const 0) (i32.sub (i32.const 25) @@ -7757,6 +7750,10 @@ (i32.const 1) ) ) + (i32.eq + (get_local $G) + (i32.const 31) + ) ) ) ) @@ -7985,7 +7982,6 @@ (i32.const 1240) (i32.const -1) ) - (return) ) (func $Ra (param $a i32) (param $b i32) (param $c i32) (result i32) (local $g i32) @@ -8391,9 +8387,7 @@ (i32.const 8) (get_local $d) ) - (return - (get_local $z) - ) + (get_local $z) ) (func $Wa (param $a i32) (param $b i32) (param $c i32) (result i32) (local $d i32) @@ -8635,9 +8629,7 @@ ) ) ) - (return - (get_local $h) - ) + (get_local $h) ) (func $Za (param $a i32) (result i32) (local $d i32) @@ -8810,11 +8802,9 @@ ) ) ) - (return - (i32.sub - (get_local $g) - (get_local $b) - ) + (i32.sub + (get_local $g) + (get_local $b) ) ) (func $_a (param $a i32) (result i32) @@ -8824,146 +8814,144 @@ (local $d i32) (local $g i32) (local $f i32) - (return - (block $do-once$0 - (if - (get_local $a) - (block - (if - (i32.le_s - (i32.load offset=76 - (get_local $a) - ) - (i32.const -1) - ) - (br $do-once$0 - (call $$a - (get_local $a) - ) + (block $do-once$0 + (if + (get_local $a) + (block + (if + (i32.le_s + (i32.load offset=76 + (get_local $a) ) + (i32.const -1) ) - (set_local $c - (i32.eq - (call $Ya - (get_local $a) - ) - (i32.const 0) + (br $do-once$0 + (call $$a + (get_local $a) ) ) - (set_local $e - (call $$a + ) + (set_local $c + (i32.eq + (call $Ya (get_local $a) ) + (i32.const 0) ) - (if - (get_local $c) - (get_local $e) - (block - (call $Ta - (get_local $a) - ) - (get_local $e) + ) + (set_local $e + (call $$a + (get_local $a) + ) + ) + (if + (get_local $c) + (get_local $e) + (block + (call $Ta + (get_local $a) ) + (get_local $e) ) ) - (block - (set_local $b - (if + ) + (block + (set_local $b + (if + (i32.load + (i32.const 1140) + ) + (call $_a (i32.load (i32.const 1140) ) - (call $_a - (i32.load - (i32.const 1140) - ) - ) - (i32.const 0) ) + (i32.const 0) ) - (call_import $pa - (i32.const 1188) + ) + (call_import $pa + (i32.const 1188) + ) + (if + (set_local $c + (i32.load + (i32.const 1184) + ) ) - (if + (block + (set_local $e + (get_local $c) + ) (set_local $c - (i32.load - (i32.const 1184) - ) + (get_local $b) ) - (block - (set_local $e - (get_local $c) - ) - (set_local $c - (get_local $b) - ) - (loop $while-out$2 $while-in$3 - (set_local $f - (if - (i32.gt_s - (i32.load offset=76 - (get_local $e) - ) - (i32.const -1) - ) - (call $Ya + (loop $while-out$2 $while-in$3 + (set_local $f + (if + (i32.gt_s + (i32.load offset=76 (get_local $e) ) - (i32.const 0) + (i32.const -1) + ) + (call $Ya + (get_local $e) ) + (i32.const 0) ) - (set_local $g - (if - (i32.gt_u - (i32.load offset=20 - (get_local $e) - ) - (i32.load offset=28 - (get_local $e) - ) + ) + (set_local $g + (if + (i32.gt_u + (i32.load offset=20 + (get_local $e) ) - (i32.or - (call $$a - (get_local $e) - ) - (get_local $c) + (i32.load offset=28 + (get_local $e) + ) + ) + (i32.or + (call $$a + (get_local $e) ) (get_local $c) ) + (get_local $c) ) - (if - (get_local $f) - (call $Ta + ) + (if + (get_local $f) + (call $Ta + (get_local $e) + ) + ) + (if + (set_local $e + (i32.load offset=56 (get_local $e) ) ) - (if - (set_local $e - (i32.load offset=56 - (get_local $e) - ) - ) - (set_local $c + (set_local $c + (get_local $g) + ) + (block + (set_local $d (get_local $g) ) - (block - (set_local $d - (get_local $g) - ) - (br $while-out$2) - ) + (br $while-out$2) ) - (br $while-in$3) ) - ) - (set_local $d - (get_local $b) + (br $while-in$3) ) ) - (call_import $xa - (i32.const 1188) + (set_local $d + (get_local $b) ) - (get_local $d) ) + (call_import $xa + (i32.const 1188) + ) + (get_local $d) ) ) ) @@ -9125,9 +9113,7 @@ (i32.const 8) (get_local $c) ) - (return - (get_local $m) - ) + (get_local $m) ) (func $$a (param $a i32) (result i32) (local $e i32) @@ -9259,9 +9245,7 @@ ) ) ) - (return - (get_local $d) - ) + (get_local $d) ) (func $jb (param $a i32) (param $b i32) (param $c i32) (result i32) (local $d i32) @@ -9404,9 +9388,7 @@ ) (br $while-in$5) ) - (return - (get_local $d) - ) + (get_local $d) ) (func $gb (nop) @@ -9541,11 +9523,9 @@ ) (br $while-in$5) ) - (return - (i32.sub - (get_local $a) - (get_local $c) - ) + (i32.sub + (get_local $a) + (get_local $c) ) ) (func $db (param $a i32) (result i32) @@ -9642,14 +9622,12 @@ (get_local $b) ) ) - (return - (i32.shr_s - (i32.shl - (get_local $d) - (i32.const 31) - ) + (i32.shr_s + (i32.shl + (get_local $d) (i32.const 31) ) + (i32.const 31) ) ) (func $Xa (param $a i32) (result i32) @@ -9675,58 +9653,56 @@ (get_local $c) ) ) - (return - (if - (i32.and - (set_local $c - (i32.load - (get_local $a) - ) - ) - (i32.const 8) - ) - (block - (i32.store + (if + (i32.and + (set_local $c + (i32.load (get_local $a) - (i32.or - (get_local $c) - (i32.const 32) - ) ) - (i32.const -1) ) - (block - (i32.store offset=8 - (get_local $a) - (i32.const 0) - ) - (i32.store offset=4 - (get_local $a) - (i32.const 0) + (i32.const 8) + ) + (block + (i32.store + (get_local $a) + (i32.or + (get_local $c) + (i32.const 32) ) - (i32.store offset=28 - (get_local $a) - (set_local $b - (i32.load offset=44 - (get_local $a) - ) + ) + (i32.const -1) + ) + (block + (i32.store offset=8 + (get_local $a) + (i32.const 0) + ) + (i32.store offset=4 + (get_local $a) + (i32.const 0) + ) + (i32.store offset=28 + (get_local $a) + (set_local $b + (i32.load offset=44 + (get_local $a) ) ) - (i32.store offset=20 - (get_local $a) + ) + (i32.store offset=20 + (get_local $a) + (get_local $b) + ) + (i32.store offset=16 + (get_local $a) + (i32.add (get_local $b) - ) - (i32.store offset=16 - (get_local $a) - (i32.add - (get_local $b) - (i32.load offset=48 - (get_local $a) - ) + (i32.load offset=48 + (get_local $a) ) ) - (i32.const 0) ) + (i32.const 0) ) ) ) @@ -9741,58 +9717,56 @@ (get_local $b) ) ) - (return - (if - (i32.eq - (set_local $h - (if - (i32.gt_s - (i32.load offset=76 - (get_local $d) - ) - (i32.const -1) + (if + (i32.eq + (set_local $h + (if + (i32.gt_s + (i32.load offset=76 + (get_local $d) ) - (block - (set_local $f - (i32.eq - (call $Ya - (get_local $d) - ) - (i32.const 0) + (i32.const -1) + ) + (block + (set_local $f + (i32.eq + (call $Ya + (get_local $d) ) + (i32.const 0) ) - (set_local $g - (call $Wa - (get_local $a) - (get_local $e) + ) + (set_local $g + (call $Wa + (get_local $a) + (get_local $e) + (get_local $d) + ) + ) + (if + (get_local $f) + (get_local $g) + (block + (call $Ta (get_local $d) ) - ) - (if - (get_local $f) (get_local $g) - (block - (call $Ta - (get_local $d) - ) - (get_local $g) - ) ) ) - (call $Wa - (get_local $a) - (get_local $e) - (get_local $d) - ) + ) + (call $Wa + (get_local $a) + (get_local $e) + (get_local $d) ) ) - (get_local $e) - ) - (get_local $c) - (i32.div_u - (get_local $h) - (get_local $b) ) + (get_local $e) + ) + (get_local $c) + (i32.div_u + (get_local $h) + (get_local $b) ) ) ) @@ -9871,9 +9845,7 @@ (i32.const 8) (get_local $d) ) - (return - (get_local $g) - ) + (get_local $g) ) (func $Va (param $a i32) (param $b i32) (param $c i32) (result i32) (local $e i32) @@ -9949,9 +9921,7 @@ (i32.const 8) (get_local $d) ) - (return - (get_local $e) - ) + (get_local $e) ) (func $Ka (param $a i32) (i32.store8 @@ -10056,29 +10026,25 @@ (i32.const 8) (get_local $b) ) - (return - (get_local $a) - ) + (get_local $a) ) (func $Pa (param $a i32) (result i32) - (return - (if - (i32.gt_u - (get_local $a) - (i32.const -4096) - ) - (block - (i32.store - (call $Qa) - (i32.sub - (i32.const 0) - (get_local $a) - ) + (if + (i32.gt_u + (get_local $a) + (i32.const -4096) + ) + (block + (i32.store + (call $Qa) + (i32.sub + (i32.const 0) + (get_local $a) ) - (i32.const -1) ) - (get_local $a) + (i32.const -1) ) + (get_local $a) ) ) (func $Ja (param $a i32) @@ -10116,32 +10082,28 @@ ) ) (func $Qa (result i32) - (return - (if - (i32.load - (i32.const 1160) - ) - (i32.load offset=64 - (call $ib) - ) - (i32.const 1204) + (if + (i32.load + (i32.const 1160) + ) + (i32.load offset=64 + (call $ib) ) + (i32.const 1204) ) ) (func $lb (param $a i32) (param $b i32) (param $c i32) (param $d i32) (result i32) - (return - (call_indirect $FUNCSIG$iiii - (i32.add - (i32.and - (get_local $a) - (i32.const 3) - ) - (i32.const 2) + (call_indirect $FUNCSIG$iiii + (i32.add + (i32.and + (get_local $a) + (i32.const 3) ) - (get_local $b) - (get_local $c) - (get_local $d) + (i32.const 2) ) + (get_local $b) + (get_local $c) + (get_local $d) ) ) (func $Ea (param $a i32) (result i32) @@ -10172,32 +10134,26 @@ (i32.const -16) ) ) - (return - (get_local $b) - ) + (get_local $b) ) (func $cb (param $a i32) (param $b i32) (result i32) - (return - (i32.add - (call $bb + (i32.add + (call $bb + (get_local $a) + (call $Za (get_local $a) - (call $Za - (get_local $a) - ) - (i32.const 1) - (get_local $b) ) - (i32.const -1) + (i32.const 1) + (get_local $b) ) + (i32.const -1) ) ) (func $ob (param $a i32) (param $b i32) (param $c i32) (result i32) (call_import $ja (i32.const 1) ) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $Ia (param $a i32) (param $b i32) (if @@ -10219,17 +10175,15 @@ ) ) (func $kb (param $a i32) (param $b i32) (result i32) - (return - (call_indirect $FUNCSIG$ii - (i32.add - (i32.and - (get_local $a) - (i32.const 1) - ) - (i32.const 0) + (call_indirect $FUNCSIG$ii + (i32.add + (i32.and + (get_local $a) + (i32.const 1) ) - (get_local $b) + (i32.const 0) ) + (get_local $b) ) ) (func $Sa (param $a i32) @@ -10243,7 +10197,6 @@ (get_local $a) ) ) - (return) ) (func $mb (param $a i32) (param $b i32) (call_indirect $FUNCSIG$vi @@ -10271,25 +10224,19 @@ (call_import $ja (i32.const 0) ) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $Na (result i32) (call $db (i32.const 1144) ) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $Ya (param $a i32) (result i32) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $Ta (param $a i32) - (return) + (nop) ) (func $pb (param $a i32) (call_import $ja @@ -10309,23 +10256,17 @@ ) ) (func $Ma (result i32) - (return - (i32.load - (i32.const 160) - ) + (i32.load + (i32.const 160) ) ) (func $Fa (result i32) - (return - (i32.load - (i32.const 8) - ) + (i32.load + (i32.const 8) ) ) (func $ib (result i32) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $__growWasmMemory (param $newSize i32) (grow_memory |