1 files changed, 104 insertions, 112 deletions
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index e83f2b757..249892261 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -395,28 +395,29 @@
             (br $while-out$0)
           )
         )
-        (if
-          (i32.eq
-            (tee_local $2
-              (i32.add
-                (get_local $2)
-                (i32.const 1)
+        (br_if $while-in$1
+          (i32.eqz
+            (i32.eq
+              (tee_local $2
+                (i32.add
+                  (get_local $2)
+                  (i32.const 1)
+                )
               )
+              (i32.const 87)
             )
+          )
+        )
+        (block
+          (set_local $3
             (i32.const 87)
           )
-          (block
-            (set_local $3
-              (i32.const 87)
-            )
-            (set_local $1
-              (i32.const 775)
-            )
-            (set_local $0
-              (i32.const 5)
-            )
+          (set_local $1
+            (i32.const 775)
+          )
+          (set_local $0
+            (i32.const 5)
           )
-          (br $while-in$1)
         )
       )
     )
@@ -2127,7 +2128,7 @@
                 (br $label$break$L1)
               )
             )
-            (if
+            (br_if $while-in$2
               (i32.and
                 (tee_local $3
                   (i32.ne
@@ -2153,20 +2154,19 @@
                   (i32.const 0)
                 )
               )
-              (br $while-in$2)
-              (block
-                (set_local $13
-                  (get_local $2)
-                )
-                (set_local $10
-                  (get_local $0)
-                )
-                (set_local $14
-                  (get_local $3)
-                )
-                (set_local $3
-                  (i32.const 5)
-                )
+            )
+            (block
+              (set_local $13
+                (get_local $2)
+              )
+              (set_local $10
+                (get_local $0)
+              )
+              (set_local $14
+                (get_local $3)
+              )
+              (set_local $3
+                (i32.const 5)
               )
             )
           )
@@ -2291,7 +2291,7 @@
                           (i32.const 4)
                         )
                       )
-                      (if
+                      (br_if $while-in$6
                         (i32.gt_u
                           (tee_local $5
                             (i32.add
@@ -2301,19 +2301,18 @@
                           )
                           (i32.const 3)
                         )
-                        (br $while-in$6)
-                        (block
-                          (set_local $11
-                            (get_local $5)
-                          )
-                          (set_local $12
-                            (get_local $4)
-                          )
-                          (set_local $3
-                            (i32.const 11)
-                          )
-                          (br $label$break$L11)
+                      )
+                      (block
+                        (set_local $11
+                          (get_local $5)
+                        )
+                        (set_local $12
+                          (get_local $4)
+                        )
+                        (set_local $3
+                          (i32.const 11)
                         )
+                        (br $label$break$L11)
                       )
                     )
                   )
@@ -3538,7 +3537,7 @@
                           (get_local $5)
                         )
                       )
-                      (if
+                      (br_if $while-in$18
                         (i32.lt_u
                           (tee_local $5
                             (i32.add
@@ -3555,10 +3554,9 @@
                           )
                           (i32.const 10)
                         )
-                        (br $while-in$18)
-                        (br $label$break$L46
-                          (get_local $10)
-                        )
+                      )
+                      (br $label$break$L46
+                        (get_local $10)
                       )
                     )
                   )
@@ -5287,15 +5285,14 @@
                               )
                             )
                           )
-                          (if
+                          (br_if $while-in$69
                             (i32.gt_s
                               (get_local $8)
                               (i32.const 0)
                             )
-                            (br $while-in$69)
-                            (set_local $6
-                              (get_local $5)
-                            )
+                          )
+                          (set_local $6
+                            (get_local $5)
                           )
                         )
                       )
@@ -5545,7 +5542,7 @@
                               (i32.const 9)
                             )
                           )
