diff options
Diffstat (limited to 'test/memorygrowth.fromasm.imprecise')
| -rw-r--r-- | test/memorygrowth.fromasm.imprecise | 305 |
1 files changed, 129 insertions, 176 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise index 97c650686..9c4cbdfdd 100644 --- a/test/memorygrowth.fromasm.imprecise +++ b/test/memorygrowth.fromasm.imprecise @@ -8471,121 +8471,101 @@ (func $_a (; 18 ;) (param $0 i32) (result i32) (local $1 i32) (local $2 i32) - (block $do-once - (if - (get_local $0) - (block - (if - (i32.le_s - (i32.load offset=76 - (get_local $0) + (tee_local $1 + (block $do-once (result i32) + (if (result i32) + (get_local $0) + (block (result i32) + (if + (i32.le_s + (i32.load offset=76 + (get_local $0) + ) + (i32.const -1) ) - (i32.const -1) - ) - (block - (set_local $1 + (br $do-once (call $$a (get_local $0) ) ) - (br $do-once) ) - ) - (set_local $1 (call $$a (get_local $0) ) ) - (set_local $2 - (i32.eqz - (i32.const 0) - ) - ) - ) - (block - (set_local $0 - (if (result i32) - (i32.load - (i32.const 1140) - ) - (call $_a + (block (result i32) + (set_local $0 + (if (result i32) (i32.load (i32.const 1140) ) + (call $_a + (i32.load + (i32.const 1140) + ) + ) + (i32.const 0) ) - (i32.const 0) ) - ) - (call $pa - (i32.const 1188) - ) - (if - (tee_local $2 - (i32.load - (i32.const 1184) - ) + (call $pa + (i32.const 1188) ) - (block - (set_local $1 - (get_local $2) - ) - (set_local $2 - (get_local $0) + (if + (tee_local $2 + (i32.load + (i32.const 1184) + ) ) - (loop $while-in - (set_local $0 - (select - (i32.const 0) + (block + (set_local $1 + (get_local $2) + ) + (set_local $2 + (get_local $0) + ) + (loop $while-in + (set_local $0 (i32.const 0) - (i32.gt_s - (i32.load offset=76 + ) + (if + (i32.gt_u + (i32.load offset=20 + (get_local $1) + ) + (i32.load offset=28 (get_local $1) ) - (i32.const -1) - ) - ) - ) - (if - (i32.gt_u - (i32.load offset=20 - (get_local $1) ) - (i32.load offset=28 - (get_local $1) + (set_local $2 + (i32.or + (call $$a + (get_local $1) + ) + (get_local $2) + ) ) ) - (set_local $2 - (i32.or - (call $$a + (br_if $while-in + (tee_local $1 + (i32.load offset=56 (get_local $1) ) - (get_local $2) - ) - ) - ) - (br_if $while-in - (tee_local $1 - (i32.load offset=56 - (get_local $1) ) ) ) ) + (set_local $2 + (get_local $0) + ) ) - (set_local $2 - (get_local $0) + (call $xa + (i32.const 1188) ) - ) - (call $xa - (i32.const 1188) - ) - (set_local $1 (get_local $2) ) ) ) ) - (get_local $1) ) (func $ab (; 19 ;) (param $0 i32) (param $1 i32) (result i32) (local $2 i32) @@ -9162,99 +9142,88 @@ (func $db (; 24 ;) (param $0 i32) (result i32) (local $1 i32) (local $2 i32) - (local $3 i32) - (set_local $3 - (if (result i32) - (i32.gt_s - (i32.load offset=76 - (tee_local $1 - (i32.load - (i32.const 1024) - ) - ) + (drop + (i32.load offset=76 + (tee_local $1 + (i32.load + (i32.const 1024) ) - (i32.const -1) ) - (i32.const 0) - (i32.const 0) ) ) - (set_local $0 - (block $do-once (result i32) - (if (result i32) - (i32.lt_s - (i32.add - (call $bb - (get_local $0) - (call $Za - (get_local $0) - ) - (i32.const 1) - (tee_local $2 - (get_local $1) - ) - ) - (i32.const -1) - ) - (i32.const 0) - ) - (i32.const 1) - (block (result i32) - (if - (i32.ne - (i32.load8_s offset=75 - (get_local $1) + (i32.shr_s + (i32.shl + (tee_local $0 + (block $do-once (result i32) + (if (result i32) + (i32.lt_s + (i32.add + (call $bb + (get_local $0) + (call $Za + (get_local $0) + ) + (i32.const 1) + (get_local $1) + ) + (i32.const -1) ) - (i32.const 10) + (i32.const 0) ) - (if - (i32.lt_u - (tee_local $0 - (i32.load - (tee_local $2 + (i32.const 1) + (block (result i32) + (if + (i32.ne + (i32.load8_s offset=75 + (get_local $1) + ) + (i32.const 10) + ) + (if + (i32.lt_u + (tee_local $0 + (i32.load + (tee_local $2 + (i32.add + (get_local $1) + (i32.const 20) + ) + ) + ) + ) + (i32.load offset=16 + (get_local $1) + ) + ) + (block + (i32.store + (get_local $2) (i32.add - (get_local $1) - (i32.const 20) + (get_local $0) + (i32.const 1) ) ) + (i32.store8 + (get_local $0) + (i32.const 10) + ) + (br $do-once + (i32.const 0) + ) ) ) - (i32.load offset=16 - (get_local $1) - ) ) - (block - (i32.store - (get_local $2) - (i32.add - (get_local $0) - (i32.const 1) - ) - ) - (i32.store8 - (get_local $0) + (i32.lt_s + (call $ab + (get_local $1) (i32.const 10) ) - (br $do-once - (i32.const 0) - ) + (i32.const 0) ) ) ) - (i32.lt_s - (call $ab - (get_local $1) - (i32.const 10) - ) - (i32.const 0) - ) ) ) - ) - ) - (i32.shr_s - (i32.shl - (get_local $0) (i32.const 31) ) (i32.const 31) @@ -9347,30 +9316,14 @@ ) ) (if - (i32.gt_s - (i32.load offset=76 - (get_local $3) - ) - (i32.const -1) - ) - (set_local $0 - (call $Wa - (get_local $0) - (get_local $4) - (get_local $3) - ) - ) - (set_local $0 - (call $Wa - (get_local $0) - (get_local $4) - (get_local $3) - ) - ) - ) - (if (i32.ne - (get_local $0) + (tee_local $0 + (call $Wa + (get_local $0) + (get_local $4) + (get_local $3) + ) + ) (get_local $4) ) (set_local $2 |