diff options
Diffstat (limited to 'test/emcc_hello_world.fromasm.imprecise')
| -rw-r--r-- | test/emcc_hello_world.fromasm.imprecise | 1085 |
1 files changed, 531 insertions, 554 deletions
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise index ec57aa743..d8b8ea78b 100644 --- a/test/emcc_hello_world.fromasm.imprecise +++ b/test/emcc_hello_world.fromasm.imprecise @@ -169,22 +169,20 @@ (block $switch-default (if (tee_local $5 - (tee_local $3 + (tee_local $4 (i32.and - (tee_local $3 - (call $_bitshift64Lshr - (tee_local $2 - (i32.load - (get_global $tempDoublePtr) - ) + (call $_bitshift64Lshr + (tee_local $2 + (i32.load + (get_global $tempDoublePtr) ) - (tee_local $4 - (i32.load offset=4 - (get_global $tempDoublePtr) - ) + ) + (tee_local $3 + (i32.load offset=4 + (get_global $tempDoublePtr) ) - (i32.const 52) ) + (i32.const 52) ) (i32.const 2047) ) @@ -201,31 +199,29 @@ ) (i32.store (get_local $1) - (tee_local $2 - (if (result i32) - (f64.ne - (get_local $0) - (f64.const 0) - ) - (block (result i32) - (set_local $0 - (call $_frexp - (f64.mul - (get_local $0) - (f64.const 18446744073709551615) - ) - (get_local $1) + (if (result i32) + (f64.ne + (get_local $0) + (f64.const 0) + ) + (block (result i32) + (set_local $0 + (call $_frexp + (f64.mul + (get_local $0) + (f64.const 18446744073709551615) ) + (get_local $1) ) - (i32.add - (i32.load - (get_local $1) - ) - (i32.const -64) + ) + (i32.add + (i32.load + (get_local $1) ) + (i32.const -64) ) - (i32.const 0) ) + (i32.const 0) ) ) (br $switch) @@ -233,7 +229,7 @@ (i32.store (get_local $1) (i32.add - (get_local $3) + (get_local $4) (i32.const -1022) ) ) @@ -245,7 +241,7 @@ (get_global $tempDoublePtr) (i32.or (i32.and - (get_local $4) + (get_local $3) (i32.const -2146435073) ) (i32.const 1071644672) @@ -543,7 +539,6 @@ ) (func $_fflush (; 32 ;) (; has Stack IR ;) (param $0 i32) (result i32) (local $1 i32) - (local $2 i32) (if (get_local $0) (set_local $0 @@ -1489,58 +1484,56 @@ ) ) ) - (tee_local $0 - (if (result i32) - (i32.and - (tee_local $1 - (i32.load - (get_local $0) - ) - ) - (i32.const 8) - ) - (block (result i32) - (i32.store + (if (result i32) + (i32.and + (tee_local $1 + (i32.load (get_local $0) - (i32.or - (get_local $1) - (i32.const 32) - ) ) - (i32.const -1) ) - (block (result i32) - (i32.store offset=8 - (get_local $0) - (i32.const 0) - ) - (i32.store offset=4 - (get_local $0) - (i32.const 0) + (i32.const 8) + ) + (block (result i32) + (i32.store + (get_local $0) + (i32.or + (get_local $1) + (i32.const 32) ) - (i32.store offset=28 - (get_local $0) - (tee_local $1 - (i32.load offset=44 - (get_local $0) - ) + ) + (i32.const -1) + ) + (block (result i32) + (i32.store offset=8 + (get_local $0) + (i32.const 0) + ) + (i32.store offset=4 + (get_local $0) + (i32.const 0) + ) + (i32.store offset=28 + (get_local $0) + (tee_local $1 + (i32.load offset=44 + (get_local $0) ) ) - (i32.store offset=20 - (get_local $0) + ) + (i32.store offset=20 + (get_local $0) + (get_local $1) + ) + (i32.store offset=16 + (get_local $0) + (i32.add (get_local $1) - ) - (i32.store offset=16 - (get_local $0) - (i32.add - (get_local $1) - (i32.load offset=48 - (get_local $0) - ) + (i32.load offset=48 + (get_local $0) ) ) - (i32.const 0) ) + (i32.const 0) ) ) ) @@ -1946,127 +1939,125 @@ (local $5 i32) (local $6 i32) (local $7 i32) - (tee_local $0 - (block $__rjto$0 (result i32) - (block $__rjti$0 - (br_if $__rjti$0 - (i32.le_u - (i32.load - (tee_local $2 - (i32.add - (get_local $0) - (i32.const 20) - ) + (block $__rjto$0 (result i32) + (block $__rjti$0 + (br_if $__rjti$0 + (i32.le_u + (i32.load + (tee_local $2 + (i32.add + (get_local $0) + (i32.const 20) ) ) - (i32.load - (tee_local $3 - (i32.add - (get_local $0) - (i32.const 28) - ) + ) + (i32.load + (tee_local $3 + (i32.add + (get_local $0) + (i32.const 28) ) ) ) ) - (set_local $1 - (i32.load offset=36 - (get_local $0) - ) + ) + (set_local $1 + (i32.load offset=36 + (get_local $0) ) - (drop - (call_indirect (type $FUNCSIG$iiii) - (get_local $0) - (i32.const 0) - (i32.const 0) - (i32.add - (i32.and - (get_local $1) - (i32.const 7) - ) - (i32.const 2) + ) + (drop + (call_indirect (type $FUNCSIG$iiii) + (get_local $0) + (i32.const 0) + (i32.const 0) + (i32.add + (i32.and + (get_local $1) + (i32.const 7) ) + (i32.const 2) ) ) - (br_if $__rjti$0 - (i32.load - (get_local $2) - ) - ) - (br $__rjto$0 - (i32.const -1) + ) + (br_if $__rjti$0 + (i32.load + (get_local $2) ) ) - (if - (i32.lt_u - (tee_local $4 - (i32.load - (tee_local $1 - (i32.add - (get_local $0) - (i32.const 4) - ) + (br $__rjto$0 + (i32.const -1) + ) + ) + (if + (i32.lt_u + (tee_local $4 + (i32.load + (tee_local $1 + (i32.add + (get_local $0) + (i32.const 4) ) ) ) - (tee_local $6 - (i32.load - (tee_local $5 - (i32.add - (get_local $0) - (i32.const 8) - ) + ) + (tee_local $6 + (i32.load + (tee_local $5 + (i32.add + (get_local $0) + (i32.const 8) ) ) ) ) - (block - (set_local $7 - (i32.load offset=40 - (get_local $0) - ) + ) + (block + (set_local $7 + (i32.load offset=40 + (get_local $0) ) - (drop - (call_indirect (type $FUNCSIG$iiii) - (get_local $0) - (i32.sub - (get_local $4) - (get_local $6) - ) - (i32.const 1) - (i32.add - (i32.and - (get_local $7) - (i32.const 7) - ) - (i32.const 2) + ) + (drop + (call_indirect (type $FUNCSIG$iiii) + (get_local $0) + (i32.sub + (get_local $4) + (get_local $6) + ) + (i32.const 1) + (i32.add + (i32.and + (get_local $7) + (i32.const 7) ) + (i32.const 2) ) ) ) ) - (i32.store offset=16 - (get_local $0) - (i32.const 0) - ) - (i32.store - (get_local $3) - (i32.const 0) - ) - (i32.store - (get_local $2) - (i32.const 0) - ) - (i32.store - (get_local $5) - (i32.const 0) - ) - (i32.store - (get_local $1) - (i32.const 0) - ) + ) + (i32.store offset=16 + (get_local $0) + (i32.const 0) + ) + (i32.store + (get_local $3) + (i32.const 0) + ) + (i32.store + (get_local $2) + (i32.const 0) + ) + (i32.store + (get_local $5) (i32.const 0) ) + (i32.store + (get_local $1) + (i32.const 0) + ) + (i32.const 0) ) ) (func $_cleanup (; 43 ;) (; has Stack IR ;) (param $0 i32) @@ -5850,13 +5841,13 @@ (call $_pad (get_local $0) (i32.const 48) - (block (result i32) - (if + (i32.add + (if (result i32) (i32.gt_s (get_local $5) (i32.const -1) ) - (block + (block (result i32) (set_local $18 (i32.eqz (get_local $21) @@ -6027,15 +6018,11 @@ ) ) ) - (set_local $5 - (get_local $7) - ) + (get_local $7) ) - ) - (i32.add (get_local $5) - (i32.const 18) ) + (i32.const 18) ) (i32.const 18) (i32.const 0) @@ -6127,9 +6114,9 @@ ) ) (if - (block (result i32) - (if - (i32.eqz + (i32.eqz + (i32.and + (if (result i32) (i32.and (tee_local $5 (i32.load @@ -6138,27 +6125,21 @@ ) (i32.const 32) ) - ) - (block - (drop - (call $___fwritex - (get_local $30) - (get_local $9) - (get_local $0) + (get_local $5) + (block (result i32) + (drop + (call $___fwritex + (get_local $30) + (get_local $9) + (get_local $0) + ) ) - ) - (set_local $5 (i32.load (get_local $0) ) ) ) - ) - (i32.eqz - (i32.and - (get_local $5) - (i32.const 32) - ) + (i32.const 32) ) ) (drop @@ -7261,12 +7242,10 @@ ) ) (i32.or - (tee_local $3 - (call $___uremdi3 - (get_local $0) - (get_local $1) - (i32.const 10) - ) + (call $___uremdi3 + (get_local $0) + (get_local $1) + (i32.const 10) ) (i32.const 48) ) @@ -11103,494 +11082,492 @@ (i32.store (tee_local $0 (i32.add - (tee_local $0 - (if (result i32) - (i32.eq - (i32.and - (tee_local $0 - (i32.load offset=4 - (get_local $6) - ) + (if (result i32) + (i32.eq + (i32.and + (tee_local $0 + (i32.load offset=4 + (get_local $6) ) - (i32.const 3) ) - (i32.const 1) + (i32.const 3) ) - (block (result i32) - (set_local $10 - (i32.and - (get_local $0) - (i32.const -8) - ) + (i32.const 1) + ) + (block (result i32) + (set_local $10 + (i32.and + (get_local $0) + (i32.const -8) ) - (set_local $1 - (i32.shr_u + ) + (set_local $1 + (i32.shr_u + (get_local $0) + (i32.const 3) + ) + ) + (block $label$break$L331 + (if + (i32.lt_u (get_local $0) - (i32.const 3) + (i32.const 256) ) - ) - (block $label$break$L331 - (if - (i32.lt_u - (get_local $0) - (i32.const 256) + (block + (set_local $2 + (i32.load offset=12 + (get_local $6) + ) ) - (block - (set_local $2 - (i32.load offset=12 - (get_local $6) + (if + (i32.ne + (tee_local $3 + (i32.load offset=8 + (get_local $6) + ) ) - ) - (if - (i32.ne - (tee_local $3 - (i32.load offset=8 - (get_local $6) + (tee_local $0 + (i32.add + (i32.shl + (get_local $1) + (i32.const 3) ) + (i32.const 216) ) - (tee_local $0 - (i32.add - (i32.shl - (get_local $1) - (i32.const 3) - ) - (i32.const 216) - ) + ) + ) + (block $do-once51 + (if + (i32.lt_u + (get_local $3) + (get_local $4) ) + (call $_abort) ) - (block $do-once51 - (if - (i32.lt_u + (br_if $do-once51 + (i32.eq + (i32.load offset=12 (get_local $3) - (get_local $4) - ) - (call $_abort) - ) - (br_if $do-once51 - (i32.eq - (i32.load offset=12 - (get_local $3) - ) - (get_local $6) ) + (get_local $6) ) - (call $_abort) ) + (call $_abort) ) - (if - (i32.eq - (get_local $2) - (get_local $3) - ) - (block - (i32.store - (i32.const 176) - (i32.and - (i32.load - (i32.const 176) - ) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $1) - ) - (i32.const -1) + ) + (if + (i32.eq + (get_local $2) + (get_local $3) + ) + (block + (i32.store + (i32.const 176) + (i32.and + (i32.load + (i32.const 176) + ) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $1) ) + (i32.const -1) ) ) - (br $label$break$L331) ) + (br $label$break$L331) ) - (if - (i32.eq - (get_local $0) + ) + (if + (i32.eq + (get_local $0) + (get_local $2) + ) + (set_local $15 + (i32.add (get_local $2) + (i32.const 8) ) - (set_local $15 - (i32.add + ) + (block $do-once53 + (if + (i32.lt_u (get_local $2) - (i32.const 8) + (get_local $4) ) + (call $_abort) ) - (block $do-once53 - (if - (i32.lt_u - (get_local $2) - (get_local $4) - ) - (call $_abort) - ) - (if - (i32.eq - (i32.load - (tee_local $0 - (i32.add - (get_local $2) - (i32.const 8) - ) + (if + (i32.eq + (i32.load + (tee_local $0 + (i32.add + (get_local $2) + (i32.const 8) ) ) - (get_local $6) ) - (block - (set_local $15 - (get_local $0) - ) - (br $do-once53) + (get_local $6) + ) + (block + (set_local $15 + (get_local $0) ) + (br $do-once53) ) - (call $_abort) ) - ) - (i32.store offset=12 - (get_local $3) - (get_local $2) - ) - (i32.store - (get_local $15) - (get_local $3) + (call $_abort) ) ) - (block - (set_local $5 - (i32.load offset=24 - (get_local $6) - ) + (i32.store offset=12 + (get_local $3) + (get_local $2) + ) + (i32.store + (get_local $15) + (get_local $3) + ) + ) + (block + (set_local $5 + (i32.load offset=24 + (get_local $6) ) - (if - (i32.eq - (tee_local $0 - (i32.load offset=12 - (get_local $6) - ) + ) + (if + (i32.eq + (tee_local $0 + (i32.load offset=12 + (get_local $6) ) - (get_local $6) ) - (block $do-once55 - (if - (i32.eqz - (tee_local $1 - (i32.load - (tee_local $0 - (i32.add - (tee_local $3 - (i32.add - (get_local $6) - (i32.const 16) - ) + (get_local $6) + ) + (block $do-once55 + (if + (i32.eqz + (tee_local $1 + (i32.load + (tee_local $0 + (i32.add + (tee_local $3 + (i32.add + (get_local $6) + (i32.const 16) ) - (i32.const 4) ) + (i32.const 4) ) ) ) ) - (block - (br_if $do-once55 - (i32.eqz - (tee_local $1 - (i32.load - (get_local $3) - ) - ) - ) - ) - (set_local $0 - (get_local $3) - ) - ) ) - (loop $while-in58 - (if - (tee_local $3 - (i32.load - (tee_local $2 - (i32.add - (get_local $1) - (i32.const 20) - ) - ) - ) - ) - (block - (set_local $1 - (get_local $3) - ) - (set_local $0 - (get_local $2) - ) - (br $while-in58) - ) - ) - (if - (tee_local $3 - (i32.load - (tee_local $2 - (i32.add - (get_local $1) - (i32.const 16) - ) + (block + (br_if $do-once55 + (i32.eqz + (tee_local $1 + (i32.load + (get_local $3) ) ) ) - (block - (set_local $1 - (get_local $3) - ) - (set_local $0 - (get_local $2) - ) - (br $while-in58) - ) ) - ) - (if - (i32.lt_u - (get_local $0) - (get_local $4) - ) - (call $_abort) - (block - (i32.store - (get_local $0) - (i32.const 0) - ) - (set_local $8 - (get_local $1) - ) + (set_local $0 + (get_local $3) ) ) ) - (block + (loop $while-in58 (if - (i32.lt_u - (tee_local $2 - (i32.load offset=8 - (get_local $6) - ) - ) - (get_local $4) - ) - (call $_abort) - ) - (if - (i32.ne - (get_local $6) + (tee_local $3 (i32.load - (tee_local $3 + (tee_local $2 (i32.add - (get_local $2) - (i32.const 12) + (get_local $1) + (i32.const 20) ) ) ) ) - (call $_abort) + (block + (set_local $1 + (get_local $3) + ) + (set_local $0 + (get_local $2) + ) + (br $while-in58) + ) ) (if - (i32.eq + (tee_local $3 (i32.load - (tee_local $1 + (tee_local $2 (i32.add - (get_local $0) - (i32.const 8) + (get_local $1) + (i32.const 16) ) ) ) - (get_local $6) ) (block - (i32.store + (set_local $1 (get_local $3) - (get_local $0) ) - (i32.store - (get_local $1) + (set_local $0 (get_local $2) ) - (set_local $8 - (get_local $0) - ) + (br $while-in58) ) - (call $_abort) ) ) - ) - (br_if $label$break$L331 - (i32.eqz - (get_local $5) + (if + (i32.lt_u + (get_local $0) + (get_local $4) + ) + (call $_abort) + (block + (i32.store + (get_local $0) + (i32.const 0) + ) + (set_local $8 + (get_local $1) + ) + ) ) ) - (if - (i32.eq - (i32.load - (tee_local $0 - (i32.add - (i32.shl - (tee_local $1 - (i32.load offset=28 - (get_local $6) - ) - ) - (i32.const 2) - ) - (i32.const 480) + (block + (if + (i32.lt_u + (tee_local $2 + (i32.load offset=8 + (get_local $6) ) ) + (get_local $4) ) - (get_local $6) + (call $_abort) ) - (block $do-once59 - (i32.store - (get_local $0) - (get_local $8) - ) - (br_if $do-once59 - (get_local $8) - ) - (i32.store - (i32.const 180) - (i32.and - (i32.load - (i32.const 180) - ) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $1) + (if + (i32.ne + (get_local $6) + (i32.load + (tee_local $3 + (i32.add + (get_local $2) + (i32.const 12) ) - (i32.const -1) ) ) ) - (br $label$break$L331) + (call $_abort) ) - (block - (if - (i32.lt_u - (get_local $5) - (i32.load - (i32.const 192) - ) - ) - (call $_abort) - ) - (if - (i32.eq - (i32.load - (tee_local $0 - (i32.add - (get_local $5) - (i32.const 16) - ) + (if + (i32.eq + (i32.load + (tee_local $1 + (i32.add + (get_local $0) + (i32.const 8) ) ) - (get_local $6) ) + (get_local $6) + ) + (block (i32.store + (get_local $3) (get_local $0) - (get_local $8) ) - (i32.store offset=20 - (get_local $5) - (get_local $8) + (i32.store + (get_local $1) + (get_local $2) ) - ) - (br_if $label$break$L331 - (i32.eqz - (get_local $8) + (set_local $8 + (get_local $0) ) ) + (call $_abort) ) ) - (if - (i32.lt_u - (get_local $8) - (tee_local $1 - (i32.load - (i32.const 192) + ) + (br_if $label$break$L331 + (i32.eqz + (get_local $5) + ) + ) + (if + (i32.eq + (i32.load + (tee_local $0 + (i32.add + (i32.shl + (tee_local $1 + (i32.load offset=28 + (get_local $6) + ) + ) + (i32.const 2) + ) + (i32.const 480) ) ) ) - (call $_abort) - ) - (i32.store offset=24 - (get_local $8) - (get_local $5) + (get_local $6) ) - (if - (tee_local $3 - (i32.load - (tee_local $0 - (i32.add - (get_local $6) - (i32.const 16) + (block $do-once59 + (i32.store + (get_local $0) + (get_local $8) + ) + (br_if $do-once59 + (get_local $8) + ) + (i32.store + (i32.const 180) + (i32.and + (i32.load + (i32.const 180) + ) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $1) ) + (i32.const -1) ) ) ) + (br $label$break$L331) + ) + (block (if (i32.lt_u - (get_local $3) - (get_local $1) + (get_local $5) + (i32.load + (i32.const 192) + ) ) (call $_abort) - (block - (i32.store offset=16 - (get_local $8) - (get_local $3) - ) - (i32.store offset=24 - (get_local $3) - (get_local $8) + ) + (if + (i32.eq + (i32.load + (tee_local $0 + (i32.add + (get_local $5) + (i32.const 16) + ) + ) ) + (get_local $6) + ) + (i32.store + (get_local $0) + (get_local $8) + ) + (i32.store offset=20 + (get_local $5) + (get_local $8) + ) + ) + (br_if $label$break$L331 + (i32.eqz + (get_local $8) ) ) ) - (br_if $label$break$L331 - (i32.eqz + ) + (if + (i32.lt_u + (get_local $8) + (tee_local $1 + (i32.load + (i32.const 192) + ) + ) + ) + (call $_abort) + ) + (i32.store offset=24 + (get_local $8) + (get_local $5) + ) + (if + (tee_local $3 + (i32.load (tee_local $0 - (i32.load offset=4 - (get_local $0) + (i32.add + (get_local $6) + (i32.const 16) ) ) ) ) (if (i32.lt_u - (get_local $0) - (i32.load - (i32.const 192) - ) + (get_local $3) + (get_local $1) ) (call $_abort) (block - (i32.store offset=20 + (i32.store offset=16 (get_local $8) - (get_local $0) + (get_local $3) ) (i32.store offset=24 - (get_local $0) + (get_local $3) (get_local $8) ) ) ) ) + (br_if $label$break$L331 + (i32.eqz + (tee_local $0 + (i32.load offset=4 + (get_local $0) + ) + ) + ) + ) + (if + (i32.lt_u + (get_local $0) + (i32.load + (i32.const 192) + ) + ) + (call $_abort) + (block + (i32.store offset=20 + (get_local $8) + (get_local $0) + ) + (i32.store offset=24 + (get_local $0) + (get_local $8) + ) + ) + ) ) ) - (set_local $7 - (i32.add - (get_local $7) - (get_local $10) - ) - ) + ) + (set_local $7 (i32.add - (get_local $6) + (get_local $7) (get_local $10) ) ) - (get_local $6) + (i32.add + (get_local $6) + (get_local $10) + ) ) + (get_local $6) ) (i32.const 4) ) |