Index: lib/Analysis/ScalarEvolution.cpp =================================================================== --- lib/Analysis/ScalarEvolution.cpp +++ lib/Analysis/ScalarEvolution.cpp @@ -4092,8 +4092,7 @@ Value *BECond = nullptr; if (BasicBlock *Latch = L->getLoopLatch()) { BranchInst *BI = dyn_cast(Latch->getTerminator()); - if (BI && BI->isConditional() && - BI->getSuccessor(0) != BI->getSuccessor(1)) { + if (BI && BI->isConditional()) { BECond = BI->getCondition(); IsPosBECond = BI->getSuccessor(0) == L->getHeader(); } else {