wasm2js: unreachability fixes (#2037)

Also test in pass-debug mode, for better coverage.

1 files changed, 240 insertions, 244 deletions

diff --git a/test/wasm2js/traps.2asm.js b/test/wasm2js/traps.2asm.js
index 85b1c6a3f..4dd6c2536 100644
--- a/test/wasm2js/traps.2asm.js
+++ b/test/wasm2js/traps.2asm.js
@@ -416,141 +416,139 @@ function asmFunc(global, env, buffer) {
         label$7 : {
          label$8 : {
           label$9 : {
-           label$10 : {
-            label$11 : {
-             i64toi32_i32$0 = var$0$hi;
-             i64toi32_i32$2 = var$0;
-             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) {
-              {
-               i64toi32_i32$1 = 0;
-               $37 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
-              }
-             } else {
-              {
-               i64toi32_i32$1 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
-               $37 = (((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;
-              }
-             }
-             var$2 = $37;
-             if (var$2) {
-              block : {
-               i64toi32_i32$1 = var$1$hi;
-               var$3 = var$1;
-               if ((var$3 | 0) == (0 | 0)) {
-                break label$11
-               }
-               i64toi32_i32$1 = var$1$hi;
-               i64toi32_i32$0 = var$1;
-               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) {
-                {
-                 i64toi32_i32$2 = 0;
-                 $38 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
-                }
-               } else {
-                {
-                 i64toi32_i32$2 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
-                 $38 = (((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;
-                }
-               }
-               var$4 = $38;
-               if ((var$4 | 0) == (0 | 0)) {
-                break label$9
-               }
-               var$2 = Math_clz32(var$4) - Math_clz32(var$2) | 0;
-               if (var$2 >>> 0 <= 31 >>> 0) {
-                break label$8
-               }
-               break label$2;
-              }
-             }
-             i64toi32_i32$2 = var$1$hi;
-             i64toi32_i32$1 = var$1;
-             i64toi32_i32$0 = 1;
-             i64toi32_i32$3 = 0;
-             if (i64toi32_i32$2 >>> 0 > i64toi32_i32$0 >>> 0 | ((i64toi32_i32$2 | 0) == (i64toi32_i32$0 | 0) & i64toi32_i32$1 >>> 0 >= i64toi32_i32$3 >>> 0 | 0) | 0) {
-              break label$2
-             }
-             i64toi32_i32$1 = var$0$hi;
-             var$2 = var$0;
-             i64toi32_i32$1 = var$1$hi;
-             var$3 = var$1;
-             var$2 = (var$2 >>> 0) / (var$3 >>> 0) | 0;
-             i64toi32_i32$1 = 0;
-             legalfunc$wasm2js_scratch_store_i64(var$0 - Math_imul(var$2, var$3) | 0 | 0, i64toi32_i32$1 | 0);
-             i64toi32_i32$1 = 0;
-             i64toi32_i32$2 = var$2;
-             i64toi32_i32$HIGH_BITS = i64toi32_i32$1;
-             return i64toi32_i32$2 | 0;
-            }
-            i64toi32_i32$2 = var$1$hi;
-            i64toi32_i32$3 = var$1;
+           label$11 : {
+            i64toi32_i32$0 = var$0$hi;
+            i64toi32_i32$2 = var$0;
             i64toi32_i32$1 = 0;
-            i64toi32_i32$0 = 32;
-            i64toi32_i32$4 = i64toi32_i32$0 & 31 | 0;
-            if (32 >>> 0 <= (i64toi32_i32$0 & 63 | 0) >>> 0) {
+            i64toi32_i32$3 = 32;
+            i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
+            if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
              {
               i64toi32_i32$1 = 0;
-              $39 = i64toi32_i32$2 >>> i64toi32_i32$4 | 0;
+              $37 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
              }
             } else {
              {
-              i64toi32_i32$1 = i64toi32_i32$2 >>> i64toi32_i32$4 | 0;
-              $39 = (((1 << i64toi32_i32$4 | 0) - 1 | 0) & i64toi32_i32$2 | 0) << (32 - i64toi32_i32$4 | 0) | 0 | (i64toi32_i32$3 >>> i64toi32_i32$4 | 0) | 0;
+              i64toi32_i32$1 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
+              $37 = (((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;
              }
             }
-            var$3 = $39;
-            i64toi32_i32$1 = var$0$hi;
-            if ((var$0 | 0) == (0 | 0)) {
-             break label$7
-            }
-            if ((var$3 | 0) == (0 | 0)) {
-             break label$6
-            }
-            var$4 = var$3 + 4294967295 | 0;
-            if (var$4 & var$3 | 0) {
-             break label$6
-            }
-            i64toi32_i32$1 = 0;
-            i64toi32_i32$2 = var$4 & var$2 | 0;
-            i64toi32_i32$3 = 0;
-            i64toi32_i32$0 = 32;
-            i64toi32_i32$4 = i64toi32_i32$0 & 31 | 0;
-            if (32 >>> 0 <= (i64toi32_i32$0 & 63 | 0) >>> 0) {
+            var$2 = $37;
+            if (var$2) {
              {
-              i64toi32_i32$3 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
-              $40 = 0;
-             }
-            } else {
-             {
-              i64toi32_i32$3 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$2 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$1 << i64toi32_i32$4 | 0) | 0;
-              $40 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+              i64toi32_i32$1 = var$1$hi;
+              var$3 = var$1;
+              if ((var$3 | 0) == (0 | 0)) {
+               break label$11
+              }
+              i64toi32_i32$1 = var$1$hi;
+              i64toi32_i32$0 = var$1;
+              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) {
+               {
+                i64toi32_i32$2 = 0;
+                $38 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
+               }
+              } else {
+               {
+                i64toi32_i32$2 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
+                $38 = (((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;
+               }
+              }
+              var$4 = $38;
+              if ((var$4 | 0) == (0 | 0)) {
+               break label$9
+              }
+              var$2 = Math_clz32(var$4) - Math_clz32(var$2) | 0;
+              if (var$2 >>> 0 <= 31 >>> 0) {
+               break label$8
+              }
+              break label$2;
              }
             }
-            $63$hi = i64toi32_i32$3;
-            i64toi32_i32$3 = var$0$hi;
-            i64toi32_i32$1 = var$0;
-            i64toi32_i32$2 = 0;
-            i64toi32_i32$0 = 4294967295;
-            i64toi32_i32$2 = i64toi32_i32$3 & i64toi32_i32$2 | 0;
-            $65 = i64toi32_i32$1 & i64toi32_i32$0 | 0;
-            $65$hi = i64toi32_i32$2;
-            i64toi32_i32$2 = $63$hi;
-            i64toi32_i32$3 = $40;
-            i64toi32_i32$1 = $65$hi;
-            i64toi32_i32$0 = $65;
-            i64toi32_i32$1 = i64toi32_i32$2 | i64toi32_i32$1 | 0;
-            legalfunc$wasm2js_scratch_store_i64(i64toi32_i32$3 | i64toi32_i32$0 | 0 | 0, i64toi32_i32$1 | 0);
+            i64toi32_i32$2 = var$1$hi;
+            i64toi32_i32$1 = var$1;
+            i64toi32_i32$0 = 1;
+            i64toi32_i32$3 = 0;
+            if (i64toi32_i32$2 >>> 0 > i64toi32_i32$0 >>> 0 | ((i64toi32_i32$2 | 0) == (i64toi32_i32$0 | 0) & i64toi32_i32$1 >>> 0 >= i64toi32_i32$3 >>> 0 | 0) | 0) {
+             break label$2
+            }
+            i64toi32_i32$1 = var$0$hi;
+            var$2 = var$0;
+            i64toi32_i32$1 = var$1$hi;
+            var$3 = var$1;
+            var$2 = (var$2 >>> 0) / (var$3 >>> 0) | 0;
             i64toi32_i32$1 = 0;
-            i64toi32_i32$3 = var$2 >>> ((__wasm_ctz_i32(var$3 | 0) | 0) & 31 | 0) | 0;
+            legalfunc$wasm2js_scratch_store_i64(var$0 - Math_imul(var$2, var$3) | 0 | 0, i64toi32_i32$1 | 0);
+            i64toi32_i32$1 = 0;
+            i64toi32_i32$2 = var$2;
             i64toi32_i32$HIGH_BITS = i64toi32_i32$1;
-            return i64toi32_i32$3 | 0;
+            return i64toi32_i32$2 | 0;
+           }
+           i64toi32_i32$2 = var$1$hi;
+           i64toi32_i32$3 = var$1;
+           i64toi32_i32$1 = 0;
+           i64toi32_i32$0 = 32;
+           i64toi32_i32$4 = i64toi32_i32$0 & 31 | 0;
+           if (32 >>> 0 <= (i64toi32_i32$0 & 63 | 0) >>> 0) {
+            {
+             i64toi32_i32$1 = 0;
+             $39 = i64toi32_i32$2 >>> i64toi32_i32$4 | 0;
+            }
+           } else {
+            {
+             i64toi32_i32$1 = i64toi32_i32$2 >>> i64toi32_i32$4 | 0;
+             $39 = (((1 << i64toi32_i32$4 | 0) - 1 | 0) & i64toi32_i32$2 | 0) << (32 - i64toi32_i32$4 | 0) | 0 | (i64toi32_i32$3 >>> i64toi32_i32$4 | 0) | 0;
+            }
+           }
+           var$3 = $39;
+           i64toi32_i32$1 = var$0$hi;
+           if ((var$0 | 0) == (0 | 0)) {
+            break label$7
+           }
+           if ((var$3 | 0) == (0 | 0)) {
+            break label$6
+           }
+           var$4 = var$3 + 4294967295 | 0;
+           if (var$4 & var$3 | 0) {
+            break label$6
+           }
+           i64toi32_i32$1 = 0;
+           i64toi32_i32$2 = var$4 & var$2 | 0;
+           i64toi32_i32$3 = 0;
+           i64toi32_i32$0 = 32;
+           i64toi32_i32$4 = i64toi32_i32$0 & 31 | 0;
+           if (32 >>> 0 <= (i64toi32_i32$0 & 63 | 0) >>> 0) {
+            {
+             i64toi32_i32$3 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+             $40 = 0;
+            }
+           } else {
+            {
+             i64toi32_i32$3 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$2 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$1 << i64toi32_i32$4 | 0) | 0;
+             $40 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+            }
            }
+           $63$hi = i64toi32_i32$3;
+           i64toi32_i32$3 = var$0$hi;
+           i64toi32_i32$1 = var$0;
+           i64toi32_i32$2 = 0;
+           i64toi32_i32$0 = 4294967295;
+           i64toi32_i32$2 = i64toi32_i32$3 & i64toi32_i32$2 | 0;
+           $65 = i64toi32_i32$1 & i64toi32_i32$0 | 0;
+           $65$hi = i64toi32_i32$2;
+           i64toi32_i32$2 = $63$hi;
+           i64toi32_i32$3 = $40;
+           i64toi32_i32$1 = $65$hi;
+           i64toi32_i32$0 = $65;
+           i64toi32_i32$1 = i64toi32_i32$2 | i64toi32_i32$1 | 0;
+           legalfunc$wasm2js_scratch_store_i64(i64toi32_i32$3 | i64toi32_i32$0 | 0 | 0, i64toi32_i32$1 | 0);
+           i64toi32_i32$1 = 0;
+           i64toi32_i32$3 = var$2 >>> ((__wasm_ctz_i32(var$3 | 0) | 0) & 31 | 0) | 0;
+           i64toi32_i32$HIGH_BITS = i64toi32_i32$1;
+           return i64toi32_i32$3 | 0;
           }
           var$4 = var$3 + 4294967295 | 0;
           if ((var$4 & var$3 | 0 | 0) == (0 | 0)) {
@@ -669,7 +667,7 @@ function asmFunc(global, env, buffer) {
     var$0$hi = i64toi32_i32$2;
     label$13 : {
      if (var$2) {
-      block3 : {
+      {
        i64toi32_i32$2 = var$1$hi;
        i64toi32_i32$1 = var$1;
        i64toi32_i32$3 = 4294967295;
@@ -1344,141 +1342,139 @@ function asmFunc(global, env, buffer) {
         label$7 : {
          label$8 : {
           label$9 : {
-           label$10 : {
-            label$11 : {
-             i64toi32_i32$0 = var$0$hi;
-             i64toi32_i32$2 = var$0;
-             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) {
-              {
-               i64toi32_i32$1 = 0;
-               $37 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
-              }
-             } else {
-              {
-               i64toi32_i32$1 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
-               $37 = (((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;
-              }
-             }
-             var$2 = $37;
-             if (var$2) {
-              block : {
-               i64toi32_i32$1 = var$1$hi;
-               var$3 = var$1;
-               if ((var$3 | 0) == (0 | 0)) {
-                break label$11
-               }
-               i64toi32_i32$1 = var$1$hi;
-               i64toi32_i32$0 = var$1;
-               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) {
-                {
-                 i64toi32_i32$2 = 0;
-                 $38 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
-                }
-               } else {
-                {
-                 i64toi32_i32$2 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
-                 $38 = (((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;
-                }
-               }
-               var$4 = $38;
-               if ((var$4 | 0) == (0 | 0)) {
-                break label$9
-               }
-               var$2 = Math_clz32(var$4) - Math_clz32(var$2) | 0;
-               if (var$2 >>> 0 <= 31 >>> 0) {
-                break label$8
-               }
-               break label$2;
-              }
-             }
-             i64toi32_i32$2 = var$1$hi;
-             i64toi32_i32$1 = var$1;
-             i64toi32_i32$0 = 1;
-             i64toi32_i32$3 = 0;
-             if (i64toi32_i32$2 >>> 0 > i64toi32_i32$0 >>> 0 | ((i64toi32_i32$2 | 0) == (i64toi32_i32$0 | 0) & i64toi32_i32$1 >>> 0 >= i64toi32_i32$3 >>> 0 | 0) | 0) {
-              break label$2
-             }
-             i64toi32_i32$1 = var$0$hi;
-             var$2 = var$0;
-             i64toi32_i32$1 = var$1$hi;
-             var$3 = var$1;
-             var$2 = (var$2 >>> 0) / (var$3 >>> 0) | 0;
-             i64toi32_i32$1 = 0;
-             legalfunc$wasm2js_scratch_store_i64(var$0 - Math_imul(var$2, var$3) | 0 | 0, i64toi32_i32$1 | 0);
-             i64toi32_i32$1 = 0;
-             i64toi32_i32$2 = var$2;
-             i64toi32_i32$HIGH_BITS = i64toi32_i32$1;
-             return i64toi32_i32$2 | 0;
-            }
-            i64toi32_i32$2 = var$1$hi;
-            i64toi32_i32$3 = var$1;
+           label$11 : {
+            i64toi32_i32$0 = var$0$hi;
+            i64toi32_i32$2 = var$0;
             i64toi32_i32$1 = 0;
-            i64toi32_i32$0 = 32;
-            i64toi32_i32$4 = i64toi32_i32$0 & 31 | 0;
-            if (32 >>> 0 <= (i64toi32_i32$0 & 63 | 0) >>> 0) {
+            i64toi32_i32$3 = 32;
+            i64toi32_i32$4 = i64toi32_i32$3 & 31 | 0;
+            if (32 >>> 0 <= (i64toi32_i32$3 & 63 | 0) >>> 0) {
              {
               i64toi32_i32$1 = 0;
-              $39 = i64toi32_i32$2 >>> i64toi32_i32$4 | 0;
+              $37 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
              }
             } else {
              {
-              i64toi32_i32$1 = i64toi32_i32$2 >>> i64toi32_i32$4 | 0;
-              $39 = (((1 << i64toi32_i32$4 | 0) - 1 | 0) & i64toi32_i32$2 | 0) << (32 - i64toi32_i32$4 | 0) | 0 | (i64toi32_i32$3 >>> i64toi32_i32$4 | 0) | 0;
+              i64toi32_i32$1 = i64toi32_i32$0 >>> i64toi32_i32$4 | 0;
+              $37 = (((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;
              }
             }
-            var$3 = $39;
-            i64toi32_i32$1 = var$0$hi;
-            if ((var$0 | 0) == (0 | 0)) {
-             break label$7
-            }
-            if ((var$3 | 0) == (0 | 0)) {
-             break label$6
-            }
-            var$4 = var$3 + 4294967295 | 0;
-            if (var$4 & var$3 | 0) {
-             break label$6
-            }
-            i64toi32_i32$1 = 0;
-            i64toi32_i32$2 = var$4 & var$2 | 0;
-            i64toi32_i32$3 = 0;
-            i64toi32_i32$0 = 32;
-            i64toi32_i32$4 = i64toi32_i32$0 & 31 | 0;
-            if (32 >>> 0 <= (i64toi32_i32$0 & 63 | 0) >>> 0) {
+            var$2 = $37;
+            if (var$2) {
              {
-              i64toi32_i32$3 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
-              $40 = 0;
-             }
-            } else {
-             {
-              i64toi32_i32$3 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$2 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$1 << i64toi32_i32$4 | 0) | 0;
-              $40 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+              i64toi32_i32$1 = var$1$hi;
+              var$3 = var$1;
+              if ((var$3 | 0) == (0 | 0)) {
+               break label$11
+              }
+              i64toi32_i32$1 = var$1$hi;
+              i64toi32_i32$0 = var$1;
+              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) {
+               {
+                i64toi32_i32$2 = 0;
+                $38 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
+               }
+              } else {
+               {
+                i64toi32_i32$2 = i64toi32_i32$1 >>> i64toi32_i32$4 | 0;
+                $38 = (((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;
+               }
+              }
+              var$4 = $38;
+              if ((var$4 | 0) == (0 | 0)) {
+               break label$9
+              }
+              var$2 = Math_clz32(var$4) - Math_clz32(var$2) | 0;
+              if (var$2 >>> 0 <= 31 >>> 0) {
+               break label$8
+              }
+              break label$2;
              }
             }
-            $63$hi = i64toi32_i32$3;
-            i64toi32_i32$3 = var$0$hi;
-            i64toi32_i32$1 = var$0;
-            i64toi32_i32$2 = 0;
-            i64toi32_i32$0 = 4294967295;
-            i64toi32_i32$2 = i64toi32_i32$3 & i64toi32_i32$2 | 0;
-            $65 = i64toi32_i32$1 & i64toi32_i32$0 | 0;
-            $65$hi = i64toi32_i32$2;
-            i64toi32_i32$2 = $63$hi;
-            i64toi32_i32$3 = $40;
-            i64toi32_i32$1 = $65$hi;
-            i64toi32_i32$0 = $65;
-            i64toi32_i32$1 = i64toi32_i32$2 | i64toi32_i32$1 | 0;
-            legalfunc$wasm2js_scratch_store_i64(i64toi32_i32$3 | i64toi32_i32$0 | 0 | 0, i64toi32_i32$1 | 0);
+            i64toi32_i32$2 = var$1$hi;
+            i64toi32_i32$1 = var$1;
+            i64toi32_i32$0 = 1;
+            i64toi32_i32$3 = 0;
+            if (i64toi32_i32$2 >>> 0 > i64toi32_i32$0 >>> 0 | ((i64toi32_i32$2 | 0) == (i64toi32_i32$0 | 0) & i64toi32_i32$1 >>> 0 >= i64toi32_i32$3 >>> 0 | 0) | 0) {
+             break label$2
+            }
+            i64toi32_i32$1 = var$0$hi;
+            var$2 = var$0;
+            i64toi32_i32$1 = var$1$hi;
+            var$3 = var$1;
+            var$2 = (var$2 >>> 0) / (var$3 >>> 0) | 0;
             i64toi32_i32$1 = 0;
-            i64toi32_i32$3 = var$2 >>> ((__wasm_ctz_i32(var$3 | 0) | 0) & 31 | 0) | 0;
+            legalfunc$wasm2js_scratch_store_i64(var$0 - Math_imul(var$2, var$3) | 0 | 0, i64toi32_i32$1 | 0);
+            i64toi32_i32$1 = 0;
+            i64toi32_i32$2 = var$2;
             i64toi32_i32$HIGH_BITS = i64toi32_i32$1;
-            return i64toi32_i32$3 | 0;
+            return i64toi32_i32$2 | 0;
+           }
+           i64toi32_i32$2 = var$1$hi;
+           i64toi32_i32$3 = var$1;
+           i64toi32_i32$1 = 0;
+           i64toi32_i32$0 = 32;
+           i64toi32_i32$4 = i64toi32_i32$0 & 31 | 0;
+           if (32 >>> 0 <= (i64toi32_i32$0 & 63 | 0) >>> 0) {
+            {
+             i64toi32_i32$1 = 0;
+             $39 = i64toi32_i32$2 >>> i64toi32_i32$4 | 0;
+            }
+           } else {
+            {
+             i64toi32_i32$1 = i64toi32_i32$2 >>> i64toi32_i32$4 | 0;
+             $39 = (((1 << i64toi32_i32$4 | 0) - 1 | 0) & i64toi32_i32$2 | 0) << (32 - i64toi32_i32$4 | 0) | 0 | (i64toi32_i32$3 >>> i64toi32_i32$4 | 0) | 0;
+            }
+           }
+           var$3 = $39;
+           i64toi32_i32$1 = var$0$hi;
+           if ((var$0 | 0) == (0 | 0)) {
+            break label$7
+           }
+           if ((var$3 | 0) == (0 | 0)) {
+            break label$6
+           }
+           var$4 = var$3 + 4294967295 | 0;
+           if (var$4 & var$3 | 0) {
+            break label$6
+           }
+           i64toi32_i32$1 = 0;
+           i64toi32_i32$2 = var$4 & var$2 | 0;
+           i64toi32_i32$3 = 0;
+           i64toi32_i32$0 = 32;
+           i64toi32_i32$4 = i64toi32_i32$0 & 31 | 0;
+           if (32 >>> 0 <= (i64toi32_i32$0 & 63 | 0) >>> 0) {
+            {
+             i64toi32_i32$3 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+             $40 = 0;
+            }
+           } else {
+            {
+             i64toi32_i32$3 = ((1 << i64toi32_i32$4 | 0) - 1 | 0) & (i64toi32_i32$2 >>> (32 - i64toi32_i32$4 | 0) | 0) | 0 | (i64toi32_i32$1 << i64toi32_i32$4 | 0) | 0;
+             $40 = i64toi32_i32$2 << i64toi32_i32$4 | 0;
+            }
            }
+           $63$hi = i64toi32_i32$3;
+           i64toi32_i32$3 = var$0$hi;
+           i64toi32_i32$1 = var$0;
+           i64toi32_i32$2 = 0;
+           i64toi32_i32$0 = 4294967295;
+           i64toi32_i32$2 = i64toi32_i32$3 & i64toi32_i32$2 | 0;
+           $65 = i64toi32_i32$1 & i64toi32_i32$0 | 0;
+           $65$hi = i64toi32_i32$2;
+           i64toi32_i32$2 = $63$hi;
+           i64toi32_i32$3 = $40;
+           i64toi32_i32$1 = $65$hi;
+           i64toi32_i32$0 = $65;
+           i64toi32_i32$1 = i64toi32_i32$2 | i64toi32_i32$1 | 0;
+           legalfunc$wasm2js_scratch_store_i64(i64toi32_i32$3 | i64toi32_i32$0 | 0 | 0, i64toi32_i32$1 | 0);
+           i64toi32_i32$1 = 0;
+           i64toi32_i32$3 = var$2 >>> ((__wasm_ctz_i32(var$3 | 0) | 0) & 31 | 0) | 0;
+           i64toi32_i32$HIGH_BITS = i64toi32_i32$1;
+           return i64toi32_i32$3 | 0;
           }
           var$4 = var$3 + 4294967295 | 0;
           if ((var$4 & var$3 | 0 | 0) == (0 | 0)) {
@@ -1597,7 +1593,7 @@ function asmFunc(global, env, buffer) {
     var$0$hi = i64toi32_i32$2;
     label$13 : {
      if (var$2) {
-      block3 : {
+      {
        i64toi32_i32$2 = var$1$hi;
        i64toi32_i32$1 = var$1;
        i64toi32_i32$3 = 4294967295;