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