Searched refs:isImpliedViaMerge (Results 1 – 3 of 3) sorted by relevance
3 ; Check that isImpliedViaMerge wouldn't crash when trying to prove
1692 bool isImpliedViaMerge(ICmpInst::Predicate Pred,
9719 bool ScalarEvolution::isImpliedViaMerge(ICmpInst::Predicate Pred, in isImpliedViaMerge() function in ScalarEvolution10093 if (isImpliedViaMerge(Pred, OrigLHS, RHS, OrigFoundLHS, FoundRHS, Depth + 1)) in isImpliedViaOperations()