SimplifyGlobals: Connect adjacent blocks in LinearExecutionWalker (#5865)

Followup to #5860, this does the same for SimplifyGlobals as for SimplifyLocals.

As there, this is valid because it's ok if we branch away. This part of the pass
applies a global value to a global.get based on a dominating global.set, so any
dominance is good enough for us.

1 files changed, 5 insertions, 0 deletions

diff --git a/src/passes/SimplifyGlobals.cpp b/src/passes/SimplifyGlobals.cpp
index 97e91bbab..398a6c3ca 100644
--- a/src/passes/SimplifyGlobals.cpp
+++ b/src/passes/SimplifyGlobals.cpp
@@ -341,6 +341,11 @@ struct ConstantGlobalApplier
     return std::make_unique<ConstantGlobalApplier>(constantGlobals, optimize);
   }
 
+  // It is ok to look at adjacent blocks together, as if a later part of a block
+  // is not reached that is fine - changes we make there would not be reached in
+  // that case.
+  bool connectAdjacentBlocks = true;
+
   bool refinalize = false;
 
   void replaceCurrent(Expression* rep) {