wasm2js: run more optimizations (#2073)

In particular, coalesce-locals is useful even if closure is run later (apparently it finds stuff closure can't).

1 files changed, 276 insertions, 362 deletions

diff --git a/test/wasm2js/i64-rotate.2asm.js b/test/wasm2js/i64-rotate.2asm.js
index f8fc282cb..02c170733 100644
--- a/test/wasm2js/i64-rotate.2asm.js
+++ b/test/wasm2js/i64-rotate.2asm.js
@@ -22,48 +22,32 @@ function asmFunc(global, env, buffer) {
  var nan = global.NaN;
  var infinity = global.Infinity;
  var i64toi32_i32$HIGH_BITS = 0;
- function $1($0, $0$hi, $1_1, $1$hi, $2_1, $2$hi) {
+ function $1($0, $1_1, $2_1, $3, $4, $5) {
   $0 = $0 | 0;
-  $0$hi = $0$hi | 0;
   $1_1 = $1_1 | 0;
-  $1$hi = $1$hi | 0;
   $2_1 = $2_1 | 0;
-  $2$hi = $2$hi | 0;
-  var i64toi32_i32$0 = 0, i64toi32_i32$1 = 0, $5$hi = 0, i64toi32_i32$2 = 0;
-  i64toi32_i32$0 = $0$hi;
-  i64toi32_i32$0 = $1$hi;
-  i64toi32_i32$0 = $0$hi;
-  i64toi32_i32$1 = $1$hi;
-  i64toi32_i32$1 = __wasm_rotl_i64($0 | 0, i64toi32_i32$0 | 0, $1_1 | 0, i64toi32_i32$1 | 0) | 0;
-  i64toi32_i32$0 = i64toi32_i32$HIGH_BITS;
-  $5$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = $2$hi;
-  i64toi32_i32$0 = $5$hi;
-  i64toi32_i32$2 = i64toi32_i32$1;
-  i64toi32_i32$1 = $2$hi;
-  return (i64toi32_i32$2 | 0) == ($2_1 | 0) & (i64toi32_i32$0 | 0) == (i64toi32_i32$1 | 0) | 0 | 0;
+  $3 = $3 | 0;
+  $4 = $4 | 0;
+  $5 = $5 | 0;
+  $3 = __wasm_rotl_i64($0 | 0, $1_1 | 0, $2_1 | 0, $3 | 0) | 0;
+  $1_1 = i64toi32_i32$HIGH_BITS;
+  $0 = $3;
+  $3 = $5;
+  return ($0 | 0) == ($4 | 0) & ($1_1 | 0) == ($3 | 0) | 0 | 0;
  }
  
- function $2($0, $0$hi, $1_1, $1$hi, $2_1, $2$hi) {
+ function $2($0, $1_1, $2_1, $3, $4, $5) {
   $0 = $0 | 0;
-  $0$hi = $0$hi | 0;
   $1_1 = $1_1 | 0;
-  $1$hi = $1$hi | 0;
   $2_1 = $2_1 | 0;
-  $2$hi = $2$hi | 0;
-  var i64toi32_i32$0 = 0, i64toi32_i32$1 = 0, $5$hi = 0, i64toi32_i32$2 = 0;
-  i64toi32_i32$0 = $0$hi;
-  i64toi32_i32$0 = $1$hi;
-  i64toi32_i32$0 = $0$hi;
-  i64toi32_i32$1 = $1$hi;
-  i64toi32_i32$1 = __wasm_rotr_i64($0 | 0, i64toi32_i32$0 | 0, $1_1 | 0, i64toi32_i32$1 | 0) | 0;
-  i64toi32_i32$0 = i64toi32_i32$HIGH_BITS;
-  $5$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = $2$hi;
-  i64toi32_i32$0 = $5$hi;
-  i64toi32_i32$2 = i64toi32_i32$1;
-  i64toi32_i32$1 = $2$hi;
-  return (i64toi32_i32$2 | 0) == ($2_1 | 0) & (i64toi32_i32$0 | 0) == (i64toi32_i32$1 | 0) | 0 | 0;
+  $3 = $3 | 0;
+  $4 = $4 | 0;
+  $5 = $5 | 0;
+  $3 = __wasm_rotr_i64($0 | 0, $1_1 | 0, $2_1 | 0, $3 | 0) | 0;
+  $1_1 = i64toi32_i32$HIGH_BITS;
+  $0 = $3;
+  $3 = $5;
+  return ($0 | 0) == ($4 | 0) & ($1_1 | 0) == ($3 | 0) | 0 | 0;
  }
  
  function legalstub$1($0, $1_1, $2_1, $3, $4, $5) {
@@ -73,92 +57,79 @@ function asmFunc(global, env, buffer) {
   $3 = $3 | 0;
   $4 = $4 | 0;
   $5 = $5 | 0;
-  var i64toi32_i32$0 = 0, i64toi32_i32$2 = 0, i64toi32_i32$1 = 0, i64toi32_i32$4 = 0, i64toi32_i32$3 = 0, $26 = 0, $27 = 0, $28 = 0, $7 = 0, $7$hi = 0, $10$hi = 0, $11 = 0, $11$hi = 0, $13 = 0, $13$hi = 0, $16$hi = 0, $17 = 0, $17$hi = 0, $19 = 0, $19$hi = 0, $22$hi = 0, $23 = 0, $23$hi = 0;
-  i64toi32_i32$0 = 0;
-  $7 = $0;
-  $7$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = 0;
-  i64toi32_i32$2 = $1_1;
-  i64toi32_i32$1 = 0;
-  i64toi32_i32$3 = 32;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  var $6 = 0, $7 = 0, $8 = 0, $9 = 0, $10 = 0, $11 = 0;
+  $6 = 0;
+  $10 = $0;
+  $9 = $6;
+  $6 = 0;
+  $7 = 32;
+  $8 = $7 & 31 | 0;
+  if (32 >>> 0 <= ($7 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$1 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
-    $26 = 0;
+    $0 = $1_1 << $8 | 0;
+    $7 = 0;
    }
   } else {
    {
-    i64toi32_i32$1 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$2 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$0 << i64toi32_i32$4 | 0) | 0;
-    $26 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+    $0 = ((1 << $8 | 0) - 1 | 0) & ($1_1 >>> (32 - $8 | 0) | 0) | 0 | ($6 << $8 | 0) | 0;
+    $7 = $1_1 << $8 | 0;
    }
   }
-  $10$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = $7$hi;
-  i64toi32_i32$0 = $7;
-  i64toi32_i32$2 = $10$hi;
-  i64toi32_i32$3 = $26;
-  i64toi32_i32$2 = i64toi32_i32$1 | i64toi32_i32$2 | 0;
-  $11 = i64toi32_i32$0 | i64toi32_i32$3 | 0;
-  $11$hi = i64toi32_i32$2;
-  i64toi32_i32$2 = 0;
-  $13 = $2_1;
-  $13$hi = i64toi32_i32$2;
-  i64toi32_i32$2 = 0;
-  i64toi32_i32$1 = $3;
-  i64toi32_i32$0 = 0;
-  i64toi32_i32$3 = 32;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $1_1 = $0;
+  $0 = $9;
+  $6 = $10;
+  $1_1 = $0 | $1_1 | 0;
+  $11 = $6 | $7 | 0;
+  $10 = $1_1;
+  $1_1 = 0;
+  $9 = $1_1;
+  $1_1 = 0;
+  $0 = $3;
+  $7 = 32;
+  $8 = $7 & 31 | 0;
+  if (32 >>> 0 <= ($7 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$0 = i64toi32_i32$1 << i64toi32_i32$4 | 0;
-    $27 = 0;
+    $6 = $0 << $8 | 0;
+    $7 = 0;
    }
   } else {
    {
-    i64toi32_i32$0 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$1 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$2 << i64toi32_i32$4 | 0) | 0;
-    $27 = i64toi32_i32$1 << i64toi32_i32$4 | 0;
+    $6 = ((1 << $8 | 0) - 1 | 0) & ($0 >>> (32 - $8 | 0) | 0) | 0 | ($1_1 << $8 | 0) | 0;
+    $7 = $0 << $8 | 0;
    }
   }
-  $16$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = $13$hi;
-  i64toi32_i32$2 = $13;
-  i64toi32_i32$1 = $16$hi;
-  i64toi32_i32$3 = $27;
-  i64toi32_i32$1 = i64toi32_i32$0 | i64toi32_i32$1 | 0;
-  $17 = i64toi32_i32$2 | i64toi32_i32$3 | 0;
-  $17$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = 0;
-  $19 = $4;
-  $19$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = 0;
-  i64toi32_i32$0 = $5;
-  i64toi32_i32$2 = 0;
-  i64toi32_i32$3 = 32;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $0 = $6;
+  $6 = $9;
+  $1_1 = $2_1;
+  $0 = $6 | $0 | 0;
+  $9 = $1_1 | $7 | 0;
+  $2_1 = $0;
+  $0 = 0;
+  $3 = $0;
+  $0 = 0;
+  $6 = $5;
+  $7 = 32;
+  $8 = $7 & 31 | 0;
+  if (32 >>> 0 <= ($7 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$2 = i64toi32_i32$0 << i64toi32_i32$4 | 0;
-    $28 = 0;
+    $1_1 = $6 << $8 | 0;
+    $7 = 0;
    }
   } else {
    {
-    i64toi32_i32$2 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$0 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$1 << i64toi32_i32$4 | 0) | 0;
-    $28 = i64toi32_i32$0 << i64toi32_i32$4 | 0;
+    $1_1 = ((1 << $8 | 0) - 1 | 0) & ($6 >>> (32 - $8 | 0) | 0) | 0 | ($0 << $8 | 0) | 0;
+    $7 = $6 << $8 | 0;
    }
   }
-  $22$hi = i64toi32_i32$2;
-  i64toi32_i32$2 = $19$hi;
-  i64toi32_i32$1 = $19;
-  i64toi32_i32$0 = $22$hi;
-  i64toi32_i32$3 = $28;
-  i64toi32_i32$0 = i64toi32_i32$2 | i64toi32_i32$0 | 0;
-  $23 = i64toi32_i32$1 | i64toi32_i32$3 | 0;
-  $23$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = $11$hi;
-  i64toi32_i32$1 = $17$hi;
-  i64toi32_i32$2 = $23$hi;
-  return $1($11 | 0, i64toi32_i32$0 | 0, $17 | 0, i64toi32_i32$1 | 0, $23 | 0, i64toi32_i32$2 | 0) | 0 | 0;
+  $6 = $1_1;
+  $1_1 = $3;
+  $0 = $4;
+  $6 = $1_1 | $6 | 0;
+  $3 = $0 | $7 | 0;
+  $1_1 = $6;
+  $6 = $10;
+  $0 = $2_1;
+  return $1($11 | 0, $6 | 0, $9 | 0, $0 | 0, $3 | 0, $1_1 | 0) | 0 | 0;
  }
  
  function legalstub$2($0, $1_1, $2_1, $3, $4, $5) {
@@ -168,336 +139,279 @@ function asmFunc(global, env, buffer) {
   $3 = $3 | 0;
   $4 = $4 | 0;
   $5 = $5 | 0;
-  var i64toi32_i32$0 = 0, i64toi32_i32$2 = 0, i64toi32_i32$1 = 0, i64toi32_i32$4 = 0, i64toi32_i32$3 = 0, $26 = 0, $27 = 0, $28 = 0, $7 = 0, $7$hi = 0, $10$hi = 0, $11 = 0, $11$hi = 0, $13 = 0, $13$hi = 0, $16$hi = 0, $17 = 0, $17$hi = 0, $19 = 0, $19$hi = 0, $22$hi = 0, $23 = 0, $23$hi = 0;
-  i64toi32_i32$0 = 0;
-  $7 = $0;
-  $7$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = 0;
-  i64toi32_i32$2 = $1_1;
-  i64toi32_i32$1 = 0;
-  i64toi32_i32$3 = 32;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  var $6 = 0, $7 = 0, $8 = 0, $9 = 0, $10 = 0, $11 = 0;
+  $6 = 0;
+  $10 = $0;
+  $9 = $6;
+  $6 = 0;
+  $7 = 32;
+  $8 = $7 & 31 | 0;
+  if (32 >>> 0 <= ($7 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$1 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
-    $26 = 0;
+    $0 = $1_1 << $8 | 0;
+    $7 = 0;
    }
   } else {
    {
-    i64toi32_i32$1 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$2 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$0 << i64toi32_i32$4 | 0) | 0;
-    $26 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+    $0 = ((1 << $8 | 0) - 1 | 0) & ($1_1 >>> (32 - $8 | 0) | 0) | 0 | ($6 << $8 | 0) | 0;
+    $7 = $1_1 << $8 | 0;
    }
   }
-  $10$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = $7$hi;
-  i64toi32_i32$0 = $7;
-  i64toi32_i32$2 = $10$hi;
-  i64toi32_i32$3 = $26;
-  i64toi32_i32$2 = i64toi32_i32$1 | i64toi32_i32$2 | 0;
-  $11 = i64toi32_i32$0 | i64toi32_i32$3 | 0;
-  $11$hi = i64toi32_i32$2;
-  i64toi32_i32$2 = 0;
-  $13 = $2_1;
-  $13$hi = i64toi32_i32$2;
-  i64toi32_i32$2 = 0;
-  i64toi32_i32$1 = $3;
-  i64toi32_i32$0 = 0;
-  i64toi32_i32$3 = 32;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $1_1 = $0;
+  $0 = $9;
+  $6 = $10;
+  $1_1 = $0 | $1_1 | 0;
+  $11 = $6 | $7 | 0;
+  $10 = $1_1;
+  $1_1 = 0;
+  $9 = $1_1;
+  $1_1 = 0;
+  $0 = $3;
+  $7 = 32;
+  $8 = $7 & 31 | 0;
+  if (32 >>> 0 <= ($7 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$0 = i64toi32_i32$1 << i64toi32_i32$4 | 0;
-    $27 = 0;
+    $6 = $0 << $8 | 0;
+    $7 = 0;
    }
   } else {
    {
-    i64toi32_i32$0 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$1 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$2 << i64toi32_i32$4 | 0) | 0;
-    $27 = i64toi32_i32$1 << i64toi32_i32$4 | 0;
+    $6 = ((1 << $8 | 0) - 1 | 0) & ($0 >>> (32 - $8 | 0) | 0) | 0 | ($1_1 << $8 | 0) | 0;
+    $7 = $0 << $8 | 0;
    }
   }
-  $16$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = $13$hi;
-  i64toi32_i32$2 = $13;
-  i64toi32_i32$1 = $16$hi;
-  i64toi32_i32$3 = $27;
-  i64toi32_i32$1 = i64toi32_i32$0 | i64toi32_i32$1 | 0;
-  $17 = i64toi32_i32$2 | i64toi32_i32$3 | 0;
-  $17$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = 0;
-  $19 = $4;
-  $19$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = 0;
-  i64toi32_i32$0 = $5;
-  i64toi32_i32$2 = 0;
-  i64toi32_i32$3 = 32;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $0 = $6;
+  $6 = $9;
+  $1_1 = $2_1;
+  $0 = $6 | $0 | 0;
+  $9 = $1_1 | $7 | 0;
+  $2_1 = $0;
+  $0 = 0;
+  $3 = $0;
+  $0 = 0;
+  $6 = $5;
+  $7 = 32;
+  $8 = $7 & 31 | 0;
+  if (32 >>> 0 <= ($7 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$2 = i64toi32_i32$0 << i64toi32_i32$4 | 0;
-    $28 = 0;
+    $1_1 = $6 << $8 | 0;
+    $7 = 0;
    }
   } else {
    {
-    i64toi32_i32$2 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$0 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$1 << i64toi32_i32$4 | 0) | 0;
-    $28 = i64toi32_i32$0 << i64toi32_i32$4 | 0;
+    $1_1 = ((1 << $8 | 0) - 1 | 0) & ($6 >>> (32 - $8 | 0) | 0) | 0 | ($0 << $8 | 0) | 0;
+    $7 = $6 << $8 | 0;
    }
   }
-  $22$hi = i64toi32_i32$2;
-  i64toi32_i32$2 = $19$hi;
-  i64toi32_i32$1 = $19;
-  i64toi32_i32$0 = $22$hi;
-  i64toi32_i32$3 = $28;
-  i64toi32_i32$0 = i64toi32_i32$2 | i64toi32_i32$0 | 0;
-  $23 = i64toi32_i32$1 | i64toi32_i32$3 | 0;
-  $23$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = $11$hi;
-  i64toi32_i32$1 = $17$hi;
-  i64toi32_i32$2 = $23$hi;
-  return $2($11 | 0, i64toi32_i32$0 | 0, $17 | 0, i64toi32_i32$1 | 0, $23 | 0, i64toi32_i32$2 | 0) | 0 | 0;
+  $6 = $1_1;
+  $1_1 = $3;
+  $0 = $4;
+  $6 = $1_1 | $6 | 0;
+  $3 = $0 | $7 | 0;
+  $1_1 = $6;
+  $6 = $10;
+  $0 = $2_1;
+  return $2($11 | 0, $6 | 0, $9 | 0, $0 | 0, $3 | 0, $1_1 | 0) | 0 | 0;
  }
  
- function __wasm_rotl_i64(var$0, var$0$hi, var$1, var$1$hi) {
-  var$0 = var$0 | 0;
-  var$0$hi = var$0$hi | 0;
-  var$1 = var$1 | 0;
-  var$1$hi = var$1$hi | 0;
-  var i64toi32_i32$1 = 0, i64toi32_i32$0 = 0, i64toi32_i32$2 = 0, i64toi32_i32$3 = 0, i64toi32_i32$5 = 0, i64toi32_i32$4 = 0, var$2$hi = 0, var$2 = 0, $19 = 0, $20 = 0, $21 = 0, $22 = 0, $6$hi = 0, $8$hi = 0, $10 = 0, $10$hi = 0, $15$hi = 0, $17$hi = 0, $19$hi = 0;
-  i64toi32_i32$0 = var$1$hi;
-  i64toi32_i32$2 = var$1;
-  i64toi32_i32$1 = 0;
-  i64toi32_i32$3 = 63;
-  i64toi32_i32$1 = i64toi32_i32$0 & i64toi32_i32$1 | 0;
-  var$2 = i64toi32_i32$2 & i64toi32_i32$3 | 0;
-  var$2$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = -1;
-  i64toi32_i32$0 = -1;
-  i64toi32_i32$2 = var$2$hi;
-  i64toi32_i32$3 = var$2;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+ function __wasm_rotl_i64($0, $1_1, $2_1, $3) {
+  $0 = $0 | 0;
+  $1_1 = $1_1 | 0;
+  $2_1 = $2_1 | 0;
+  $3 = $3 | 0;
+  var $4 = 0, $5 = 0, $6 = 0, $7 = 0, $8 = 0, $9 = 0, $10 = 0, $11 = 0;
+  $6 = $3;
+  $7 = $2_1;
+  $4 = 0;
+  $5 = 63;
+  $4 = $6 & $4 | 0;
+  $10 = $7 & $5 | 0;
+  $8 = $4;
+  $4 = -1;
+  $6 = -1;
+  $5 = $10;
+  $9 = $5 & 31 | 0;
+  if (32 >>> 0 <= ($5 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$2 = 0;
-    $19 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
+    $7 = 0;
+    $4 = $4 >>> $9 | 0;
    }
   } else {
    {
-    i64toi32_i32$2 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
-    $19 = (((1 << i64toi32_i32$4 | 0) - 1 | 0) & i64toi32_i32$1 | 0) << (32 - i64toi32_i32$4 | 0) | 0 | (i64toi32_i32$0 >>> i64toi32_i32$4 | 0) | 0;
+    $7 = $4 >>> $9 | 0;
+    $4 = (((1 << $9 | 0) - 1 | 0) & $4 | 0) << (32 - $9 | 0) | 0 | ($6 >>> $9 | 0) | 0;
    }
   }
-  $6$hi = i64toi32_i32$2;
-  i64toi32_i32$2 = var$0$hi;
-  i64toi32_i32$2 = $6$hi;
-  i64toi32_i32$1 = $19;
-  i64toi32_i32$0 = var$0$hi;
-  i64toi32_i32$3 = var$0;
-  i64toi32_i32$0 = i64toi32_i32$2 & i64toi32_i32$0 | 0;
-  $8$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = var$2$hi;
-  i64toi32_i32$0 = $8$hi;
-  i64toi32_i32$2 = i64toi32_i32$1 & i64toi32_i32$3 | 0;
-  i64toi32_i32$1 = var$2$hi;
-  i64toi32_i32$3 = var$2;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $6 = $1_1;
+  $5 = $0;
+  $6 = $7 & $6 | 0;
+  $7 = $4 & $5 | 0;
+  $5 = $10;
+  $9 = $5 & 31 | 0;
+  if (32 >>> 0 <= ($5 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$1 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
-    $20 = 0;
+    $4 = $7 << $9 | 0;
+    $10 = 0;
    }
   } else {
    {
-    i64toi32_i32$1 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$2 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$0 << i64toi32_i32$4 | 0) | 0;
-    $20 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+    $4 = ((1 << $9 | 0) - 1 | 0) & ($7 >>> (32 - $9 | 0) | 0) | 0 | ($6 << $9 | 0) | 0;
+    $10 = $7 << $9 | 0;
    }
   }
-  $10 = $20;
-  $10$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = var$1$hi;
-  i64toi32_i32$1 = 0;
-  i64toi32_i32$0 = 0;
-  i64toi32_i32$2 = var$1$hi;
-  i64toi32_i32$3 = var$1;
-  i64toi32_i32$4 = i64toi32_i32$0 - i64toi32_i32$3 | 0;
-  i64toi32_i32$5 = (i64toi32_i32$0 >>> 0 < i64toi32_i32$3 >>> 0) + i64toi32_i32$2 | 0;
-  i64toi32_i32$5 = i64toi32_i32$1 - i64toi32_i32$5 | 0;
-  i64toi32_i32$1 = i64toi32_i32$4;
-  i64toi32_i32$0 = 0;
-  i64toi32_i32$3 = 63;
-  i64toi32_i32$0 = i64toi32_i32$5 & i64toi32_i32$0 | 0;
-  var$1 = i64toi32_i32$1 & i64toi32_i32$3 | 0;
-  var$1$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = -1;
-  i64toi32_i32$5 = -1;
-  i64toi32_i32$1 = var$1$hi;
-  i64toi32_i32$3 = var$1;
-  i64toi32_i32$2 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $11 = $4;
+  $4 = 0;
+  $6 = 0;
+  $7 = $3;
+  $5 = $2_1;
+  $9 = $6 - $5 | 0;
+  $8 = ($6 >>> 0 < $5 >>> 0) + $7 | 0;
+  $8 = $4 - $8 | 0;
+  $4 = $9;
+  $6 = 0;
+  $5 = 63;
+  $6 = $8 & $6 | 0;
+  $2_1 = $4 & $5 | 0;
+  $3 = $6;
+  $6 = -1;
+  $8 = -1;
+  $5 = $2_1;
+  $7 = $5 & 31 | 0;
+  if (32 >>> 0 <= ($5 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$1 = i64toi32_i32$5 << i64toi32_i32$2 | 0;
-    $21 = 0;
+    $4 = $8 << $7 | 0;
+    $6 = 0;
    }
   } else {
    {
-    i64toi32_i32$1 = ((1 << i64toi32_i32$2 | 0) - 1 | 0) & (i64toi32_i32$5 >>> (32 - i64toi32_i32$2 | 0) | 0) | 0 | (i64toi32_i32$0 << i64toi32_i32$2 | 0) | 0;
-    $21 = i64toi32_i32$5 << i64toi32_i32$2 | 0;
+    $4 = ((1 << $7 | 0) - 1 | 0) & ($8 >>> (32 - $7 | 0) | 0) | 0 | ($6 << $7 | 0) | 0;
+    $6 = $8 << $7 | 0;
    }
   }
-  $15$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = var$0$hi;
-  i64toi32_i32$1 = $15$hi;
-  i64toi32_i32$0 = $21;
-  i64toi32_i32$5 = var$0$hi;
-  i64toi32_i32$3 = var$0;
-  i64toi32_i32$5 = i64toi32_i32$1 & i64toi32_i32$5 | 0;
-  $17$hi = i64toi32_i32$5;
-  i64toi32_i32$5 = var$1$hi;
-  i64toi32_i32$5 = $17$hi;
-  i64toi32_i32$1 = i64toi32_i32$0 & i64toi32_i32$3 | 0;
-  i64toi32_i32$0 = var$1$hi;
-  i64toi32_i32$3 = var$1;
-  i64toi32_i32$2 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $8 = $1_1;
+  $5 = $0;
+  $8 = $4 & $8 | 0;
+  $4 = $6 & $5 | 0;
+  $5 = $2_1;
+  $7 = $5 & 31 | 0;
+  if (32 >>> 0 <= ($5 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$0 = 0;
-    $22 = i64toi32_i32$5 >>> i64toi32_i32$2 | 0;
+    $6 = 0;
+    $5 = $8 >>> $7 | 0;
    }
   } else {
    {
-    i64toi32_i32$0 = i64toi32_i32$5 >>> i64toi32_i32$2 | 0;
-    $22 = (((1 << i64toi32_i32$2 | 0) - 1 | 0) & i64toi32_i32$5 | 0) << (32 - i64toi32_i32$2 | 0) | 0 | (i64toi32_i32$1 >>> i64toi32_i32$2 | 0) | 0;
+    $6 = $8 >>> $7 | 0;
+    $5 = (((1 << $7 | 0) - 1 | 0) & $8 | 0) << (32 - $7 | 0) | 0 | ($4 >>> $7 | 0) | 0;
    }
   }
-  $19$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = $10$hi;
-  i64toi32_i32$5 = $10;
-  i64toi32_i32$1 = $19$hi;
-  i64toi32_i32$3 = $22;
-  i64toi32_i32$1 = i64toi32_i32$0 | i64toi32_i32$1 | 0;
-  i64toi32_i32$5 = i64toi32_i32$5 | i64toi32_i32$3 | 0;
-  i64toi32_i32$HIGH_BITS = i64toi32_i32$1;
-  return i64toi32_i32$5 | 0;
+  $4 = $6;
+  $6 = $11;
+  $8 = $10;
+  $4 = $6 | $4 | 0;
+  $8 = $8 | $5 | 0;
+  i64toi32_i32$HIGH_BITS = $4;
+  return $8 | 0;
  }
  
- function __wasm_rotr_i64(var$0, var$0$hi, var$1, var$1$hi) {
-  var$0 = var$0 | 0;
-  var$0$hi = var$0$hi | 0;
-  var$1 = var$1 | 0;
-  var$1$hi = var$1$hi | 0;
-  var i64toi32_i32$0 = 0, i64toi32_i32$1 = 0, i64toi32_i32$2 = 0, i64toi32_i32$3 = 0, i64toi32_i32$5 = 0, i64toi32_i32$4 = 0, var$2$hi = 0, var$2 = 0, $19 = 0, $20 = 0, $21 = 0, $22 = 0, $6$hi = 0, $8$hi = 0, $10 = 0, $10$hi = 0, $15$hi = 0, $17$hi = 0, $19$hi = 0;
-  i64toi32_i32$0 = var$1$hi;
-  i64toi32_i32$2 = var$1;
-  i64toi32_i32$1 = 0;
-  i64toi32_i32$3 = 63;
-  i64toi32_i32$1 = i64toi32_i32$0 & i64toi32_i32$1 | 0;
-  var$2 = i64toi32_i32$2 & i64toi32_i32$3 | 0;
-  var$2$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = -1;
-  i64toi32_i32$0 = -1;
-  i64toi32_i32$2 = var$2$hi;
-  i64toi32_i32$3 = var$2;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+ function __wasm_rotr_i64($0, $1_1, $2_1, $3) {
+  $0 = $0 | 0;
+  $1_1 = $1_1 | 0;
+  $2_1 = $2_1 | 0;
+  $3 = $3 | 0;
+  var $4 = 0, $5 = 0, $6 = 0, $7 = 0, $8 = 0, $9 = 0, $10 = 0, $11 = 0;
+  $4 = $3;
+  $7 = $2_1;
+  $5 = 0;
+  $6 = 63;
+  $5 = $4 & $5 | 0;
+  $10 = $7 & $6 | 0;
+  $8 = $5;
+  $5 = -1;
+  $4 = -1;
+  $6 = $10;
+  $9 = $6 & 31 | 0;
+  if (32 >>> 0 <= ($6 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$2 = i64toi32_i32$0 << i64toi32_i32$4 | 0;
-    $19 = 0;
+    $7 = $4 << $9 | 0;
+    $5 = 0;
    }
   } else {
    {
-    i64toi32_i32$2 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$0 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$1 << i64toi32_i32$4 | 0) | 0;
-    $19 = i64toi32_i32$0 << i64toi32_i32$4 | 0;
+    $7 = ((1 << $9 | 0) - 1 | 0) & ($4 >>> (32 - $9 | 0) | 0) | 0 | ($5 << $9 | 0) | 0;
+    $5 = $4 << $9 | 0;
    }
   }
-  $6$hi = i64toi32_i32$2;
-  i64toi32_i32$2 = var$0$hi;
-  i64toi32_i32$2 = $6$hi;
-  i64toi32_i32$1 = $19;
-  i64toi32_i32$0 = var$0$hi;
-  i64toi32_i32$3 = var$0;
-  i64toi32_i32$0 = i64toi32_i32$2 & i64toi32_i32$0 | 0;
-  $8$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = var$2$hi;
-  i64toi32_i32$0 = $8$hi;
-  i64toi32_i32$2 = i64toi32_i32$1 & i64toi32_i32$3 | 0;
-  i64toi32_i32$1 = var$2$hi;
-  i64toi32_i32$3 = var$2;
-  i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $4 = $1_1;
+  $6 = $0;
+  $4 = $7 & $4 | 0;
+  $7 = $5 & $6 | 0;
+  $6 = $10;
+  $9 = $6 & 31 | 0;
+  if (32 >>> 0 <= ($6 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$1 = 0;
-    $20 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
+    $5 = 0;
+    $10 = $4 >>> $9 | 0;
    }
   } else {
    {
-    i64toi32_i32$1 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
-    $20 = (((1 << i64toi32_i32$4 | 0) - 1 | 0) & i64toi32_i32$0 | 0) << (32 - i64toi32_i32$4 | 0) | 0 | (i64toi32_i32$2 >>> i64toi32_i32$4 | 0) | 0;
+    $5 = $4 >>> $9 | 0;
+    $10 = (((1 << $9 | 0) - 1 | 0) & $4 | 0) << (32 - $9 | 0) | 0 | ($7 >>> $9 | 0) | 0;
    }
   }
-  $10 = $20;
-  $10$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = var$1$hi;
-  i64toi32_i32$1 = 0;
-  i64toi32_i32$0 = 0;
-  i64toi32_i32$2 = var$1$hi;
-  i64toi32_i32$3 = var$1;
-  i64toi32_i32$4 = i64toi32_i32$0 - i64toi32_i32$3 | 0;
-  i64toi32_i32$5 = (i64toi32_i32$0 >>> 0 < i64toi32_i32$3 >>> 0) + i64toi32_i32$2 | 0;
-  i64toi32_i32$5 = i64toi32_i32$1 - i64toi32_i32$5 | 0;
-  i64toi32_i32$1 = i64toi32_i32$4;
-  i64toi32_i32$0 = 0;
-  i64toi32_i32$3 = 63;
-  i64toi32_i32$0 = i64toi32_i32$5 & i64toi32_i32$0 | 0;
-  var$1 = i64toi32_i32$1 & i64toi32_i32$3 | 0;
-  var$1$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = -1;
-  i64toi32_i32$5 = -1;
-  i64toi32_i32$1 = var$1$hi;
-  i64toi32_i32$3 = var$1;
-  i64toi32_i32$2 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $11 = $5;
+  $5 = 0;
+  $4 = 0;
+  $7 = $3;
+  $6 = $2_1;
+  $9 = $4 - $6 | 0;
+  $8 = ($4 >>> 0 < $6 >>> 0) + $7 | 0;
+  $8 = $5 - $8 | 0;
+  $5 = $9;
+  $4 = 0;
+  $6 = 63;
+  $4 = $8 & $4 | 0;
+  $2_1 = $5 & $6 | 0;
+  $3 = $4;
+  $4 = -1;
+  $8 = -1;
+  $6 = $2_1;
+  $7 = $6 & 31 | 0;
+  if (32 >>> 0 <= ($6 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$1 = 0;
-    $21 = i64toi32_i32$0 >>> i64toi32_i32$2 | 0;
+    $5 = 0;
+    $4 = $4 >>> $7 | 0;
    }
   } else {
    {
-    i64toi32_i32$1 = i64toi32_i32$0 >>> i64toi32_i32$2 | 0;
-    $21 = (((1 << i64toi32_i32$2 | 0) - 1 | 0) & i64toi32_i32$0 | 0) << (32 - i64toi32_i32$2 | 0) | 0 | (i64toi32_i32$5 >>> i64toi32_i32$2 | 0) | 0;
+    $5 = $4 >>> $7 | 0;
+    $4 = (((1 << $7 | 0) - 1 | 0) & $4 | 0) << (32 - $7 | 0) | 0 | ($8 >>> $7 | 0) | 0;
    }
   }
-  $15$hi = i64toi32_i32$1;
-  i64toi32_i32$1 = var$0$hi;
-  i64toi32_i32$1 = $15$hi;
-  i64toi32_i32$0 = $21;
-  i64toi32_i32$5 = var$0$hi;
-  i64toi32_i32$3 = var$0;
-  i64toi32_i32$5 = i64toi32_i32$1 & i64toi32_i32$5 | 0;
-  $17$hi = i64toi32_i32$5;
-  i64toi32_i32$5 = var$1$hi;
-  i64toi32_i32$5 = $17$hi;
-  i64toi32_i32$1 = i64toi32_i32$0 & i64toi32_i32$3 | 0;
-  i64toi32_i32$0 = var$1$hi;
-  i64toi32_i32$3 = var$1;
-  i64toi32_i32$2 = i64toi32_i32$3 & 31 | 0;
-  if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
+  $8 = $1_1;
+  $6 = $0;
+  $8 = $5 & $8 | 0;
+  $5 = $4 & $6 | 0;
+  $6 = $2_1;
+  $7 = $6 & 31 | 0;
+  if (32 >>> 0 <= ($6 & 63 | 0) >>> 0) {
    {
-    i64toi32_i32$0 = i64toi32_i32$1 << i64toi32_i32$2 | 0;
-    $22 = 0;
+    $4 = $5 << $7 | 0;
+    $6 = 0;
    }
   } else {
    {
-    i64toi32_i32$0 = ((1 << i64toi32_i32$2 | 0) - 1 | 0) & (i64toi32_i32$1 >>> (32 - i64toi32_i32$2 | 0) | 0) | 0 | (i64toi32_i32$5 << i64toi32_i32$2 | 0) | 0;
-    $22 = i64toi32_i32$1 << i64toi32_i32$2 | 0;
+    $4 = ((1 << $7 | 0) - 1 | 0) & ($5 >>> (32 - $7 | 0) | 0) | 0 | ($8 << $7 | 0) | 0;
+    $6 = $5 << $7 | 0;
    }
   }
-  $19$hi = i64toi32_i32$0;
-  i64toi32_i32$0 = $10$hi;
-  i64toi32_i32$5 = $10;
-  i64toi32_i32$1 = $19$hi;
-  i64toi32_i32$3 = $22;
-  i64toi32_i32$1 = i64toi32_i32$0 | i64toi32_i32$1 | 0;
-  i64toi32_i32$5 = i64toi32_i32$5 | i64toi32_i32$3 | 0;
-  i64toi32_i32$HIGH_BITS = i64toi32_i32$1;
-  return i64toi32_i32$5 | 0;
+  $5 = $4;
+  $4 = $11;
+  $8 = $10;
+  $5 = $4 | $5 | 0;
+  $8 = $8 | $6 | 0;
+  i64toi32_i32$HIGH_BITS = $5;
+  return $8 | 0;
  }
  
  var FUNCTION_TABLE = [];