12102   const SCEVAddRecExpr *RAR = dyn_cast<SCEVAddRecExpr>(RHS);  in isImpliedViaMerge()  local
12121   } else if (RAR && RAR->getLoop()->getHeader() == LBB) {  in isImpliedViaMerge()
12129     auto *RLoop = RAR->getLoop();  in isImpliedViaMerge()
12133     if (!ProvedEasily(L1, RAR->getStart()))  in isImpliedViaMerge()
12138     if (!ProvedEasily(L2, RAR->getPostIncExpr(*this)))  in isImpliedViaMerge()
12249   const SCEVAddRecExpr *RAR = dyn_cast<SCEVAddRecExpr>(RHS);  in IsKnownPredicateViaAddRecStart()  local
12250   if (!RAR)  in IsKnownPredicateViaAddRecStart()
12252   if (LAR->getLoop() != RAR->getLoop())  in IsKnownPredicateViaAddRecStart()
12254   if (!LAR->isAffine() || !RAR->isAffine())  in IsKnownPredicateViaAddRecStart()
12257   if (LAR->getStepRecurrence(SE) != RAR->getStepRecurrence(SE))  in IsKnownPredicateViaAddRecStart()
12262   if (!LAR->getNoWrapFlags(NW) || !RAR->getNoWrapFlags(NW))  in IsKnownPredicateViaAddRecStart()
12265   return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart());  in IsKnownPredicateViaAddRecStart()