Searched refs:isKnownPredicateAt (Results 1 – 5 of 5) sorted by relevance
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | IndVarSimplify.cpp | 1267 if (SE->isKnownPredicateAt(ICmpInst::ICMP_ULE, MaxIter, MaxAllowedIter, BI)) in createReplacement()
1292 if (SE->isKnownPredicateAt(LIP->Pred, LIP->LHS, LIP->RHS, BI)) in createReplacement()
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | LowerMemIntrinsics.cpp | 874 if (SE->isKnownPredicateAt(CmpInst::ICMP_NE, SrcSCEV, DestSCEV, Memcpy)) in canOverlap()
|
| H A D | SimplifyIndVar.cpp | 1759 bool ProvedSubNUW = SE->isKnownPredicateAt(ICmpInst::ICMP_UGE, LHS, in widenWithVariantUse()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | ScalarEvolution.h | 1124 LLVM_ABI bool isKnownPredicateAt(CmpPredicate Pred, const SCEV *LHS,
|
| /freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | ScalarEvolution.cpp | 2369 return isKnownPredicateAt(Pred, getConstant(Limit), LHS, CtxI); in willNotOverflow()
2375 return isKnownPredicateAt(Pred, LHS, getConstant(Limit), CtxI); in willNotOverflow()
11111 bool ScalarEvolution::isKnownPredicateAt(CmpPredicate Pred, const SCEV *LHS, in isKnownPredicateAt() function in ScalarEvolution
11281 isKnownPredicateAt(SignFlippedPred, ArLHS, RHS, CtxI)) in getLoopInvariantPredicate()
11367 if (!isKnownPredicateAt(NoOverflowPred, Start, Last, CtxI)) in getLoopInvariantExitCondDuringFirstIterationsImpl()
|