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