blocks must mark as branching in effects analyzer, as control flow can join there if the end of the block was branched to

1 files changed, 10 insertions, 9 deletions

diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index 343ab13a6..fc4418930 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -297,9 +297,9 @@
     )
   )
   (func $_frexp (param $$x f64) (param $$e i32) (result f64)
+    (local $$retval$0 f64)
     (local $$x$addr$0 f64)
     (local $$storemerge i32)
-    (local $$retval$0 f64)
     (local $$1 i32)
     (local $$0 i32)
     (local $$sub8 i32)
@@ -461,19 +461,20 @@
           )
           (get_local $$6)
         )
-      )
-    )
-    (return
-      (set_local $$retval$0
-        (set_local $$7
-          (f64.load
-            (i32.load
-              (i32.const 24)
+        (set_local $$retval$0
+          (set_local $$7
+            (f64.load
+              (i32.load
+                (i32.const 24)
+              )
             )
           )
         )
       )
     )
+    (return
+      (get_local $$retval$0)
+    )
   )
   (func $_frexpl (param $$x f64) (param $$e i32) (result f64)
     (local $sp i32)