Merge pull request #648 from WebAssembly/relooper-opts

Relooper improvements

1 files changed, 29 insertions, 34 deletions

diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 1ee3b88ea..f80f4ce6c 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -133,56 +133,51 @@
         (i32.const 51)
       )
     )
-    (block $label$break$Lout
-      (block $switch-default$16
-        (block $switch-case$15
-          (block $switch-case$12
-            (block $switch-case$9
-              (block $switch-case$8
-                (br_table $switch-case$15 $switch-default$16 $switch-default$16 $switch-case$12 $switch-default$16 $switch-default$16 $switch-default$16 $switch-default$16 $switch-case$9 $switch-default$16 $switch-case$8 $switch-default$16
-                  (i32.sub
-                    (get_local $0)
-                    (i32.const 2)
-                  )
+    (block $switch-default$16
+      (block $switch-case$15
+        (block $switch-case$12
+          (block $switch-case$9
+            (block $switch-case$8
+              (br_table $switch-case$15 $switch-default$16 $switch-default$16 $switch-case$12 $switch-default$16 $switch-default$16 $switch-default$16 $switch-default$16 $switch-case$9 $switch-default$16 $switch-case$8 $switch-default$16
+                (i32.sub
+                  (get_local $0)
+                  (i32.const 2)
                 )
               )
-              (br $label$break$Lout)
             )
-            (br $label$break$Lout)
-          )
-          (loop $while-out$10 $while-in$11
-            (br $while-out$10)
+            (br $switch-default$16)
           )
-          (br $label$break$Lout)
+          (br $switch-default$16)
         )
-        (loop $while-out$13 $while-in$14
-          (br $label$break$Lout)
+        (block $while-out$10
         )
+        (br $switch-default$16)
+      )
+      (loop
+        (br $switch-default$16)
       )
     )
     (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 $0)
-                        (i32.const -1)
-                      )
+            (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 $0)
+                      (i32.const -1)
                     )
                   )
-                  (br $label$break$L1)
                 )
-                (br $switch$17)
+                (br $label$break$L1)
               )
-              (br $label$break$L3)
+              (br $switch$17)
             )
-            (br $label$break$L1)
+            (br $label$break$L3)
           )
+          (br $label$break$L1)
         )
         (br $label$continue$L3)
       )
@@ -316,11 +311,11 @@
     )
   )
   (func $continues
-    (loop $while-out$0 $while-in$1
+    (loop $while-in$1
       (call_import $print
         (i32.const 1)
       )
-      (loop $do-once$2 $unlikely-continue$3
+      (loop $unlikely-continue$3
         (call_import $print
           (i32.const 5)
         )