keep looking unless there is no path

dotnet · Aug 3, 2022 · 9e5e422 · 9e5e422
1 parent d1c9af3
commit 9e5e422
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/src/coreclr/jit/redundantbranchopts.cpp b/src/coreclr/jit/redundantbranchopts.cpp
@@ -559,7 +559,7 @@ bool Compiler::optRedundantBranch(BasicBlock* const block)
                         relopValue = relopIsFalse ? 0 : 1;
                         break;
                     }
-                    else
+                    else if (!falseReaches && !trueReaches)
                     {
                         // No apparent path from the dominating BB.
                         //
@@ -572,8 +572,15 @@ bool Compiler::optRedundantBranch(BasicBlock* const block)
                         //
                         // No point in looking further up the tree.
                         //
+                        JITDUMP("inference failed -- no apparent path, will stop looking\n");
                         break;
                     }
+                    else
+                    {
+                        // Keep looking up the dom tree
+                        //
+                        JITDUMP("inference failed -- will keep looking higher\n");
+                    }
                 }
             }
         }