Searched refs:isKnownPredicateAt (Results 1 – 5 of 5) sorted by relevance
| /openbsd-src/gnu/llvm/llvm/lib/Transforms/Utils/ |
| H A D | LowerMemIntrinsics.cpp | 518 if (SE->isKnownPredicateAt(CmpInst::ICMP_NE, SrcSCEV, DestSCEV, Memcpy)) in canOverlap()
|
| H A D | SimplifyIndVar.cpp | 1605 bool ProvedSubNUW = SE->isKnownPredicateAt(ICmpInst::ICMP_UGE, LHS, in widenWithVariantUse()
|
| /openbsd-src/gnu/llvm/llvm/lib/Transforms/Scalar/ |
| H A D | IndVarSimplify.cpp | 1401 if (SE->isKnownPredicateAt(ICmpInst::ICMP_ULE, MaxIter, MaxAllowedIter, BI)) in createReplacement()
1426 if (SE->isKnownPredicateAt(LIP->Pred, LIP->LHS, LIP->RHS, BI)) in createReplacement()
|
| /openbsd-src/gnu/llvm/llvm/include/llvm/Analysis/ |
| H A D | ScalarEvolution.h | 1062 bool isKnownPredicateAt(ICmpInst::Predicate Pred, const SCEV *LHS,
|
| /openbsd-src/gnu/llvm/llvm/lib/Analysis/ |
| H A D | ScalarEvolution.cpp | 2398 return isKnownPredicateAt(Pred, LHS, getConstant(Limit), CtxI); in willNotOverflow()
10929 bool ScalarEvolution::isKnownPredicateAt(ICmpInst::Predicate Pred, in isKnownPredicateAt() function in ScalarEvolution
11102 isKnownPredicateAt(SignFlippedPred, ArLHS, RHS, CtxI)) in getLoopInvariantPredicate()
11188 if (!isKnownPredicateAt(NoOverflowPred, Start, Last, CtxI)) in getLoopInvariantExitCondDuringFirstIterationsImpl()
|