diff options
Diffstat (limited to 'test/emcc_O2_hello_world.fromasm.imprecise')
| -rw-r--r-- | test/emcc_O2_hello_world.fromasm.imprecise | 720 |
1 files changed, 332 insertions, 388 deletions
diff --git a/test/emcc_O2_hello_world.fromasm.imprecise b/test/emcc_O2_hello_world.fromasm.imprecise index 50967da70..b00bd61fa 100644 --- a/test/emcc_O2_hello_world.fromasm.imprecise +++ b/test/emcc_O2_hello_world.fromasm.imprecise @@ -6045,9 +6045,7 @@ (call $___errno_location) (i32.const 12) ) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $_free (param $i1 i32) (local $i12 i32) @@ -7935,7 +7933,6 @@ (i32.const 208) (i32.const -1) ) - (return) ) (func $___stdio_write (param $i1 i32) (param $i2 i32) (param $i3 i32) (result i32) (local $i7 i32) @@ -8341,9 +8338,7 @@ (i32.const 8) (get_local $i4) ) - (return - (get_local $i24) - ) + (get_local $i24) ) (func $___fwritex (param $i1 i32) (param $i2 i32) (param $i3 i32) (result i32) (local $i4 i32) @@ -8585,9 +8580,7 @@ ) ) ) - (return - (get_local $i8) - ) + (get_local $i8) ) (func $_fflush (param $i1 i32) (result i32) (local $i3 i32) @@ -8596,146 +8589,144 @@ (local $i6 i32) (local $i8 i32) (local $i7 i32) - (return - (block $do-once$0 - (if - (get_local $i1) - (block - (if - (i32.le_s - (i32.load offset=76 - (get_local $i1) - ) - (i32.const -1) - ) - (br $do-once$0 - (call $___fflush_unlocked - (get_local $i1) - ) + (block $do-once$0 + (if + (get_local $i1) + (block + (if + (i32.le_s + (i32.load offset=76 + (get_local $i1) ) + (i32.const -1) ) - (set_local $i3 - (i32.eq - (call $___lockfile - (get_local $i1) - ) - (i32.const 0) + (br $do-once$0 + (call $___fflush_unlocked + (get_local $i1) ) ) - (set_local $i4 - (call $___fflush_unlocked + ) + (set_local $i3 + (i32.eq + (call $___lockfile (get_local $i1) ) + (i32.const 0) ) - (if - (get_local $i3) - (get_local $i4) - (block - (call $___unlockfile - (get_local $i1) - ) - (get_local $i4) + ) + (set_local $i4 + (call $___fflush_unlocked + (get_local $i1) + ) + ) + (if + (get_local $i3) + (get_local $i4) + (block + (call $___unlockfile + (get_local $i1) ) + (get_local $i4) ) ) - (block - (set_local $i5 - (if + ) + (block + (set_local $i5 + (if + (i32.load + (i32.const 56) + ) + (call $_fflush (i32.load (i32.const 56) ) - (call $_fflush - (i32.load - (i32.const 56) - ) - ) - (i32.const 0) ) + (i32.const 0) ) - (call_import $___lock - (i32.const 36) + ) + (call_import $___lock + (i32.const 36) + ) + (if + (set_local $i4 + (i32.load + (i32.const 32) + ) ) - (if + (block + (set_local $i3 + (get_local $i4) + ) (set_local $i4 - (i32.load - (i32.const 32) - ) + (get_local $i5) ) - (block - (set_local $i3 - (get_local $i4) - ) - (set_local $i4 - (get_local $i5) - ) - (loop $while-out$2 $while-in$3 - (set_local $i7 - (if - (i32.gt_s - (i32.load offset=76 - (get_local $i3) - ) - (i32.const -1) - ) - (call $___lockfile + (loop $while-out$2 $while-in$3 + (set_local $i7 + (if + (i32.gt_s + (i32.load offset=76 (get_local $i3) ) - (i32.const 0) + (i32.const -1) + ) + (call $___lockfile + (get_local $i3) ) + (i32.const 0) ) - (set_local $i8 - (if - (i32.gt_u - (i32.load offset=20 - (get_local $i3) - ) - (i32.load offset=28 - (get_local $i3) - ) + ) + (set_local $i8 + (if + (i32.gt_u + (i32.load offset=20 + (get_local $i3) ) - (i32.or - (call $___fflush_unlocked - (get_local $i3) - ) - (get_local $i4) + (i32.load offset=28 + (get_local $i3) + ) + ) + (i32.or + (call $___fflush_unlocked + (get_local $i3) ) (get_local $i4) ) + (get_local $i4) ) - (if - (get_local $i7) - (call $___unlockfile + ) + (if + (get_local $i7) + (call $___unlockfile + (get_local $i3) + ) + ) + (if + (set_local $i3 + (i32.load offset=56 (get_local $i3) ) ) - (if - (set_local $i3 - (i32.load offset=56 - (get_local $i3) - ) - ) - (set_local $i4 + (set_local $i4 + (get_local $i8) + ) + (block + (set_local $i6 (get_local $i8) ) - (block - (set_local $i6 - (get_local $i8) - ) - (br $while-out$2) - ) + (br $while-out$2) ) - (br $while-in$3) ) - ) - (set_local $i6 - (get_local $i5) + (br $while-in$3) ) ) - (call_import $___unlock - (i32.const 36) + (set_local $i6 + (get_local $i5) ) - (get_local $i6) ) + (call_import $___unlock + (i32.const 36) + ) + (get_local $i6) ) ) ) @@ -8911,11 +8902,9 @@ ) ) ) - (return - (i32.sub - (get_local $i7) - (get_local $i2) - ) + (i32.sub + (get_local $i7) + (get_local $i2) ) ) (func $___overflow (param $i1 i32) (param $i2 i32) (result i32) @@ -9076,9 +9065,7 @@ (i32.const 8) (get_local $i3) ) - (return - (get_local $i10) - ) + (get_local $i10) ) (func $___fflush_unlocked (param $i1 i32) (result i32) (local $i2 i32) @@ -9087,116 +9074,114 @@ (local $i6 i32) (local $i7 i32) (local $i8 i32) - (return + (if (if - (if - (i32.gt_u - (i32.load - (set_local $i2 - (i32.add - (get_local $i1) - (i32.const 20) - ) - ) - ) - (i32.load - (set_local $i3 - (i32.add - (get_local $i1) - (i32.const 28) - ) + (i32.gt_u + (i32.load + (set_local $i2 + (i32.add + (get_local $i1) + (i32.const 20) ) ) ) - (block - (call_indirect $FUNCSIG$iiii + (i32.load + (set_local $i3 (i32.add - (i32.and - (i32.load offset=36 - (get_local $i1) - ) - (i32.const 7) - ) - (i32.const 2) + (get_local $i1) + (i32.const 28) ) - (get_local $i1) - (i32.const 0) - (i32.const 0) - ) - (i32.eq - (i32.load - (get_local $i2) - ) - (i32.const 0) ) ) - (i32.const 0) ) - (i32.const -1) (block - (if - (i32.lt_u - (set_local $i6 - (i32.load - (set_local $i5 - (i32.add - (get_local $i1) - (i32.const 4) - ) - ) + (call_indirect $FUNCSIG$iiii + (i32.add + (i32.and + (i32.load offset=36 + (get_local $i1) ) + (i32.const 7) ) - (set_local $i8 - (i32.load - (set_local $i7 - (i32.add - (get_local $i1) - (i32.const 8) - ) + (i32.const 2) + ) + (get_local $i1) + (i32.const 0) + (i32.const 0) + ) + (i32.eq + (i32.load + (get_local $i2) + ) + (i32.const 0) + ) + ) + (i32.const 0) + ) + (i32.const -1) + (block + (if + (i32.lt_u + (set_local $i6 + (i32.load + (set_local $i5 + (i32.add + (get_local $i1) + (i32.const 4) ) ) ) ) - (call_indirect $FUNCSIG$iiii - (i32.add - (i32.and - (i32.load offset=40 + (set_local $i8 + (i32.load + (set_local $i7 + (i32.add (get_local $i1) + (i32.const 8) ) - (i32.const 7) ) - (i32.const 2) - ) - (get_local $i1) - (i32.sub - (get_local $i6) - (get_local $i8) ) - (i32.const 1) ) ) - (i32.store offset=16 + (call_indirect $FUNCSIG$iiii + (i32.add + (i32.and + (i32.load offset=40 + (get_local $i1) + ) + (i32.const 7) + ) + (i32.const 2) + ) (get_local $i1) - (i32.const 0) - ) - (i32.store - (get_local $i3) - (i32.const 0) - ) - (i32.store - (get_local $i2) - (i32.const 0) - ) - (i32.store - (get_local $i7) - (i32.const 0) - ) - (i32.store - (get_local $i5) - (i32.const 0) + (i32.sub + (get_local $i6) + (get_local $i8) + ) + (i32.const 1) ) + ) + (i32.store offset=16 + (get_local $i1) (i32.const 0) ) + (i32.store + (get_local $i3) + (i32.const 0) + ) + (i32.store + (get_local $i2) + (i32.const 0) + ) + (i32.store + (get_local $i7) + (i32.const 0) + ) + (i32.store + (get_local $i5) + (i32.const 0) + ) + (i32.const 0) ) ) ) @@ -9341,9 +9326,7 @@ ) (br $while-in$5) ) - (return - (get_local $i4) - ) + (get_local $i4) ) (func $runPostSets (nop) @@ -9478,11 +9461,9 @@ ) (br $while-in$5) ) - (return - (i32.sub - (get_local $i1) - (get_local $i3) - ) + (i32.sub + (get_local $i1) + (get_local $i3) ) ) (func $_puts (param $i1 i32) (result i32) @@ -9580,14 +9561,12 @@ (get_local $i2) ) ) - (return - (i32.shr_s - (i32.shl - (get_local $i4) - (i32.const 31) - ) + (i32.shr_s + (i32.shl + (get_local $i4) (i32.const 31) ) + (i32.const 31) ) ) (func $___stdio_seek (param $i1 i32) (param $i2 i32) (param $i3 i32) (result i32) @@ -9665,9 +9644,7 @@ (i32.const 8) (get_local $i4) ) - (return - (get_local $i7) - ) + (get_local $i7) ) (func $___towrite (param $i1 i32) (result i32) (local $i2 i32) @@ -9692,58 +9669,56 @@ (get_local $i3) ) ) - (return - (if - (i32.and - (set_local $i3 - (i32.load - (get_local $i1) - ) - ) - (i32.const 8) - ) - (block - (i32.store + (if + (i32.and + (set_local $i3 + (i32.load (get_local $i1) - (i32.or - (get_local $i3) - (i32.const 32) - ) ) - (i32.const -1) ) - (block - (i32.store offset=8 - (get_local $i1) - (i32.const 0) - ) - (i32.store offset=4 - (get_local $i1) - (i32.const 0) + (i32.const 8) + ) + (block + (i32.store + (get_local $i1) + (i32.or + (get_local $i3) + (i32.const 32) ) - (i32.store offset=28 - (get_local $i1) - (set_local $i2 - (i32.load offset=44 - (get_local $i1) - ) + ) + (i32.const -1) + ) + (block + (i32.store offset=8 + (get_local $i1) + (i32.const 0) + ) + (i32.store offset=4 + (get_local $i1) + (i32.const 0) + ) + (i32.store offset=28 + (get_local $i1) + (set_local $i2 + (i32.load offset=44 + (get_local $i1) ) ) - (i32.store offset=20 - (get_local $i1) + ) + (i32.store offset=20 + (get_local $i1) + (get_local $i2) + ) + (i32.store offset=16 + (get_local $i1) + (i32.add (get_local $i2) - ) - (i32.store offset=16 - (get_local $i1) - (i32.add - (get_local $i2) - (i32.load offset=48 - (get_local $i1) - ) + (i32.load offset=48 + (get_local $i1) ) ) - (i32.const 0) ) + (i32.const 0) ) ) ) @@ -9758,58 +9733,56 @@ (get_local $i2) ) ) - (return - (if - (i32.eq - (set_local $i8 - (if - (i32.gt_s - (i32.load offset=76 - (get_local $i4) - ) - (i32.const -1) + (if + (i32.eq + (set_local $i8 + (if + (i32.gt_s + (i32.load offset=76 + (get_local $i4) ) - (block - (set_local $i6 - (i32.eq - (call $___lockfile - (get_local $i4) - ) - (i32.const 0) + (i32.const -1) + ) + (block + (set_local $i6 + (i32.eq + (call $___lockfile + (get_local $i4) ) + (i32.const 0) ) - (set_local $i7 - (call $___fwritex - (get_local $i1) - (get_local $i5) + ) + (set_local $i7 + (call $___fwritex + (get_local $i1) + (get_local $i5) + (get_local $i4) + ) + ) + (if + (get_local $i6) + (get_local $i7) + (block + (call $___unlockfile (get_local $i4) ) - ) - (if - (get_local $i6) (get_local $i7) - (block - (call $___unlockfile - (get_local $i4) - ) - (get_local $i7) - ) ) ) - (call $___fwritex - (get_local $i1) - (get_local $i5) - (get_local $i4) - ) + ) + (call $___fwritex + (get_local $i1) + (get_local $i5) + (get_local $i4) ) ) - (get_local $i5) - ) - (get_local $i3) - (i32.div_u - (get_local $i8) - (get_local $i2) ) + (get_local $i5) + ) + (get_local $i3) + (i32.div_u + (get_local $i8) + (get_local $i2) ) ) ) @@ -9892,9 +9865,7 @@ (i32.const 8) (get_local $i4) ) - (return - (get_local $i5) - ) + (get_local $i5) ) (func $copyTempDouble (param $i1 i32) (i32.store8 @@ -9999,9 +9970,7 @@ (i32.const 8) (get_local $i2) ) - (return - (get_local $i1) - ) + (get_local $i1) ) (func $copyTempFloat (param $i1 i32) (i32.store8 @@ -10038,40 +10007,36 @@ ) ) (func $___syscall_ret (param $i1 i32) (result i32) - (return - (if - (i32.gt_u - (get_local $i1) - (i32.const -4096) - ) - (block - (i32.store - (call $___errno_location) - (i32.sub - (i32.const 0) - (get_local $i1) - ) + (if + (i32.gt_u + (get_local $i1) + (i32.const -4096) + ) + (block + (i32.store + (call $___errno_location) + (i32.sub + (i32.const 0) + (get_local $i1) ) - (i32.const -1) ) - (get_local $i1) + (i32.const -1) ) + (get_local $i1) ) ) (func $dynCall_iiii (param $i1 i32) (param $i2 i32) (param $i3 i32) (param $i4 i32) (result i32) - (return - (call_indirect $FUNCSIG$iiii - (i32.add - (i32.and - (get_local $i1) - (i32.const 7) - ) - (i32.const 2) + (call_indirect $FUNCSIG$iiii + (i32.add + (i32.and + (get_local $i1) + (i32.const 7) ) - (get_local $i2) - (get_local $i3) - (get_local $i4) + (i32.const 2) ) + (get_local $i2) + (get_local $i3) + (get_local $i4) ) ) (func $stackAlloc (param $i1 i32) (result i32) @@ -10102,21 +10067,17 @@ (i32.const -16) ) ) - (return - (get_local $i2) - ) + (get_local $i2) ) (func $___errno_location (result i32) - (return - (if - (i32.load - (i32.const 8) - ) - (i32.load offset=60 - (call_import $_pthread_self) - ) - (i32.const 60) + (if + (i32.load + (i32.const 8) + ) + (i32.load offset=60 + (call_import $_pthread_self) ) + (i32.const 60) ) ) (func $setThrew (param $i1 i32) (param $i2 i32) @@ -10139,32 +10100,28 @@ ) ) (func $_fputs (param $i1 i32) (param $i2 i32) (result i32) - (return - (i32.add - (call $_fwrite + (i32.add + (call $_fwrite + (get_local $i1) + (call $_strlen (get_local $i1) - (call $_strlen - (get_local $i1) - ) - (i32.const 1) - (get_local $i2) ) - (i32.const -1) + (i32.const 1) + (get_local $i2) ) + (i32.const -1) ) ) (func $dynCall_ii (param $i1 i32) (param $i2 i32) (result i32) - (return - (call_indirect $FUNCSIG$ii - (i32.add - (i32.and - (get_local $i1) - (i32.const 1) - ) - (i32.const 0) + (call_indirect $FUNCSIG$ii + (i32.add + (i32.and + (get_local $i1) + (i32.const 1) ) - (get_local $i2) + (i32.const 0) ) + (get_local $i2) ) ) (func $_cleanup_418 (param $i1 i32) @@ -10178,7 +10135,6 @@ (get_local $i1) ) ) - (return) ) (func $establishStackSpace (param $i1 i32) (param $i2 i32) (i32.store @@ -10206,9 +10162,7 @@ (call_import $abort (i32.const 1) ) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $stackRestore (param $i1 i32) (i32.store @@ -10226,38 +10180,28 @@ (call_import $abort (i32.const 0) ) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $___unlockfile (param $i1 i32) - (return) + (nop) ) (func $___lockfile (param $i1 i32) (result i32) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $getTempRet0 (result i32) - (return - (i32.load - (i32.const 160) - ) + (i32.load + (i32.const 160) ) ) (func $_main (result i32) (call $_puts (i32.const 672) ) - (return - (i32.const 0) - ) + (i32.const 0) ) (func $stackSave (result i32) - (return - (i32.load - (i32.const 8) - ) + (i32.load + (i32.const 8) ) ) (func $b2 (param $i1 i32) |