only reuse nameless blocks in blockify in asm2wasm - if they are named, they can be broken out of, which is bad for our loop constructs

3 files changed, 101 insertions, 0 deletions

diff --git a/test/unit.asm.js b/test/unit.asm.js
index c600f714d..5bb84bdcd 100644
--- a/test/unit.asm.js
+++ b/test/unit.asm.js
@@ -55,6 +55,7 @@ function asm() {
   }
   function switcher(x) {
     x = x | 0;
+    var waka = 0;
     switch (x | 0) {
       case 1: return 1;
       case 2: return 2;
@@ -79,6 +80,32 @@ function asm() {
         break;
       }
     }
+
+    L1 : while (1) {
+     L3 : while (1) switch (x) {
+     case -1:
+      {
+       break L1;
+       break;
+      }
+     case 116:
+      {
+       waka = 1;
+       break;
+      }
+     case 110:
+      {
+       break L3;
+       break;
+      }
+     default:
+      {
+       break L1;
+      }
+     }
+     h(120);
+    }
+
     return 0;
   }
   function blocker() {
diff --git a/test/unit.fromasm b/test/unit.fromasm
index e00c6b43b..3db25c78b 100644
--- a/test/unit.fromasm
+++ b/test/unit.fromasm
@@ -177,6 +177,7 @@
     )
   )
   (func $switcher (param $x i32) (result i32)
+    (local $waka i32)
     (block $switch-default$3
       (block $switch-case$2
         (block $switch-case$1
@@ -243,6 +244,42 @@
         (br $label$break$Lout)
       )
     )
+    (loop $label$break$L1 $label$continue$L1
+      (loop $label$break$L3 $label$continue$L3
+        (block $switch$17
+          (block $switch-default$21
+            (block $switch-default$21
+              (block $switch-case$20
+                (block $switch-case$19
+                  (block $switch-case$18
+                    (br_table $switch-case$18 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-case$20 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-case$19 $switch-default$21
+                      (i32.sub
+                        (get_local $x)
+                        (i32.const -1)
+                      )
+                    )
+                  )
+                  (br $label$break$L1)
+                  (br $switch$17)
+                )
+                (set_local $waka
+                  (i32.const 1)
+                )
+                (br $switch$17)
+              )
+              (br $label$break$L3)
+              (br $switch$17)
+            )
+            (br $label$break$L1)
+          )
+        )
+        (br $label$continue$L3)
+      )
+      (call_import $h
+        (i32.const 120)
+      )
+      (br $label$continue$L1)
+    )
     (return
       (i32.const 0)
     )
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 9bfa1789c..ef9ccaa5d 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -173,6 +173,7 @@
     )
   )
   (func $switcher (param $x i32) (result i32)
+    (local $waka i32)
     (block $switch-default$3
       (block $switch-case$2
         (block $switch-case$1
@@ -239,6 +240,42 @@
         (br $label$break$Lout)
       )
     )
+    (loop $label$break$L1 $label$continue$L1
+      (loop $label$break$L3 $label$continue$L3
+        (block $switch$17
+          (block $switch-default$21
+            (block $switch-default$21
+              (block $switch-case$20
+                (block $switch-case$19
+                  (block $switch-case$18
+                    (br_table $switch-case$18 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-case$20 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-default$21 $switch-case$19 $switch-default$21
+                      (i32.sub
+                        (get_local $x)
+                        (i32.const -1)
+                      )
+                    )
+                  )
+                  (br $label$break$L1)
+                  (br $switch$17)
+                )
+                (set_local $waka
+                  (i32.const 1)
+                )
+                (br $switch$17)
+              )
+              (br $label$break$L3)
+              (br $switch$17)
+            )
+            (br $label$break$L1)
+          )
+        )
+        (br $label$continue$L3)
+      )
+      (call_import $h
+        (i32.const 120)
+      )
+      (br $label$continue$L1)
+    )
     (return
       (i32.const 0)
     )