keep coercions on heap accesses and function calls, but fully optimize them otherwise

1 files changed, 356 insertions, 1 deletions

diff --git a/tools/test-js-optimizer-asm-pre.js b/tools/test-js-optimizer-asm-pre.js
index 38487d2f..aac70b60 100644
--- a/tools/test-js-optimizer-asm-pre.js
+++ b/tools/test-js-optimizer-asm-pre.js
@@ -9,6 +9,13 @@ function a() {
   whee(12, 13) | 0;
   +whee(12, 13);
   f((g = t(), (g+g)|0)|0);
+  // always coerce function calls in asm
+  f() | 0;
+  f((h() | 0) + 5 | 0);
+  f(((x + y) | 0) + z | 0);
+  +f();
+  f(+(+h() + 5));
+  $140 = $p_3_i + (-$mantSize_0_i | 0) | 0;
 }
 function b($this, $__n) {
   $this = $this | 0;
@@ -165,4 +172,352 @@ function boxx($this, $aabb, $xf, $childIndex) {
   HEAP32[$51 + 4 >> 2] = $_sroa_0_0_insert_insert$1;
   return;
 }
-// EMSCRIPTEN_GENERATED_FUNCTIONS: ["a", "b", "rett", "ret2t", "retf", "i32_8", "tempDoublePtr", "boxx"]
+function _main($argc, $argv) {
+  $argc = $argc | 0;
+  $argv = $argv | 0;
+  var $def_i21 = 0, $def_i = 0, $world = 0, $bd = 0, $shape = 0, $shape1 = 0, $bd2 = 0, $result = 0, $6 = 0, $WARMUP_0 = 0, $14 = 0, $15 = 0, $17 = 0, $i_09_i_i = 0, $j_08_i_i = 0, $34 = 0, $j_1_i_i = 0, $38 = 0, $46 = 0, $48 = 0, $50 = 0, $54 = 0, $i_05_i_i_i = 0, $56 = 0, $62 = 0, $_lcssa_i_i_i = 0, $87 = 0, $96 = 0, $97 = 0, $98 = 0, $112 = 0, $115 = 0, $116 = 0, $118 = 0, $121 = 0, $126 = 0, $135 = 0, $137 = 0, $174 = 0, $176 = 0, $177 = 0, $178 = 0, $179 = 0, $180 = 0, $181 = 0, $182 = 0, $183 = 0, $185 = 0, $186 = 0, $188 = 0, $189 = 0, $190 = 0, $191 = 0, $192 = 0, $193 = 0, $194 = 0, $195 = 0, $196 = 0, $i_057 = 0, $x_sroa_0_0_load303656 = +0, $x_sroa_1_4_load313755 = +0, $j_052 = 0, $y_sroa_0_0_load283451 = +0, $y_sroa_1_4_load293550 = +0, $y_sroa_0_0_insert_insert$1 = 0, $205 = 0, $208 = 0, $209 = 0, $213 = 0, $223 = 0, $236 = 0, $i3_042 = 0, $241 = 0, $242 = 0, $243 = 0, $i4_038 = 0, $245 = 0, $260 = +0, $_0 = 0, label = 0, __stackBase__ = 0;
+  __stackBase__ = STACKTOP;
+  STACKTOP = STACKTOP + 103416 | 0;
+  $def_i21 = __stackBase__ | 0;
+  $def_i = __stackBase__ + 32 | 0;
+  $world = __stackBase__ + 64 | 0;
+  $bd = __stackBase__ + 103096 | 0;
+  $shape = __stackBase__ + 103152 | 0;
+  $shape1 = __stackBase__ + 103200 | 0;
+  $bd2 = __stackBase__ + 103352 | 0;
+  $result = __stackBase__ + 103408 | 0;
+  do {
+    if (($argc | 0) > 1) {
+      $6 = (HEAP8[HEAP32[($argv + 4 | 0) >> 2] | 0] | 0) << 24 >> 24;
+      if (($6 | 0 | 0) == (49 | 0)) {
+        HEAP32[9656 >> 2] = 35;
+        $WARMUP_0 = 5;
+        break;
+      } else if (($6 | 0 | 0) == (50 | 0)) {
+        HEAP32[9656 >> 2] = 161;
+        $WARMUP_0 = 32;
+        break;
+      } else if (($6 | 0 | 0) == (51 | 0)) {
+        label = 43;
+        break;
+      } else if (($6 | 0 | 0) == (52 | 0)) {
+        HEAP32[9656 >> 2] = 2331;
+        $WARMUP_0 = 320;
+        break;
+      } else if (($6 | 0 | 0) == (53 | 0)) {
+        HEAP32[9656 >> 2] = 5661;
+        $WARMUP_0 = 640;
+        break;
+      } else if (($6 | 0 | 0) == (48 | 0)) {
+        $_0 = 0;
+        STACKTOP = __stackBase__;
+        return $_0 | 0;
+      } else {
+        _printf(3512 | 0 | 0, (tempInt = STACKTOP, STACKTOP = STACKTOP + 8 | 0, HEAP32[tempInt >> 2] = $6 - 48 | 0, tempInt) | 0) | 0;
+        $_0 = -1;
+        STACKTOP = __stackBase__;
+        return $_0 | 0;
+      }
+    } else {
+      label = 43;
+    }
+  } while (0);
+  if ((label | 0) == 43) {
+    HEAP32[9656 >> 2] = 333;
+    $WARMUP_0 = 64;
+  }
+  $14 = $world | 0;
+  $15 = $world + 8 | 0;
+  HEAP32[$15 >> 2] = 128;
+  HEAP32[($world + 4 | 0) >> 2] = 0;
+  $17 = _malloc(1024) | 0;
+  HEAP32[($world | 0) >> 2] = $17;
+  _memset($17 | 0 | 0, 0 | 0 | 0, (HEAP32[$15 >> 2] | 0) << 3 | 0 | 0);
+  _memset($world + 12 | 0 | 0 | 0, 0 | 0 | 0, 56 | 0 | 0);
+  $j_08_i_i = 0;
+  $i_09_i_i = 1;
+  while (1) {
+    if (!(($j_08_i_i | 0) < 14)) {
+      label = 49;
+      break;
+    }
+    if (($i_09_i_i | 0) > (HEAP32[(9600 + ($j_08_i_i << 2) | 0) >> 2] | 0 | 0)) {
+      $34 = $j_08_i_i + 1 | 0;
+      HEAP8[$i_09_i_i + 8952 | 0] = $34 & 255;
+      $j_1_i_i = $34;
+    } else {
+      HEAP8[$i_09_i_i + 8952 | 0] = $j_08_i_i & 255;
+      $j_1_i_i = $j_08_i_i;
+    }
+    $38 = $i_09_i_i + 1 | 0;
+    if (($38 | 0) < 641) {
+      $j_08_i_i = $j_1_i_i;
+      $i_09_i_i = $38;
+    } else {
+      break;
+    }
+  }
+  if ((label | 0) == 49) {
+    ___assert_func(3248 | 0 | 0, 73 | 0, 6448 | 0 | 0, 3360 | 0 | 0);
+    return 0 | 0;
+  }
+  HEAP32[($world + 102468 | 0) >> 2] = 0;
+  HEAP32[($world + 102472 | 0) >> 2] = 0;
+  HEAP32[($world + 102476 | 0) >> 2] = 0;
+  HEAP32[($world + 102864 | 0) >> 2] = 0;
+  HEAP32[($world + 102872 | 0) >> 2] = -1;
+  $46 = $world + 102884 | 0;
+  HEAP32[$46 >> 2] = 16;
+  HEAP32[($world + 102880 | 0) >> 2] = 0;
+  $48 = _malloc(576) | 0;
+  $50 = $world + 102876 | 0;
+  HEAP32[$50 >> 2] = $48;
+  _memset($48 | 0 | 0, 0 | 0 | 0, (HEAP32[$46 >> 2] | 0) * 36 & -1 | 0 | 0);
+  $54 = (HEAP32[$46 >> 2] | 0) - 1 | 0;
+  if (($54 | 0) > 0) {
+    $i_05_i_i_i = 0;
+    while (1) {
+      $56 = $i_05_i_i_i + 1 | 0;
+      HEAP32[((HEAP32[$50 >> 2] | 0) + ($i_05_i_i_i * 36 & -1) + 20 | 0) >> 2] = $56;
+      HEAP32[((HEAP32[$50 >> 2] | 0) + ($i_05_i_i_i * 36 & -1) + 32 | 0) >> 2] = -1;
+      $62 = (HEAP32[$46 >> 2] | 0) - 1 | 0;
+      if (($56 | 0) < ($62 | 0)) {
+        $i_05_i_i_i = $56;
+      } else {
+        $_lcssa_i_i_i = $62;
+        break;
+      }
+    }
+  } else {
+    $_lcssa_i_i_i = $54;
+  }
+  HEAP32[((HEAP32[$50 >> 2] | 0) + ($_lcssa_i_i_i * 36 & -1) + 20 | 0) >> 2] = -1;
+  HEAP32[((HEAP32[$50 >> 2] | 0) + (((HEAP32[$46 >> 2] | 0) - 1 | 0) * 36 & -1) + 32 | 0) >> 2] = -1;
+  _memset($world + 102888 | 0 | 0 | 0, 0 | 0 | 0, 16 | 0 | 0);
+  HEAP32[($world + 102920 | 0) >> 2] = 16;
+  HEAP32[($world + 102924 | 0) >> 2] = 0;
+  HEAP32[($world + 102916 | 0) >> 2] = _malloc(192) | 0;
+  HEAP32[($world + 102908 | 0) >> 2] = 16;
+  HEAP32[($world + 102912 | 0) >> 2] = 0;
+  HEAP32[($world + 102904 | 0) >> 2] = _malloc(64) | 0;
+  HEAP32[($world + 102932 | 0) >> 2] = 0;
+  HEAP32[($world + 102936 | 0) >> 2] = 0;
+  HEAP32[($world + 102940 | 0) >> 2] = 104;
+  HEAP32[($world + 102944 | 0) >> 2] = 96;
+  $87 = $world + 102948 | 0;
+  HEAP32[($world + 102980 | 0) >> 2] = 0;
+  HEAP32[($world + 102984 | 0) >> 2] = 0;
+  _memset($87 | 0 | 0, 0 | 0 | 0, 20 | 0 | 0);
+  HEAP8[$world + 102992 | 0] = 1;
+  HEAP8[$world + 102993 | 0] = 1;
+  HEAP8[$world + 102994 | 0] = 0;
+  HEAP8[$world + 102995 | 0] = 1;
+  $96 = $world + 102976 | 0;
+  HEAP8[$96] = 1;
+  $97 = $world + 102968 | 0;
+  HEAP32[($97 | 0) >> 2] = 0;
+  HEAP32[($97 + 4 | 0) >> 2] = -1054867456;
+  $98 = $world + 102868 | 0;
+  HEAP32[$98 >> 2] = 4;
+  HEAPF32[($world + 102988 | 0) >> 2] = +0;
+  HEAP32[$87 >> 2] = $14;
+  _memset($world + 102996 | 0 | 0 | 0, 0 | 0 | 0, 32 | 0 | 0);
+  HEAP8[$96] = 0;
+  HEAP32[($bd + 44 | 0) >> 2] = 0;
+  _memset($bd + 4 | 0 | 0 | 0, 0 | 0 | 0, 32 | 0 | 0);
+  HEAP8[$bd + 36 | 0] = 1;
+  HEAP8[$bd + 37 | 0] = 1;
+  HEAP8[$bd + 38 | 0] = 0;
+  HEAP8[$bd + 39 | 0] = 0;
+  HEAP32[($bd | 0) >> 2] = 0;
+  HEAP8[$bd + 40 | 0] = 1;
+  HEAPF32[($bd + 48 | 0) >> 2] = +1;
+  $112 = __ZN16b2BlockAllocator8AllocateEi($14, 152) | 0;
+  if (($112 | 0) == 0) {
+    $116 = 0;
+  } else {
+    $115 = $112;
+    __ZN6b2BodyC2EPK9b2BodyDefP7b2World($115, $bd, $world);
+    $116 = $115;
+  }
+  HEAP32[($116 + 92 | 0) >> 2] = 0;
+  $118 = $world + 102952 | 0;
+  HEAP32[($116 + 96 | 0) >> 2] = HEAP32[$118 >> 2] | 0;
+  $121 = HEAP32[$118 >> 2] | 0;
+  if (!(($121 | 0) == 0)) {
+    HEAP32[($121 + 92 | 0) >> 2] = $116;
+  }
+  HEAP32[$118 >> 2] = $116;
+  $126 = $world + 102960 | 0;
+  HEAP32[$126 >> 2] = (HEAP32[$126 >> 2] | 0) + 1 | 0;
+  HEAP32[($shape | 0) >> 2] = 8016 | 0;
+  HEAP32[($shape + 4 | 0) >> 2] = 1;
+  HEAPF32[($shape + 8 | 0) >> 2] = +.009999999776482582;
+  _memset($shape + 28 | 0 | 0 | 0, 0 | 0 | 0, 18 | 0 | 0);
+  $135 = $shape + 12 | 0;
+  HEAP32[($135 | 0) >> 2] = -1038090240;
+  HEAP32[($135 + 4 | 0) >> 2] = 0;
+  $137 = $shape + 20 | 0;
+  HEAP32[($137 | 0) >> 2] = 1109393408;
+  HEAP32[($137 + 4 | 0) >> 2] = 0;
+  HEAP8[$shape + 44 | 0] = 0;
+  HEAP8[$shape + 45 | 0] = 0;
+  HEAP16[($def_i + 22 | 0) >> 1] = 1;
+  HEAP16[($def_i + 24 | 0) >> 1] = -1;
+  HEAP16[($def_i + 26 | 0) >> 1] = 0;
+  HEAP32[($def_i + 4 | 0) >> 2] = 0;
+  HEAPF32[($def_i + 8 | 0) >> 2] = +.20000000298023224;
+  HEAPF32[($def_i + 12 | 0) >> 2] = +0;
+  HEAP8[$def_i + 20 | 0] = 0;
+  HEAP32[($def_i | 0) >> 2] = $shape | 0;
+  HEAPF32[($def_i + 16 | 0) >> 2] = +0;
+  __ZN6b2Body13CreateFixtureEPK12b2FixtureDef($116, $def_i);
+  HEAP32[($shape1 | 0) >> 2] = 7968 | 0;
+  HEAP32[($shape1 + 4 | 0) >> 2] = 2;
+  HEAPF32[($shape1 + 8 | 0) >> 2] = +.009999999776482582;
+  HEAP32[($shape1 + 148 | 0) >> 2] = 4;
+  HEAPF32[($shape1 + 20 | 0) >> 2] = +-.5;
+  HEAPF32[($shape1 + 24 | 0) >> 2] = +-.5;
+  HEAPF32[($shape1 + 28 | 0) >> 2] = +.5;
+  HEAPF32[($shape1 + 32 | 0) >> 2] = +-.5;
+  HEAPF32[($shape1 + 36 | 0) >> 2] = +.5;
+  HEAPF32[($shape1 + 40 | 0) >> 2] = +.5;
+  HEAPF32[($shape1 + 44 | 0) >> 2] = +-.5;
+  HEAPF32[($shape1 + 48 | 0) >> 2] = +.5;
+  HEAPF32[($shape1 + 84 | 0) >> 2] = +0;
+  HEAPF32[($shape1 + 88 | 0) >> 2] = +-1;
+  HEAPF32[($shape1 + 92 | 0) >> 2] = +1;
+  HEAPF32[($shape1 + 96 | 0) >> 2] = +0;
+  HEAPF32[($shape1 + 100 | 0) >> 2] = +0;
+  HEAPF32[($shape1 + 104 | 0) >> 2] = +1;
+  HEAPF32[($shape1 + 108 | 0) >> 2] = +-1;
+  HEAPF32[($shape1 + 112 | 0) >> 2] = +0;
+  HEAPF32[($shape1 + 12 | 0) >> 2] = +0;
+  HEAPF32[($shape1 + 16 | 0) >> 2] = +0;
+  $174 = $bd2 + 44 | 0;
+  $176 = $bd2 + 36 | 0;
+  $177 = $bd2 + 4 | 0;
+  $178 = $bd2 + 37 | 0;
+  $179 = $bd2 + 38 | 0;
+  $180 = $bd2 + 39 | 0;
+  $181 = $bd2 | 0;
+  $182 = $bd2 + 40 | 0;
+  $183 = $bd2 + 48 | 0;
+  $185 = $bd2 + 4 | 0;
+  $186 = $shape1 | 0;
+  $188 = $def_i21 + 22 | 0;
+  $189 = $def_i21 + 24 | 0;
+  $190 = $def_i21 + 26 | 0;
+  $191 = $def_i21 | 0;
+  $192 = $def_i21 + 4 | 0;
+  $193 = $def_i21 + 8 | 0;
+  $194 = $def_i21 + 12 | 0;
+  $195 = $def_i21 + 16 | 0;
+  $196 = $def_i21 + 20 | 0;
+  $x_sroa_1_4_load313755 = +.75;
+  $x_sroa_0_0_load303656 = +-7;
+  $i_057 = 0;
+  L82 : while (1) {
+    $y_sroa_1_4_load293550 = $x_sroa_1_4_load313755;
+    $y_sroa_0_0_load283451 = $x_sroa_0_0_load303656;
+    $j_052 = $i_057;
+    while (1) {
+      HEAP32[$174 >> 2] = 0;
+      _memset($177 | 0 | 0, 0 | 0 | 0, 32 | 0 | 0);
+      HEAP8[$176] = 1;
+      HEAP8[$178] = 1;
+      HEAP8[$179] = 0;
+      HEAP8[$180] = 0;
+      HEAP8[$182] = 1;
+      HEAPF32[$183 >> 2] = +1;
+      HEAP32[$181 >> 2] = 2;
+      $y_sroa_0_0_insert_insert$1 = (HEAPF32[tempDoublePtr >> 2] = $y_sroa_1_4_load293550, HEAP32[tempDoublePtr >> 2] | 0) | 0;
+      HEAP32[($185 | 0) >> 2] = 0 | (HEAPF32[tempDoublePtr >> 2] = $y_sroa_0_0_load283451, HEAP32[tempDoublePtr >> 2] | 0);
+      HEAP32[($185 + 4 | 0) >> 2] = $y_sroa_0_0_insert_insert$1;
+      if (!(((HEAP32[$98 >> 2] | 0) & 2 | 0) == 0)) {
+        label = 65;
+        break L82;
+      }
+      $205 = __ZN16b2BlockAllocator8AllocateEi($14, 152) | 0;
+      if (($205 | 0) == 0) {
+        $209 = 0;
+      } else {
+        $208 = $205;
+        __ZN6b2BodyC2EPK9b2BodyDefP7b2World($208, $bd2, $world);
+        $209 = $208;
+      }
+      HEAP32[($209 + 92 | 0) >> 2] = 0;
+      HEAP32[($209 + 96 | 0) >> 2] = HEAP32[$118 >> 2] | 0;
+      $213 = HEAP32[$118 >> 2] | 0;
+      if (!(($213 | 0) == 0)) {
+        HEAP32[($213 + 92 | 0) >> 2] = $209;
+      }
+      HEAP32[$118 >> 2] = $209;
+      HEAP32[$126 >> 2] = (HEAP32[$126 >> 2] | 0) + 1 | 0;
+      HEAP16[$188 >> 1] = 1;
+      HEAP16[$189 >> 1] = -1;
+      HEAP16[$190 >> 1] = 0;
+      HEAP32[$192 >> 2] = 0;
+      HEAPF32[$193 >> 2] = +.20000000298023224;
+      HEAPF32[$194 >> 2] = +0;
+      HEAP8[$196] = 0;
+      HEAP32[$191 >> 2] = $186;
+      HEAPF32[$195 >> 2] = +5;
+      __ZN6b2Body13CreateFixtureEPK12b2FixtureDef($209, $def_i21);
+      $223 = $j_052 + 1 | 0;
+      if (($223 | 0) < 40) {
+        $y_sroa_1_4_load293550 = $y_sroa_1_4_load293550 + +0;
+        $y_sroa_0_0_load283451 = $y_sroa_0_0_load283451 + 1.125;
+        $j_052 = $223;
+      } else {
+        break;
+      }
+    }
+    $236 = $i_057 + 1 | 0;
+    if (($236 | 0) < 40) {
+      $x_sroa_1_4_load313755 = $x_sroa_1_4_load313755 + +1;
+      $x_sroa_0_0_load303656 = $x_sroa_0_0_load303656 + +.5625;
+      $i_057 = $236;
+    } else {
+      $i3_042 = 0;
+      break;
+    }
+  }
+  if ((label | 0) == 65) {
+    ___assert_func(112 | 0 | 0, 109 | 0, 5328 | 0 | 0, 2520 | 0 | 0);
+    return 0 | 0;
+  }
+  while (1) {
+    __ZN7b2World4StepEfii($world);
+    $i3_042 = $i3_042 + 1 | 0;
+    if (($i3_042 | 0) >= ($WARMUP_0 | 0)) {
+      break;
+    }
+  }
+  $241 = HEAP32[9656 >> 2] | 0;
+  $242 = _llvm_stacksave() | 0;
+  $243 = STACKTOP;
+  STACKTOP = STACKTOP + ($241 * 4 & -1) | 0;
+  STACKTOP = STACKTOP + 7 >> 3 << 3;
+  if (($241 | 0) > 0) {
+    $i4_038 = 0;
+    while (1) {
+      $245 = _clock() | 0;
+      __ZN7b2World4StepEfii($world);
+      HEAP32[($243 + ($i4_038 << 2) | 0) >> 2] = (_clock() | 0) - $245 | 0;
+      $i4_038 = $i4_038 + 1 | 0;
+      if (($i4_038 | 0) >= (HEAP32[9656 >> 2] | 0 | 0)) {
+        break;
+      }
+    }
+  }
+  __Z7measurePm($result, $243);
+  $260 = +HEAPF32[($result + 4 | 0) >> 2];
+  _printf(3480 | 0 | 0, (tempInt = STACKTOP, STACKTOP = STACKTOP + 16 | 0, HEAPF64[tempInt >> 3] = +HEAPF32[($result | 0) >> 2], HEAPF64[tempInt + 8 >> 3] = $260, tempInt) | 0) | 0;
+  _llvm_stackrestore($242 | 0);
+  __ZN7b2WorldD2Ev($world);
+  $_0 = 0;
+  STACKTOP = __stackBase__;
+  return $_0 | 0;
+}
+// EMSCRIPTEN_GENERATED_FUNCTIONS: ["a", "b", "rett", "ret2t", "retf", "i32_8", "tempDoublePtr", "boxx", "_main"]