clear sinkables on unoptimizable blocks, as they have a control flow merge

1 files changed, 10 insertions, 6 deletions

diff --git a/src/passes/SimplifyLocals.cpp b/src/passes/SimplifyLocals.cpp
index dfefd515d..fbd1e7e57 100644
--- a/src/passes/SimplifyLocals.cpp
+++ b/src/passes/SimplifyLocals.cpp
@@ -162,12 +162,16 @@ struct SimplifyLocals : public WalkerPass<LinearExecutionWalker<SimplifyLocals,
 
     // post-block cleanups
     if (curr->name.is()) {
-      unoptimizableBlocks.erase(curr->name);
-    }
-    if (hasBreaks) {
-      // more than one path to here, so nonlinear
-      sinkables.clear();
-      blockBreaks.erase(curr->name);
+      if (unoptimizableBlocks.count(curr->name)) {
+        sinkables.clear();
+        unoptimizableBlocks.erase(curr->name);
+      }
+
+      if (hasBreaks) {
+        // more than one path to here, so nonlinear
+        sinkables.clear();
+        blockBreaks.erase(curr->name);
+      }
     }
   }