Searched refs:isKnownPredicateAt (Results 1 – 5 of 5) sorted by relevance
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
H A D | IndVarSimplify.cpp | 1291 if (SE->isKnownPredicateAt(ICmpInst::ICMP_ULE, MaxIter, MaxAllowedIter, BI)) in createReplacement() 1316 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 | 506 if (SE->isKnownPredicateAt(CmpInst::ICMP_NE, SrcSCEV, DestSCEV, Memcpy)) in canOverlap()
|
H A D | SimplifyIndVar.cpp | 1749 bool ProvedSubNUW = SE->isKnownPredicateAt(ICmpInst::ICMP_UGE, LHS, in widenWithVariantUse()
|
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/ |
H A D | ScalarEvolution.h | 1084 bool isKnownPredicateAt(ICmpInst::Predicate Pred, const SCEV *LHS,
|
/freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
H A D | ScalarEvolution.cpp | 2366 return isKnownPredicateAt(Pred, getConstant(Limit), LHS, CtxI); in willNotOverflow() 2372 return isKnownPredicateAt(Pred, LHS, getConstant(Limit), CtxI); in willNotOverflow() 10957 bool ScalarEvolution::isKnownPredicateAt(ICmpInst::Predicate Pred, in isKnownPredicateAt() function in ScalarEvolution 11129 isKnownPredicateAt(SignFlippedPred, ArLHS, RHS, CtxI)) in getLoopInvariantPredicate() 11215 if (!isKnownPredicateAt(NoOverflowPred, Start, Last, CtxI)) in getLoopInvariantExitCondDuringFirstIterationsImpl()
|