Home
last modified time | relevance | path

Searched refs:isKnownPredicateAt (Results 1 – 5 of 5) sorted by relevance

/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DIndVarSimplify.cpp1291 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 DLowerMemIntrinsics.cpp506 if (SE->isKnownPredicateAt(CmpInst::ICMP_NE, SrcSCEV, DestSCEV, Memcpy)) in canOverlap()
H A DSimplifyIndVar.cpp1749 bool ProvedSubNUW = SE->isKnownPredicateAt(ICmpInst::ICMP_UGE, LHS, in widenWithVariantUse()
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DScalarEvolution.h1084 bool isKnownPredicateAt(ICmpInst::Predicate Pred, const SCEV *LHS,
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DScalarEvolution.cpp2366 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()