[Polly] Break early when the result is known. NFC.
GitOrigin-RevId: e8c8407aca7c6c5778cb969fef89ffaa212d6de5
diff --git a/lib/Support/ScopHelper.cpp b/lib/Support/ScopHelper.cpp
index efb3b9a..5d29fe8 100644
--- a/lib/Support/ScopHelper.cpp
+++ b/lib/Support/ScopHelper.cpp
@@ -428,13 +428,19 @@
// as their execution can not be a rare event.
bool DominatesAllPredecessors = true;
if (R.isTopLevelRegion()) {
- for (BasicBlock &I : *R.getEntry()->getParent())
- if (isa<ReturnInst>(I.getTerminator()) && !DT.dominates(&BB, &I))
+ for (BasicBlock &I : *R.getEntry()->getParent()) {
+ if (isa<ReturnInst>(I.getTerminator()) && !DT.dominates(&BB, &I)) {
DominatesAllPredecessors = false;
+ break;
+ }
+ }
} else {
- for (auto Pred : predecessors(R.getExit()))
- if (R.contains(Pred) && !DT.dominates(&BB, Pred))
+ for (auto Pred : predecessors(R.getExit())) {
+ if (R.contains(Pred) && !DT.dominates(&BB, Pred)) {
DominatesAllPredecessors = false;
+ break;
+ }
+ }
}
if (DominatesAllPredecessors)