Searched refs:SplitRHS (Results 1 – 1 of 1) sorted by relevance
9075 auto SplitRHS = SplitIntoInitAndPostInc(MDL, RHS); in isKnownViaInduction() local9077 if (SplitRHS.first == getCouldNotCompute()) in isKnownViaInduction()9079 assert (SplitRHS.second != getCouldNotCompute() && "Unexpected CNC"); in isKnownViaInduction()9084 !isAvailableAtLoopEntry(SplitRHS.first, MDL)) in isKnownViaInduction()9087 return isLoopEntryGuardedByCond(MDL, Pred, SplitLHS.first, SplitRHS.first) && in isKnownViaInduction()9089 SplitRHS.second); in isKnownViaInduction()