Home
last modified time | relevance | path

Searched refs:isKnownPositive (Results 1 – 16 of 16) sorted by relevance

/external/swiftshader/third_party/llvm-7.0/llvm/test/Transforms/InstCombine/
Dmin-positive.ll18 ; Range metadata doesn't work for vectors, so find another way to trigger isKnownPositive().
/external/llvm/include/llvm/Analysis/
DValueTracking.h104 bool isKnownPositive(Value *V, const DataLayout &DL, unsigned Depth = 0,
DScalarEvolution.h1456 bool isKnownPositive(const SCEV *S);
/external/swiftshader/third_party/llvm-7.0/llvm/include/llvm/Analysis/
DValueTracking.h119 bool isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth = 0,
DScalarEvolution.h833 bool isKnownPositive(const SCEV *S);
/external/swiftshader/third_party/llvm-7.0/llvm/lib/Analysis/
DLoopAccessAnalysis.cpp1374 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
1381 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
2248 if (SE->isKnownPositive(StrideMinusBETaken)) { in collectStridedAccess()
DScalarEvolution.cpp1311 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep()
1440 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend()
1751 if (isKnownPositive(Step)) { in getZeroExtendExpr()
5106 if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr))) in createAddRecFromPHI()
8823 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution
8836 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
10048 if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator)) in isImpliedViaOperations()
10190 assert(isKnownPositive(Stride) && "Positive stride expected!"); in doesIVOverflowOnLT()
10315 bool PositiveStride = isKnownPositive(Stride); in howManyLessThans()
10456 if (!isKnownPositive(Stride)) in howManyGreaterThans()
DDependenceAnalysis.cpp989 return SE->isKnownPositive(Delta); in isKnownPredicate()
1305 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest()
2100 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()
DValueTracking.cpp249 bool llvm::isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownPositive() function in llvm
/external/swiftshader/third_party/LLVM/include/llvm/Analysis/
DScalarEvolution.h793 bool isKnownPositive(const SCEV *S);
/external/llvm/lib/Analysis/
DScalarEvolution.cpp1155 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep()
1282 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend()
1537 if (isKnownPositive(Step)) { in getZeroExtendExpr()
4000 if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr))) in createAddRecFromPHI()
7559 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution
7572 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
8663 if (!isKnownPositive(Stride)) in howManyLessThans()
8738 if (!isKnownPositive(Stride)) in howManyGreaterThans()
DDependenceAnalysis.cpp974 return SE->isKnownPositive(Delta); in isKnownPredicate()
1239 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest()
2034 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()
DValueTracking.cpp186 bool llvm::isKnownPositive(Value *V, const DataLayout &DL, unsigned Depth, in isKnownPositive() function in llvm
/external/swiftshader/third_party/LLVM/lib/Analysis/
DScalarEvolution.cpp996 if (isKnownPositive(Step)) { in getZeroExtendExpr()
1045 if (SE->isKnownPositive(Step)) { in getOverflowLimitForStep()
5696 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution
5709 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
6103 } else if (isKnownPositive(Step)) { in HowManyLessThans()
/external/llvm/lib/Transforms/InstCombine/
DInstCombineCompares.cpp3274 if (isKnownPositive(A, DL)) in visitICmpInst()
3276 if (isKnownPositive(B, DL)) in visitICmpInst()
/external/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/InstCombine/
DInstCombineCompares.cpp1327 if (isKnownPositive(A, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()
1329 if (isKnownPositive(B, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()