diff options
Diffstat (limited to 'test/emcc_hello_world.fromasm.imprecise')
-rw-r--r-- | test/emcc_hello_world.fromasm.imprecise | 1075 |
1 files changed, 533 insertions, 542 deletions
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise index d8b8ea78b..bc92bd892 100644 --- a/test/emcc_hello_world.fromasm.imprecise +++ b/test/emcc_hello_world.fromasm.imprecise @@ -299,14 +299,14 @@ (i32.const 775) ) (loop $while-in1 - (loop $while-in3 - (set_local $2 - (i32.add - (get_local $0) - (i32.const 1) + (set_local $0 + (loop $while-in3 (result i32) + (set_local $2 + (i32.add + (get_local $0) + (i32.const 1) + ) ) - ) - (set_local $0 (if (result i32) (i32.load8_s (get_local $0) @@ -1877,32 +1877,32 @@ ) ) ) - (loop $while-in5 - (br_if $label$break$L8 - (i32.eqz - (i32.load8_u - (get_local $1) + (set_local $0 + (loop $while-in5 (result i32) + (br_if $label$break$L8 + (i32.eqz + (i32.load8_u + (get_local $1) + ) ) ) - ) - (set_local $1 - (i32.add - (get_local $1) - (i32.const 1) - ) - ) - (br_if $while-in5 - (tee_local $0 + (set_local $1 (i32.add - (get_local $0) - (i32.const -1) + (get_local $1) + (i32.const 1) + ) + ) + (br_if $while-in5 + (tee_local $0 + (i32.add + (get_local $0) + (i32.const -1) + ) ) ) + (i32.const 0) ) ) - (set_local $0 - (i32.const 0) - ) ) ) ) @@ -2507,7 +2507,7 @@ (set_local $11 (i32.const 0) ) - (loop $while-in4 + (loop $while-in4 (result i32) (if (i32.eqz (i32.and @@ -2568,11 +2568,11 @@ (i32.const 32) ) ) + (set_local $6 + (get_local $1) + ) + (get_local $11) ) - (set_local $6 - (get_local $1) - ) - (get_local $11) ) (i32.const 0) ) @@ -3049,33 +3049,33 @@ (set_local $9 (i32.const 0) ) - (loop $while-in13 - (if - (i32.gt_u - (tee_local $12 - (i32.add - (i32.load8_s - (get_local $8) + (set_local $19 + (loop $while-in13 (result i32) + (if + (i32.gt_u + (tee_local $12 + (i32.add + (i32.load8_s + (get_local $8) + ) + (i32.const -65) ) - (i32.const -65) ) + (i32.const 57) ) - (i32.const 57) - ) - (block - (set_local $17 - (i32.const -1) + (block + (set_local $17 + (i32.const -1) + ) + (br $label$break$L1) ) - (br $label$break$L1) ) - ) - (set_local $10 - (i32.add - (get_local $8) - (i32.const 1) + (set_local $10 + (i32.add + (get_local $8) + (i32.const 1) + ) ) - ) - (set_local $19 (if (result i32) (i32.lt_u (i32.add @@ -4540,82 +4540,111 @@ (set_local $5 (get_local $7) ) - (loop $while-in70 - (set_local $13 - (select - (i32.const 9) - (tee_local $7 - (i32.sub - (i32.const 0) - (get_local $9) - ) - ) - (i32.gt_s - (get_local $7) + (set_local $5 + (loop $while-in70 (result i32) + (set_local $13 + (select (i32.const 9) - ) - ) - ) - (if - (i32.lt_u - (get_local $6) - (get_local $5) - ) - (block $do-once71 - (set_local $12 - (i32.add - (i32.shl - (i32.const 1) - (get_local $13) + (tee_local $7 + (i32.sub + (i32.const 0) + (get_local $9) ) - (i32.const -1) ) - ) - (set_local $37 - (i32.shr_u - (i32.const 1000000000) - (get_local $13) + (i32.gt_s + (get_local $7) + (i32.const 9) ) ) - (set_local $9 - (i32.const 0) - ) - (set_local $7 + ) + (if + (i32.lt_u (get_local $6) + (get_local $5) ) - (loop $while-in74 - (i32.store - (get_local $7) + (block $do-once71 + (set_local $12 (i32.add - (get_local $9) - (i32.shr_u - (tee_local $9 - (i32.load - (get_local $7) - ) - ) + (i32.shl + (i32.const 1) (get_local $13) ) + (i32.const -1) + ) + ) + (set_local $37 + (i32.shr_u + (i32.const 1000000000) + (get_local $13) ) ) (set_local $9 - (i32.mul - (i32.and + (i32.const 0) + ) + (set_local $7 + (get_local $6) + ) + (loop $while-in74 + (i32.store + (get_local $7) + (i32.add (get_local $9) - (get_local $12) + (i32.shr_u + (tee_local $9 + (i32.load + (get_local $7) + ) + ) + (get_local $13) + ) ) - (get_local $37) ) - ) - (br_if $while-in74 - (i32.lt_u - (tee_local $7 - (i32.add - (get_local $7) - (i32.const 4) + (set_local $9 + (i32.mul + (i32.and + (get_local $9) + (get_local $12) + ) + (get_local $37) + ) + ) + (br_if $while-in74 + (i32.lt_u + (tee_local $7 + (i32.add + (get_local $7) + (i32.const 4) + ) ) + (get_local $5) ) + ) + ) + (set_local $7 + (select + (get_local $6) + (i32.add + (get_local $6) + (i32.const 4) + ) + (i32.load + (get_local $6) + ) + ) + ) + (br_if $do-once71 + (i32.eqz + (get_local $9) + ) + ) + (i32.store + (get_local $5) + (get_local $9) + ) + (set_local $5 + (i32.add (get_local $5) + (i32.const 4) ) ) ) @@ -4631,75 +4660,46 @@ ) ) ) - (br_if $do-once71 - (i32.eqz - (get_local $9) - ) - ) - (i32.store - (get_local $5) - (get_local $9) - ) - (set_local $5 - (i32.add - (get_local $5) - (i32.const 4) - ) - ) ) - (set_local $7 + (set_local $12 (select - (get_local $6) (i32.add - (get_local $6) - (i32.const 4) - ) - (i32.load - (get_local $6) - ) - ) - ) - ) - (set_local $12 - (select - (i32.add - (tee_local $6 - (select - (get_local $8) - (get_local $7) - (get_local $31) + (tee_local $6 + (select + (get_local $8) + (get_local $7) + (get_local $31) + ) + ) + (i32.shl + (get_local $21) + (i32.const 2) ) ) - (i32.shl - (get_local $21) - (i32.const 2) - ) - ) - (get_local $5) - (i32.gt_s - (i32.shr_s - (i32.sub - (get_local $5) - (get_local $6) + (get_local $5) + (i32.gt_s + (i32.shr_s + (i32.sub + (get_local $5) + (get_local $6) + ) + (i32.const 2) ) - (i32.const 2) + (get_local $21) ) - (get_local $21) ) ) - ) - (i32.store - (get_local $20) - (tee_local $9 - (i32.add - (i32.load - (get_local $20) + (i32.store + (get_local $20) + (tee_local $9 + (i32.add + (i32.load + (get_local $20) + ) + (get_local $13) ) - (get_local $13) ) ) - ) - (set_local $5 (if (result i32) (i32.lt_s (get_local $9) @@ -5715,112 +5715,110 @@ ) ) ) - (if - (i32.and - (i32.lt_u - (get_local $7) - (get_local $9) - ) - (i32.gt_s - (get_local $5) - (i32.const 0) - ) - ) - (loop $while-in110 - (if - (i32.gt_u - (tee_local $6 - (call $_fmt_u - (i32.load - (get_local $7) - ) - (i32.const 0) - (get_local $29) - ) + (call $_pad + (get_local $0) + (i32.const 48) + (i32.add + (if (result i32) + (i32.and + (i32.lt_u + (get_local $7) + (get_local $9) ) - (get_local $23) - ) - (loop $while-in112 - (i32.store8 - (tee_local $6 - (i32.add - (get_local $6) - (i32.const -1) - ) - ) - (i32.const 48) + (i32.gt_s + (get_local $5) + (i32.const 0) ) - (br_if $while-in112 + ) + (loop $while-in110 (result i32) + (if (i32.gt_u - (get_local $6) + (tee_local $6 + (call $_fmt_u + (i32.load + (get_local $7) + ) + (i32.const 0) + (get_local $29) + ) + ) (get_local $23) ) - ) - ) - ) - (if - (i32.eqz - (i32.and - (i32.load - (get_local $0) + (loop $while-in112 + (i32.store8 + (tee_local $6 + (i32.add + (get_local $6) + (i32.const -1) + ) + ) + (i32.const 48) + ) + (br_if $while-in112 + (i32.gt_u + (get_local $6) + (get_local $23) + ) + ) ) - (i32.const 32) ) - ) - (drop - (call $___fwritex - (get_local $6) - (select - (i32.const 9) - (get_local $5) - (i32.gt_s - (get_local $5) - (i32.const 9) + (if + (i32.eqz + (i32.and + (i32.load + (get_local $0) + ) + (i32.const 32) ) ) - (get_local $0) - ) - ) - ) - (set_local $6 - (i32.add - (get_local $5) - (i32.const -9) - ) - ) - (set_local $5 - (if (result i32) - (i32.and - (i32.lt_u - (tee_local $7 - (i32.add - (get_local $7) - (i32.const 4) + (drop + (call $___fwritex + (get_local $6) + (select + (i32.const 9) + (get_local $5) + (i32.gt_s + (get_local $5) + (i32.const 9) + ) ) + (get_local $0) ) - (get_local $9) ) - (i32.gt_s + ) + (set_local $6 + (i32.add (get_local $5) - (i32.const 9) + (i32.const -9) ) ) - (block - (set_local $5 - (get_local $6) + (if (result i32) + (i32.and + (i32.lt_u + (tee_local $7 + (i32.add + (get_local $7) + (i32.const 4) + ) + ) + (get_local $9) + ) + (i32.gt_s + (get_local $5) + (i32.const 9) + ) ) - (br $while-in110) + (block + (set_local $5 + (get_local $6) + ) + (br $while-in110) + ) + (get_local $6) ) - (get_local $6) ) + (get_local $5) ) - ) - ) - (call $_pad - (get_local $0) - (i32.const 48) - (i32.add - (get_local $5) (i32.const 9) ) (i32.const 9) @@ -5859,7 +5857,7 @@ (set_local $7 (get_local $5) ) - (loop $while-in114 + (loop $while-in114 (result i32) (if (i32.eq (tee_local $5 @@ -6017,8 +6015,8 @@ ) ) ) + (get_local $7) ) - (get_local $7) ) (get_local $5) ) @@ -6215,45 +6213,45 @@ (set_local $8 (get_local $25) ) - (loop $while-in123 - (i32.store8 - (tee_local $8 - (i32.add - (get_local $8) - (i32.const -1) - ) - ) - (i32.or - (get_local $9) - (i32.load8_u + (set_local $7 + (loop $while-in123 (result i32) + (i32.store8 + (tee_local $8 (i32.add - (i32.and - (get_local $7) - (i32.const 15) + (get_local $8) + (i32.const -1) + ) + ) + (i32.or + (get_local $9) + (i32.load8_u + (i32.add + (i32.and + (get_local $7) + (i32.const 15) + ) + (i32.const 4075) ) - (i32.const 4075) ) ) ) - ) - (br_if $while-in123 - (i32.or - (tee_local $7 - (call $_bitshift64Lshr - (get_local $7) - (get_local $11) - (i32.const 4) + (br_if $while-in123 + (i32.or + (tee_local $7 + (call $_bitshift64Lshr + (get_local $7) + (get_local $11) + (i32.const 4) + ) + ) + (tee_local $11 + (get_global $tempRet0) ) - ) - (tee_local $11 - (get_global $tempRet0) ) ) + (get_local $8) ) ) - (set_local $7 - (get_local $8) - ) (set_local $8 (if (result i32) (i32.or @@ -6454,7 +6452,7 @@ (get_local $14) ) ) - (loop $while-in127 + (loop $while-in127 (result i32) (drop (br_if $__rjti$7 (get_local $5) @@ -6515,8 +6513,8 @@ (get_local $5) ) ) + (get_local $5) ) - (get_local $5) ) (i32.const 0) ) @@ -6713,99 +6711,95 @@ (i32.eqz (get_local $0) ) - (if - (get_local $1) - (block - (set_local $0 - (i32.const 1) - ) - (loop $while-in130 - (if - (tee_local $1 - (i32.load - (i32.add - (i32.shl - (get_local $0) - (i32.const 2) + (set_local $17 + (if (result i32) + (get_local $1) + (block (result i32) + (set_local $0 + (i32.const 1) + ) + (loop $while-in130 + (if + (tee_local $1 + (i32.load + (i32.add + (i32.shl + (get_local $0) + (i32.const 2) + ) + (get_local $4) ) - (get_local $4) ) ) - ) - (block - (call $_pop_arg_336 - (i32.add - (i32.shl - (get_local $0) - (i32.const 3) - ) - (get_local $3) - ) - (get_local $1) - (get_local $2) - ) - (br_if $while-in130 - (i32.lt_s - (tee_local $0 - (i32.add + (block + (call $_pop_arg_336 + (i32.add + (i32.shl (get_local $0) - (i32.const 1) + (i32.const 3) ) + (get_local $3) ) - (i32.const 10) + (get_local $1) + (get_local $2) ) - ) - (set_local $17 - (i32.const 1) - ) - (br $label$break$L343) - ) - ) - ) - (if - (i32.lt_s - (get_local $0) - (i32.const 10) - ) - (loop $while-in132 - (if - (i32.load - (i32.add - (i32.shl - (get_local $0) - (i32.const 2) + (br_if $while-in130 + (i32.lt_s + (tee_local $0 + (i32.add + (get_local $0) + (i32.const 1) + ) + ) + (i32.const 10) ) - (get_local $4) ) - ) - (block (set_local $17 - (i32.const -1) + (i32.const 1) ) (br $label$break$L343) ) ) - (br_if $while-in132 - (i32.lt_s - (tee_local $0 + ) + (if (result i32) + (i32.lt_s + (get_local $0) + (i32.const 10) + ) + (loop $while-in132 (result i32) + (if + (i32.load (i32.add - (get_local $0) - (i32.const 1) + (i32.shl + (get_local $0) + (i32.const 2) + ) + (get_local $4) ) ) - (i32.const 10) + (block + (set_local $17 + (i32.const -1) + ) + (br $label$break$L343) + ) + ) + (br_if $while-in132 + (i32.lt_s + (tee_local $0 + (i32.add + (get_local $0) + (i32.const 1) + ) + ) + (i32.const 10) + ) ) - ) - (set_local $17 (i32.const 1) ) - ) - (set_local $17 (i32.const 1) ) ) - ) - (set_local $17 (i32.const 0) ) ) @@ -7233,34 +7227,34 @@ (i32.const 0) ) ) - (loop $while-in - (i32.store8 - (tee_local $2 - (i32.add - (get_local $2) - (i32.const -1) + (set_local $0 + (loop $while-in (result i32) + (i32.store8 + (tee_local $2 + (i32.add + (get_local $2) + (i32.const -1) + ) + ) + (i32.or + (call $___uremdi3 + (get_local $0) + (get_local $1) + (i32.const 10) + ) + (i32.const 48) ) ) - (i32.or - (call $___uremdi3 + (set_local $3 + (call $___udivdi3 (get_local $0) (get_local $1) (i32.const 10) ) - (i32.const 48) ) - ) - (set_local $3 - (call $___udivdi3 - (get_local $0) - (get_local $1) - (i32.const 10) + (set_local $4 + (get_global $tempRet0) ) - ) - (set_local $4 - (get_global $tempRet0) - ) - (set_local $0 (if (result i32) (i32.or (i32.and @@ -8859,107 +8853,109 @@ ) (block $__rjto$3 (block $__rjti$3 - (if - (tee_local $0 - (i32.load offset=480 - (i32.shl - (get_local $14) - (i32.const 2) + (set_local $0 + (if (result i32) + (tee_local $0 + (i32.load offset=480 + (i32.shl + (get_local $14) + (i32.const 2) + ) ) ) - ) - (block - (set_local $9 - (i32.shl - (get_local $2) - (select - (i32.const 0) - (i32.sub - (i32.const 25) - (i32.shr_u + (block (result i32) + (set_local $9 + (i32.shl + (get_local $2) + (select + (i32.const 0) + (i32.sub + (i32.const 25) + (i32.shr_u + (get_local $14) + (i32.const 1) + ) + ) + (i32.eq (get_local $14) - (i32.const 1) + (i32.const 31) ) ) - (i32.eq - (get_local $14) - (i32.const 31) - ) ) ) - ) - (set_local $1 - (i32.const 0) - ) - (loop $while-in14 - (if - (i32.lt_u - (tee_local $4 - (i32.sub - (tee_local $12 - (i32.and - (i32.load offset=4 - (get_local $0) + (set_local $1 + (i32.const 0) + ) + (loop $while-in14 (result i32) + (if + (i32.lt_u + (tee_local $4 + (i32.sub + (tee_local $12 + (i32.and + (i32.load offset=4 + (get_local $0) + ) + (i32.const -8) ) - (i32.const -8) ) + (get_local $2) ) - (get_local $2) ) + (get_local $3) ) - (get_local $3) - ) - (set_local $1 - (if (result i32) - (i32.eq - (get_local $2) - (get_local $12) - ) - (block - (set_local $1 - (get_local $4) + (set_local $1 + (if (result i32) + (i32.eq + (get_local $2) + (get_local $12) ) - (set_local $3 - (get_local $0) + (block + (set_local $1 + (get_local $4) + ) + (set_local $3 + (get_local $0) + ) + (br $__rjti$3) ) - (br $__rjti$3) - ) - (block (result i32) - (set_local $3 - (get_local $4) + (block (result i32) + (set_local $3 + (get_local $4) + ) + (get_local $0) ) - (get_local $0) ) ) ) - ) - (set_local $0 - (select - (get_local $5) - (tee_local $4 - (i32.load offset=20 - (get_local $0) - ) - ) - (i32.or - (i32.eqz - (get_local $4) + (set_local $0 + (select + (get_local $5) + (tee_local $4 + (i32.load offset=20 + (get_local $0) + ) ) - (i32.eq - (get_local $4) - (tee_local $12 - (i32.load - (i32.add + (i32.or + (i32.eqz + (get_local $4) + ) + (i32.eq + (get_local $4) + (tee_local $12 + (i32.load (i32.add - (get_local $0) - (i32.const 16) - ) - (i32.shl - (i32.shr_u - (get_local $9) - (i32.const 31) + (i32.add + (get_local $0) + (i32.const 16) + ) + (i32.shl + (i32.shr_u + (get_local $9) + (i32.const 31) + ) + (i32.const 2) ) - (i32.const 2) ) ) ) @@ -8967,21 +8963,19 @@ ) ) ) - ) - (set_local $4 - (i32.shl - (get_local $9) - (i32.xor - (tee_local $5 - (i32.eqz - (get_local $12) + (set_local $4 + (i32.shl + (get_local $9) + (i32.xor + (tee_local $5 + (i32.eqz + (get_local $12) + ) ) + (i32.const 1) ) - (i32.const 1) ) ) - ) - (set_local $0 (if (result i32) (get_local $5) (block (result i32) @@ -9005,12 +8999,10 @@ ) ) ) - ) - (block - (set_local $4 - (i32.const 0) - ) - (set_local $0 + (block (result i32) + (set_local $4 + (i32.const 0) + ) (i32.const 0) ) ) @@ -9163,64 +9155,64 @@ ) (br $__rjto$3) ) - (loop $while-in16 - (set_local $12 - (i32.lt_u - (tee_local $4 - (i32.sub - (i32.and - (i32.load offset=4 - (get_local $3) + (set_local $3 + (loop $while-in16 (result i32) + (set_local $12 + (i32.lt_u + (tee_local $4 + (i32.sub + (i32.and + (i32.load offset=4 + (get_local $3) + ) + (i32.const -8) ) - (i32.const -8) + (get_local $2) ) - (get_local $2) ) + (get_local $1) ) - (get_local $1) ) - ) - (set_local $1 - (select - (get_local $4) - (get_local $1) - (get_local $12) - ) - ) - (set_local $0 - (select - (get_local $3) - (get_local $0) - (get_local $12) + (set_local $1 + (select + (get_local $4) + (get_local $1) + (get_local $12) + ) ) - ) - (if - (tee_local $4 - (i32.load offset=16 + (set_local $0 + (select (get_local $3) + (get_local $0) + (get_local $12) ) ) - (block - (set_local $3 - (get_local $4) + (if + (tee_local $4 + (i32.load offset=16 + (get_local $3) + ) + ) + (block + (set_local $3 + (get_local $4) + ) + (br $while-in16) ) - (br $while-in16) ) - ) - (br_if $while-in16 - (tee_local $3 - (i32.load offset=20 - (get_local $3) + (br_if $while-in16 + (tee_local $3 + (i32.load offset=20 + (get_local $3) + ) ) ) + (set_local $4 + (get_local $0) + ) + (get_local $1) ) ) - (set_local $4 - (get_local $0) - ) - (set_local $3 - (get_local $1) - ) ) (if (result i32) (get_local $4) @@ -10883,37 +10875,36 @@ (set_local $2 (i32.const 624) ) - (block $__rjto$11 - (block $__rjti$11 - (loop $while-in47 - (if - (i32.eq - (i32.load - (get_local $2) - ) - (get_local $10) - ) - (block - (set_local $6 - (get_local $2) + (set_local $4 + (block $__rjto$11 (result i32) + (block $__rjti$11 + (br $__rjto$11 + (loop $while-in47 (result i32) + (if + (i32.eq + (i32.load + (get_local $2) + ) + (get_local $10) + ) + (block + (set_local $6 + (get_local $2) + ) + (br $__rjti$11) + ) ) - (br $__rjti$11) - ) - ) - (br_if $while-in47 - (tee_local $2 - (i32.load offset=8 - (get_local $2) + (br_if $while-in47 + (tee_local $2 + (i32.load offset=8 + (get_local $2) + ) + ) ) + (i32.const 624) ) ) ) - (set_local $4 - (i32.const 624) - ) - (br $__rjto$11) - ) - (set_local $4 (if (result i32) (i32.and (i32.load offset=12 |