Searched refs:isKnownNonNegative (Results 1 – 12 of 12) sorted by relevance
| /external/swiftshader/third_party/LLVM/lib/Transforms/Utils/ |
| D | SimplifyIndVar.cpp | 207 if ((!IsSigned || SE->isKnownNonNegative(S)) && in eliminateIVRemainder()
215 if (IsSigned && !SE->isKnownNonNegative(LessOne)) in eliminateIVRemainder()
|
| /external/llvm/lib/Transforms/Scalar/ |
| D | NaryReassociate.cpp | 342 if (isKnownNonNegative(ZExt->getOperand(0), *DL, 0, AC, GEP, DT)) in tryReassociateGEPAtIndex()
379 if (isKnownNonNegative(LHS, *DL, 0, AC, GEP, DT) && in tryReassociateGEPAtIndex()
|
| D | GuardWidening.cpp | 511 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
|
| D | InductiveRangeCheckElimination.cpp | 264 SE.isKnownNonNegative(S); in parseRangeCheckICmp()
|
| /external/llvm/lib/Transforms/Utils/ |
| D | SimplifyIndVar.cpp | 288 if ((!IsSigned || SE->isKnownNonNegative(S)) && in eliminateIVRemainder()
295 if (IsSigned && !SE->isKnownNonNegative(LessOne)) in eliminateIVRemainder()
|
| /external/llvm/include/llvm/Analysis/ |
| D | ValueTracking.h | 97 bool isKnownNonNegative(Value *V, const DataLayout &DL, unsigned Depth = 0,
|
| D | ScalarEvolution.h | 1460 bool isKnownNonNegative(const SCEV *S);
|
| /external/llvm/lib/Analysis/ |
| D | DependenceAnalysis.cpp | 970 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1090 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1092 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff); in strongSIVtest()
1151 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1153 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff); in strongSIVtest()
1977 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
1978 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
2020 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
3139 if (!SE->isKnownNonNegative(Level.Distance)) // if may be negative in updateDirection()
|
| D | ValueTracking.cpp | 178 bool llvm::isKnownNonNegative(Value *V, const DataLayout &DL, unsigned Depth, in isKnownNonNegative() function in llvm
194 return isKnownNonNegative(V, DL, Depth, AC, CxtI, DT) && in isKnownPositive()
323 bool isKnownNonNegative = false; in computeKnownBitsMul() local
328 isKnownNonNegative = true; in computeKnownBitsMul()
335 isKnownNonNegative = (isKnownNegativeOp1 && isKnownNegativeOp0) || in computeKnownBitsMul()
339 if (!isKnownNonNegative) in computeKnownBitsMul()
368 if (isKnownNonNegative && !KnownOne.isNegative()) in computeKnownBitsMul()
|
| D | ScalarEvolution.cpp | 1815 if (isKnownNonNegative(Op)) in getSignExtendExpr()
1988 return SE->isKnownNonNegative(S); in StrengthenNoWrapFlags()
3493 if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) { in getMinusSCEV()
4529 if (!isKnownNonNegative(AddRec->getOperand(i))) AllNonNeg = false; in getRange()
7563 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) { in isKnownNonNegative() function in ScalarEvolution
7672 if (isKnownNonNegative(Step)) { in isMonotonicPredicateImpl()
7844 return isKnownNonNegative(RHS) && in isKnownPredicateViaSplitting()
8146 isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) in isImpliedCond()
|
| /external/swiftshader/third_party/LLVM/include/llvm/Analysis/ |
| D | ScalarEvolution.h | 798 bool isKnownNonNegative(const SCEV *S);
|
| /external/swiftshader/third_party/LLVM/lib/Analysis/ |
| D | ScalarEvolution.cpp | 1169 if (isKnownNonNegative(Op)) in getSignExtendExpr()
1467 if (!isKnownNonNegative(*I)) { in getAddExpr()
1870 if (!isKnownNonNegative(*I)) { in getMulExpr()
2277 if (!isKnownNonNegative(*I)) { in getAddRecExpr()
3479 if (!isKnownNonNegative(AddRec->getOperand(i))) AllNonNeg = false; in getSignedRange()
5700 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) { in isKnownNonNegative() function in ScalarEvolution
|