Searched refs:ProvedEasily (Results 1 – 1 of 1) sorted by relevance
9776 auto ProvedEasily = [&](const SCEV *S1, const SCEV *S2) { in isImpliedViaMerge() local9790 if (!ProvedEasily(L, R)) in isImpliedViaMerge()9805 if (!ProvedEasily(L1, RAR->getStart())) in isImpliedViaMerge()9810 if (!ProvedEasily(L2, RAR->getPostIncExpr(*this))) in isImpliedViaMerge()9822 if (!ProvedEasily(L, RHS)) in isImpliedViaMerge()