Searched refs:SplitRHS (Results 1 – 1 of 1) sorted by relevance
8883 auto SplitRHS = SplitIntoInitAndPostInc(MDL, RHS); in isKnownViaInduction() local8885 if (SplitRHS.first == getCouldNotCompute()) in isKnownViaInduction()8887 assert (SplitRHS.second != getCouldNotCompute() && "Unexpected CNC"); in isKnownViaInduction()8892 !isAvailableAtLoopEntry(SplitRHS.first, MDL)) in isKnownViaInduction()8895 return isLoopEntryGuardedByCond(MDL, Pred, SplitLHS.first, SplitRHS.first) && in isKnownViaInduction()8897 SplitRHS.second); in isKnownViaInduction()