-                          (if
+                          (br_if $do-once$82
                             (i32.lt_u
                               (tee_local $8
                                 (i32.load
@@ -5554,10 +5551,9 @@
                               )
                               (i32.const 10)
                             )
-                            (br $do-once$82)
-                            (set_local $7
-                              (i32.const 10)
-                            )
+                          )
+                          (set_local $7
+                            (i32.const 10)
                           )
                           (loop $while-in$85
                             (set_local $6
@@ -5947,25 +5943,26 @@
                                       (i32.const 1)
                                     )
                                   )
-                                  (if
-                                    (i32.lt_u
-                                      (get_local $13)
-                                      (tee_local $8
-                                        (i32.mul
-                                          (get_local $8)
-                                          (i32.const 10)
+                                  (br_if $while-in$95
+                                    (i32.eqz
+                                      (i32.lt_u
+                                        (get_local $13)
+                                        (tee_local $8
+                                          (i32.mul
+                                            (get_local $8)
+                                            (i32.const 10)
+                                          )
                                         )
                                       )
                                     )
-                                    (block
-                                      (set_local $8
-                                        (get_local $5)
-                                      )
-                                      (set_local $5
-                                        (get_local $6)
-                                      )
+                                  )
+                                  (block
+                                    (set_local $8
+                                      (get_local $5)
+                                    )
+                                    (set_local $5
+                                      (get_local $6)
                                     )
-                                    (br $while-in$95)
                                   )
                                 )
                               )
@@ -7536,19 +7533,18 @@
                               )
                             )
                           )
-                          (if
+                          (br_if $while-in$134
                             (i32.lt_u
                               (get_local $7)
                               (get_local $9)
                             )
-                            (br $while-in$134)
-                            (block
-                              (set_local $35
-                                (get_local $9)
-                              )
-                              (set_local $12
-                                (i32.const 98)
-                              )
+                          )
+                          (block
+                            (set_local $35
+                              (get_local $9)
+                            )
+                            (set_local $12
+                              (i32.const 98)
                             )
                           )
                         )
@@ -7856,7 +7852,7 @@
                     (get_local $1)
                     (get_local $2)
                   )
-                  (if
+                  (br_if $while-in$137
                     (i32.lt_s
                       (tee_local $0
                         (i32.add
@@ -7866,13 +7862,12 @@
                       )
                       (i32.const 10)
                     )
-                    (br $while-in$137)
-                    (block
-                      (set_local $22
-                        (i32.const 1)
-                      )
-                      (br $label$break$L343)
+                  )
+                  (block
+                    (set_local $22
+                      (i32.const 1)
                     )
+                    (br $label$break$L343)
                   )
                 )
               )
@@ -10480,20 +10475,19 @@
                         (br $while-in$20)
                       )
                     )
-                    (if
+                    (br_if $while-in$20
                       (tee_local $5
                         (i32.load offset=20
                           (get_local $5)
                         )
                       )
-                      (br $while-in$20)
-                      (block
-                        (set_local $13
-                          (get_local $7)
-                        )
-                        (set_local $12
-                          (get_local $1)
-                        )
+                    )
+                    (block
+                      (set_local $13
+                        (get_local $7)
+                      )
+                      (set_local $12
+                        (get_local $1)
                       )
                     )
                   )
@@ -11739,19 +11733,18 @@
                               )
                             )
                           )
-                          (if
+                          (br_if $while-in$38
                             (tee_local $1
                               (i32.load offset=8
                                 (get_local $1)
                               )
                             )
-                            (br $while-in$38)
-                            (block
-                              (set_local $9
-                                (i32.const 173)
-                              )
-                              (br $label$break$L259)
+                          )
+                          (block
+                            (set_local $9
+                              (i32.const 173)
                             )
+                            (br $label$break$L259)
                           )
                         )
                       )
@@ -12365,16 +12358,15 @@
                       (br $while-out$50)
                     )
                   )
-                  (if
+                  (br_if $while-in$51
                     (tee_local $1
                       (i32.load offset=8
                         (get_local $1)
                       )
                     )
-                    (br $while-in$51)
-                    (set_local $20
-                      (i32.const 624)
-                    )
+                  )
+                  (set_local $20
+                    (i32.const 624)
                   )
                 )
               )