Index: llvm/include/llvm/Analysis/LoopInfo.h =================================================================== --- llvm/include/llvm/Analysis/LoopInfo.h +++ llvm/include/llvm/Analysis/LoopInfo.h @@ -589,6 +589,9 @@ /// PHINode *getCanonicalInductionVariable() const; + /// Get the latch condition instruction. + ICmpInst *getLatchCmpInst() const; + /// Obtain the unique incoming and back edge. Return false if they are /// non-unique or the loop is dead; otherwise, return true. bool getIncomingAndBackEdge(BasicBlock *&Incoming, Index: llvm/lib/Analysis/LoopInfo.cpp =================================================================== --- llvm/lib/Analysis/LoopInfo.cpp +++ llvm/lib/Analysis/LoopInfo.cpp @@ -171,8 +171,8 @@ } /// Get the latch condition instruction. -static ICmpInst *getLatchCmpInst(const Loop &L) { - if (BasicBlock *Latch = L.getLoopLatch()) +ICmpInst *Loop::getLatchCmpInst() const { + if (BasicBlock *Latch = this->getLoopLatch()) if (BranchInst *BI = dyn_cast_or_null(Latch->getTerminator())) if (BI->isConditional()) return dyn_cast(BI->getCondition()); @@ -183,7 +183,7 @@ /// Return the final value of the loop induction variable if found. static Value *findFinalIVValue(const Loop &L, const PHINode &IndVar, const Instruction &StepInst) { - ICmpInst *LatchCmpInst = getLatchCmpInst(L); + ICmpInst *LatchCmpInst = L.getLatchCmpInst(); if (!LatchCmpInst) return nullptr; @@ -297,7 +297,7 @@ BasicBlock *Header = getHeader(); assert(Header && "Expected a valid loop header"); - ICmpInst *CmpInst = getLatchCmpInst(*this); + ICmpInst *CmpInst = this->getLatchCmpInst(); if (!CmpInst) return nullptr; Index: llvm/lib/Transforms/Scalar/LoopFlatten.cpp =================================================================== --- llvm/lib/Transforms/Scalar/LoopFlatten.cpp +++ llvm/lib/Transforms/Scalar/LoopFlatten.cpp @@ -139,7 +139,7 @@ }; // Find Compare and make sure it is valid - ICmpInst *Compare = dyn_cast(BackBranch->getCondition()); + ICmpInst *Compare = L->getLatchCmpInst(); if (!Compare || !IsValidPredicate(Compare->getUnsignedPredicate()) || Compare->hasNUsesOrMore(2)) { LLVM_DEBUG(dbgs() << "Could not find valid comparison\n");