1 files changed, 71 insertions, 110 deletions
diff --git a/test/emcc_O2_hello_world.fromasm.imprecise b/test/emcc_O2_hello_world.fromasm.imprecise
index 3db79a820..0c2914079 100644
--- a/test/emcc_O2_hello_world.fromasm.imprecise
+++ b/test/emcc_O2_hello_world.fromasm.imprecise
@@ -8302,11 +8302,6 @@
        (get_local $0)
       )
      )
-     (set_local $2
-      (i32.eqz
-       (i32.const 0)
-      )
-     )
     )
     (block
      (set_local $0
@@ -8340,16 +8335,7 @@
        )
        (loop $while-in
         (set_local $0
-         (select
-          (i32.const 0)
-          (i32.const 0)
-          (i32.gt_s
-           (i32.load offset=76
-            (get_local $2)
-           )
-           (i32.const -1)
-          )
-         )
+         (i32.const 0)
         )
         (if
          (i32.gt_u
@@ -9103,98 +9089,89 @@
   (local $1 i32)
   (local $2 i32)
   (local $3 i32)
-  (local $4 i32)
-  (set_local $3
-   (if (result i32)
-    (i32.gt_s
-     (i32.load offset=76
-      (tee_local $1
-       (i32.load
-        (i32.const 52)
-       )
-      )
+  (drop
+   (i32.load offset=76
+    (tee_local $1
+     (i32.load
+      (i32.const 52)
      )
-     (i32.const -1)
     )
-    (i32.const 0)
-    (i32.const 0)
    )
   )
-  (set_local $0
-   (block $do-once (result i32)
-    (if (result i32)
-     (i32.lt_s
-      (i32.add
-       (call $_fwrite
-        (get_local $0)
-        (call $_strlen
-         (get_local $0)
-        )
-        (i32.const 1)
-        (get_local $1)
-       )
-       (i32.const -1)
-      )
-      (i32.const 0)
-     )
-     (i32.const 1)
-     (block (result i32)
-      (if
-       (if (result i32)
-        (i32.ne
-         (i32.load8_s offset=75
+  (i32.shr_s
+   (i32.shl
+    (tee_local $0
+     (block $do-once (result i32)
+      (if (result i32)
+       (i32.lt_s
+        (i32.add
+         (call $_fwrite
+          (get_local $0)
+          (call $_strlen
+           (get_local $0)
+          )
+          (i32.const 1)
           (get_local $1)
          )
-         (i32.const 10)
+         (i32.const -1)
         )
-        (i32.lt_u
-         (tee_local $2
-          (i32.load
-           (tee_local $4
-            (i32.add
-             (get_local $1)
-             (i32.const 20)
+        (i32.const 0)
+       )
+       (i32.const 1)
+       (block (result i32)
+        (if
+         (if (result i32)
+          (i32.ne
+           (i32.load8_s offset=75
+            (get_local $1)
+           )
+           (i32.const 10)
+          )
+          (i32.lt_u
+           (tee_local $2
+            (i32.load
+             (tee_local $3
+              (i32.add
+               (get_local $1)
+               (i32.const 20)
+              )
+             )
             )
            )
+           (i32.load offset=16
+            (get_local $1)
+           )
           )
+          (i32.const 0)
          )
-         (i32.load offset=16
-          (get_local $1)
+         (block
+          (i32.store
+           (get_local $3)
+           (i32.add
+            (get_local $2)
+            (i32.const 1)
+           )
+          )
+          (i32.store8
+           (get_local $2)
+           (i32.const 10)
+          )
+          (br $do-once
+           (i32.const 0)
+          )
          )
         )
-        (i32.const 0)
-       )
-       (block
-        (i32.store
-         (get_local $4)
-         (i32.add
-          (get_local $2)
-          (i32.const 1)
+        (i32.lt_s
+         (call $___overflow
+          (get_local $1)
+          (i32.const 10)
          )
-        )
-        (i32.store8
-         (get_local $2)
-         (i32.const 10)
-        )
-        (br $do-once
          (i32.const 0)
         )
        )
       )
-      (i32.lt_s
-       (call $___overflow
-        (get_local $1)
-        (i32.const 10)
-       )
-       (i32.const 0)
-      )
      )
     )
-   )
-  )
-  (i32.shr_s
-   (i32.shl
-    (get_local $0)
     (i32.const 31)
    )
    (i32.const 31)
@@ -9356,30 +9333,14 @@
    )
   )
   (if
-   (i32.gt_s
-    (i32.load offset=76
-     (get_local $3)
-    )
-    (i32.const -1)
-   )
-   (set_local $0
-    (call $___fwritex
-     (get_local $0)
-     (get_local $4)
-     (get_local $3)
-    )
-   )
-   (set_local $0
-    (call $___fwritex
-     (get_local $0)
-     (get_local $4)
-     (get_local $3)
-    )
-   )
-  )
-  (if
    (i32.ne
-    (get_local $0)
+    (tee_local $0
+     (call $___fwritex
+      (get_local $0)
+      (get_local $4)
+      (get_local $3)
+     )
+    )
     (get_local $4)
    )
    (set_local $2