Remove redundant instructions in Flatten (#2524)

When the expression type is none, it does not seem to be necessary to
make it a prelude and insert a nop. This also results in unnecessary
blocks that contains an expression with a nop, which can be reduced to
just the expression. This also adds some newlines to improve
readability.

1 files changed, 34 insertions, 55 deletions

diff --git a/test/passes/asyncify_pass-arg=asyncify-whitelist@foo,bar.txt b/test/passes/asyncify_pass-arg=asyncify-whitelist@foo,bar.txt
index 27f728dc7..d8512cd7e 100644
--- a/test/passes/asyncify_pass-arg=asyncify-whitelist@foo,bar.txt
+++ b/test/passes/asyncify_pass-arg=asyncify-whitelist@foo,bar.txt
@@ -47,38 +47,29 @@
         )
        )
       )
-      (block
-       (if
-        (if (result i32)
+      (if
+       (if (result i32)
+        (i32.eq
+         (global.get $__asyncify_state)
+         (i32.const 0)
+        )
+        (i32.const 1)
+        (i32.eq
+         (local.get $1)
+         (i32.const 0)
+        )
+       )
+       (block
+        (call $import)
+        (if
          (i32.eq
           (global.get $__asyncify_state)
-          (i32.const 0)
+          (i32.const 1)
          )
-         (i32.const 1)
-         (i32.eq
-          (local.get $1)
+         (br $__asyncify_unwind
           (i32.const 0)
          )
         )
-        (block
-         (call $import)
-         (if
-          (i32.eq
-           (global.get $__asyncify_state)
-           (i32.const 1)
-          )
-          (br $__asyncify_unwind
-           (i32.const 0)
-          )
-         )
-        )
-       )
-       (if
-        (i32.eq
-         (global.get $__asyncify_state)
-         (i32.const 0)
-        )
-        (nop)
        )
       )
      )
@@ -143,38 +134,29 @@
         )
        )
       )
-      (block
-       (if
-        (if (result i32)
+      (if
+       (if (result i32)
+        (i32.eq
+         (global.get $__asyncify_state)
+         (i32.const 0)
+        )
+        (i32.const 1)
+        (i32.eq
+         (local.get $1)
+         (i32.const 0)
+        )
+       )
+       (block
+        (call $import)
+        (if
          (i32.eq
           (global.get $__asyncify_state)
-          (i32.const 0)
+          (i32.const 1)
          )
-         (i32.const 1)
-         (i32.eq
-          (local.get $1)
+         (br $__asyncify_unwind
           (i32.const 0)
          )
         )
-        (block
-         (call $import)
-         (if
-          (i32.eq
-           (global.get $__asyncify_state)
-           (i32.const 1)
-          )
-          (br $__asyncify_unwind
-           (i32.const 0)
-          )
-         )
-        )
-       )
-       (if
-        (i32.eq
-         (global.get $__asyncify_state)
-         (i32.const 0)
-        )
-        (nop)
        )
       )
      )
@@ -203,15 +185,12 @@
  )
  (func $baz (; 3 ;)
   (call $import)
-  (nop)
  )
  (func $other1 (; 4 ;)
   (call $foo)
-  (nop)
  )
  (func $other2 (; 5 ;)
   (call $baz)
-  (nop)
  )
  (func $asyncify_start_unwind (; 6 ;) (param $0 i32)
   (global.set $__asyncify_state