11791   const SCEVAddRecExpr *RAR = dyn_cast<SCEVAddRecExpr>(RHS);  in isImpliedViaMerge()  local
11810   } else if (RAR && RAR->getLoop()->getHeader() == LBB) {  in isImpliedViaMerge()
11818     auto *RLoop = RAR->getLoop();  in isImpliedViaMerge()
11822     if (!ProvedEasily(L1, RAR->getStart()))  in isImpliedViaMerge()
11827     if (!ProvedEasily(L2, RAR->getPostIncExpr(*this)))  in isImpliedViaMerge()
11938   const SCEVAddRecExpr *RAR = dyn_cast<SCEVAddRecExpr>(RHS);  in IsKnownPredicateViaAddRecStart()  local
11939   if (!RAR)  in IsKnownPredicateViaAddRecStart()
11941   if (LAR->getLoop() != RAR->getLoop())  in IsKnownPredicateViaAddRecStart()
11943   if (!LAR->isAffine() || !RAR->isAffine())  in IsKnownPredicateViaAddRecStart()
11946   if (LAR->getStepRecurrence(SE) != RAR->getStepRecurrence(SE))  in IsKnownPredicateViaAddRecStart()
11951   if (!LAR->getNoWrapFlags(NW) || !RAR->getNoWrapFlags(NW))  in IsKnownPredicateViaAddRecStart()
11954   return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart());  in IsKnownPredicateViaAddRecStart()