Index: llvm/trunk/lib/Analysis/ScalarEvolution.cpp =================================================================== --- llvm/trunk/lib/Analysis/ScalarEvolution.cpp +++ llvm/trunk/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 {