fix invalidation logic in SimplifyLocals, visit each node as we hit it, do not walk it to look for invalidating elements that are children, we already saw them

2 files changed, 18 insertions, 20 deletions

diff --git a/test/emcc_hello_world.fromasm b/test/emcc_hello_world.fromasm
index be7a45cec..6c877aa3b 100644
--- a/test/emcc_hello_world.fromasm
+++ b/test/emcc_hello_world.fromasm
@@ -299,9 +299,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)
@@ -463,20 +463,19 @@
           )
           (get_local $$6)
         )
-        (set_local $$retval$0
-          (set_local $$7
-            (f64.load
-              (i32.load
-                (i32.const 24)
-              )
+      )
+    )
+    (return
+      (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)
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index fc4418930..343ab13a6 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,20 +461,19 @@
           )
           (get_local $$6)
         )
-        (set_local $$retval$0
-          (set_local $$7
-            (f64.load
-              (i32.load
-                (i32.const 24)
-              )
+      )
+    )
+    (return
+      (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)