Home
last modified time | relevance | path

Searched refs:isImpliedViaMerge (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/llvm/test/Analysis/ScalarEvolution/
H A Dmerge-add-rec-many-inputs.ll3 ; Check that isImpliedViaMerge wouldn't crash when trying to prove
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DScalarEvolution.h1898 bool isImpliedViaMerge(ICmpInst::Predicate Pred,
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DScalarEvolution.cpp11736 bool ScalarEvolution::isImpliedViaMerge(ICmpInst::Predicate Pred, in isImpliedViaMerge() function in ScalarEvolution
12153 if (isImpliedViaMerge(Pred, OrigLHS, RHS, OrigFoundLHS, FoundRHS, Depth + 1)) in isImpliedViaOperations()