Lines Matching defs:RAR

12353   const SCEVAddRecExpr *RAR = dyn_cast<SCEVAddRecExpr>(RHS);
12372   } else if (RAR && RAR->getLoop()->getHeader() == LBB) {
12380     auto *RLoop = RAR->getLoop();
12384     if (!ProvedEasily(L1, RAR->getStart()))
12389     if (!ProvedEasily(L2, RAR->getPostIncExpr(*this)))
12500   const SCEVAddRecExpr *RAR = dyn_cast<SCEVAddRecExpr>(RHS);
12501   if (!RAR)
12503   if (LAR->getLoop() != RAR->getLoop())
12505   if (!LAR->isAffine() || !RAR->isAffine())
12508   if (LAR->getStepRecurrence(SE) != RAR->getStepRecurrence(SE))
12513   if (!LAR->getNoWrapFlags(NW) || !RAR->getNoWrapFlags(NW))
12516   return SE.isKnownPredicate(Pred, LAR->getStart(), RAR->getStart());