| /external/llvm-project/llvm/test/Transforms/InstCombine/ |
| D | min-positive.ll | 18 ; Range metadata doesn't work for vectors, so find another way to trigger isKnownPositive().
|
| /external/llvm/include/llvm/Analysis/ |
| D | ValueTracking.h | 104 bool isKnownPositive(Value *V, const DataLayout &DL, unsigned Depth = 0,
|
| D | ScalarEvolution.h | 1456 bool isKnownPositive(const SCEV *S);
|
| /external/swiftshader/third_party/llvm-10.0/llvm/include/llvm/Analysis/ |
| D | ValueTracking.h | 126 bool isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth = 0,
|
| D | ScalarEvolution.h | 851 bool isKnownPositive(const SCEV *S);
|
| /external/llvm-project/llvm/include/llvm/Analysis/ |
| D | ValueTracking.h | 155 bool isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth = 0,
|
| D | ScalarEvolution.h | 885 bool isKnownPositive(const SCEV *S);
|
| /external/llvm-project/llvm/lib/Analysis/ |
| D | LoopAccessAnalysis.cpp | 1419 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
1426 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
2194 if (SE->isKnownPositive(StrideMinusBETaken)) { in collectStridedAccess()
|
| D | LoopInfo.cpp | 277 if (SE.isKnownPositive(StepRecur)) in getDirection()
|
| D | ScalarEvolution.cpp | 1241 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep()
1370 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend()
4521 if (isKnownPositive(Step)) { in proveNoUnsignedWrapViaInduction()
5175 if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr))) in createAddRecFromPHI()
6049 if (isKnownPositive(Step) && in getRangeForAffineNoSelfWrappingAR()
8483 isKnownPositive(BackedgeTakenCount) && in computeSCEVAtScope()
9409 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution
9422 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
10827 if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator)) in isImpliedViaOperations()
11002 assert(isKnownPositive(Stride) && "Positive stride expected!"); in doesIVOverflowOnLT()
[all …]
|
| D | DependenceAnalysis.cpp | 1002 return SE->isKnownPositive(Delta); in isKnownPredicate()
1318 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest()
2100 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()
|
| D | ValueTracking.cpp | 333 bool llvm::isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownPositive() function in llvm
|
| /external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/ |
| D | LoopAccessAnalysis.cpp | 1393 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
1400 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
2332 if (SE->isKnownPositive(StrideMinusBETaken)) { in collectStridedAccess()
|
| D | LoopInfo.cpp | 276 if (SE.isKnownPositive(StepRecur)) in getDirection()
|
| D | ScalarEvolution.cpp | 1356 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep()
1485 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend()
1796 if (isKnownPositive(Step)) { in getZeroExtendExpr()
5110 if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr))) in createAddRecFromPHI()
8245 isKnownPositive(BackedgeTakenCount) && in computeSCEVAtScope()
9157 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution
9170 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
10369 if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator)) in isImpliedViaOperations()
10544 assert(isKnownPositive(Stride) && "Positive stride expected!"); in doesIVOverflowOnLT()
10669 bool PositiveStride = isKnownPositive(Stride); in howManyLessThans()
[all …]
|
| D | DependenceAnalysis.cpp | 1000 return SE->isKnownPositive(Delta); in isKnownPredicate()
1316 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest()
2111 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()
|
| D | ValueTracking.cpp | 256 bool llvm::isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownPositive() function in llvm
|
| /external/llvm/lib/Analysis/ |
| D | ScalarEvolution.cpp | 1155 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()
|
| D | DependenceAnalysis.cpp | 974 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()
|
| D | ValueTracking.cpp | 186 bool llvm::isKnownPositive(Value *V, const DataLayout &DL, unsigned Depth, in isKnownPositive() function in llvm
|
| /external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Scalar/ |
| D | LoopFuse.cpp | 849 bool Pos = SE.isKnownPositive(Expr->getStepRecurrence(SE)); in visitAddRecExpr()
|
| /external/llvm-project/llvm/lib/Transforms/Scalar/ |
| D | LoopFuse.cpp | 1030 bool Pos = SE.isKnownPositive(Expr->getStepRecurrence(SE)); in visitAddRecExpr()
|
| /external/llvm/lib/Transforms/InstCombine/ |
| D | InstCombineCompares.cpp | 3274 if (isKnownPositive(A, DL)) in visitICmpInst()
3276 if (isKnownPositive(B, DL)) in visitICmpInst()
|
| /external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/InstCombine/ |
| D | InstCombineCompares.cpp | 1402 if (isKnownPositive(A, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()
1404 if (isKnownPositive(B, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()
|
| /external/llvm-project/llvm/lib/Transforms/InstCombine/ |
| D | InstCombineCompares.cpp | 1405 if (isKnownPositive(A, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()
1407 if (isKnownPositive(B, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()
|