Home
last modified time | relevance | path

Searched refs:isKnownNonNegative (Results 1 – 25 of 31) sorted by relevance

12

/external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Utils/
DSimplifyIndVar.cpp275 SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) { in eliminateIVComparison()
303 if (SE->isKnownNonNegative(N) && SE->isKnownNonNegative(D)) { in eliminateSDiv()
373 bool IsNumeratorNonNegative = !IsSigned || SE->isKnownNonNegative(N); in simplifyIVRemainder()
399 if (!IsSigned || !SE->isKnownNonNegative(D)) in simplifyIVRemainder()
575 return SE->isKnownNonNegative(SCEVOP1) && SE->isKnownNonNegative(SCEVOP2); in eliminateTrunc()
/external/llvm-project/llvm/lib/Transforms/Utils/
DSimplifyIndVar.cpp277 SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) { in eliminateIVComparison()
305 if (SE->isKnownNonNegative(N) && SE->isKnownNonNegative(D)) { in eliminateSDiv()
375 bool IsNumeratorNonNegative = !IsSigned || SE->isKnownNonNegative(N); in simplifyIVRemainder()
401 if (!IsSigned || !SE->isKnownNonNegative(D)) in simplifyIVRemainder()
578 return SE->isKnownNonNegative(SCEVOP1) && SE->isKnownNonNegative(SCEVOP2); in eliminateTrunc()
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/
DDependenceAnalysis.cpp996 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1041 bool DependenceInfo::isKnownNonNegative(const SCEV *S, const Value *Ptr) const { in isKnownNonNegative() function in DependenceInfo
1050 if (SE->isKnownNonNegative(AddRec->getStart()) && in isKnownNonNegative()
1051 SE->isKnownNonNegative(AddRec->getOperand(1))) in isKnownNonNegative()
1057 return SE->isKnownNonNegative(S); in isKnownNonNegative()
1167 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1169 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff); in strongSIVtest()
1228 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1230 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff); in strongSIVtest()
2054 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
[all …]
DValueTracking.cpp247 bool llvm::isKnownNonNegative(const Value *V, const DataLayout &DL, in isKnownNonNegative() function in llvm
264 return isKnownNonNegative(V, DL, Depth, AC, CxtI, DT, UseInstrInfo) && in isKnownPositive()
332 bool isKnownNonNegative = false; in computeKnownBitsMul() local
337 isKnownNonNegative = true; in computeKnownBitsMul()
344 isKnownNonNegative = (isKnownNegativeOp1 && isKnownNegativeOp0) || in computeKnownBitsMul()
348 if (!isKnownNonNegative) in computeKnownBitsMul()
434 if (isKnownNonNegative && !Known.isNegative()) in computeKnownBitsMul()
/external/llvm/lib/Transforms/Scalar/
DNaryReassociate.cpp342 if (isKnownNonNegative(ZExt->getOperand(0), *DL, 0, AC, GEP, DT)) in tryReassociateGEPAtIndex()
379 if (isKnownNonNegative(LHS, *DL, 0, AC, GEP, DT) && in tryReassociateGEPAtIndex()
DGuardWidening.cpp511 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Scalar/
DNaryReassociate.cpp339 if (isKnownNonNegative(ZExt->getOperand(0), *DL, 0, AC, GEP, DT)) in tryReassociateGEPAtIndex()
377 if (isKnownNonNegative(LHS, *DL, 0, AC, GEP, DT) && in tryReassociateGEPAtIndex()
DGuardWidening.cpp611 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
/external/llvm-project/llvm/lib/Transforms/Scalar/
DNaryReassociate.cpp335 if (isKnownNonNegative(ZExt->getOperand(0), *DL, 0, AC, GEP, DT)) in tryReassociateGEPAtIndex()
373 if (isKnownNonNegative(LHS, *DL, 0, AC, GEP, DT) && in tryReassociateGEPAtIndex()
DGuardWidening.cpp611 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
/external/llvm-project/llvm/lib/Analysis/
DDependenceAnalysis.cpp998 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1043 bool DependenceInfo::isKnownNonNegative(const SCEV *S, const Value *Ptr) const { in isKnownNonNegative() function in DependenceInfo
1052 if (SE->isKnownNonNegative(AddRec->getStart()) && in isKnownNonNegative()
1053 SE->isKnownNonNegative(AddRec->getOperand(1))) in isKnownNonNegative()
1059 return SE->isKnownNonNegative(S); in isKnownNonNegative()
1169 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1171 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff); in strongSIVtest()
1230 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1232 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff); in strongSIVtest()
2043 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
[all …]
DScalarEvolution.cpp2053 if (isKnownNonNegative(Op)) in getSignExtendExpr()
2226 return SE->isKnownNonNegative(S); in StrengthenNoWrapFlags()
3466 SCEV::NoWrapFlags BaseWrap = GEP->isInBounds() && isKnownNonNegative(Offset) in getGEPExpr()
3990 if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) { in getMinusSCEV()
5775 if (!isKnownNonNegative(AddRec->getOperand(i))) in getRangeRef()
6716 if (isKnownNonNegative(getSCEV(U->getOperand(0))) && in createSCEV()
6717 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
6723 if (isKnownNonNegative(getSCEV(U->getOperand(0))) && in createSCEV()
6724 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
9413 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) { in isKnownNonNegative() function in ScalarEvolution
[all …]
DValueTracking.cpp324 bool llvm::isKnownNonNegative(const Value *V, const DataLayout &DL, in isKnownNonNegative() function in llvm
341 return isKnownNonNegative(V, DL, Depth, AC, CxtI, DT, UseInstrInfo) && in isKnownPositive()
423 bool isKnownNonNegative = false; in computeKnownBitsMul() local
428 isKnownNonNegative = true; in computeKnownBitsMul()
435 isKnownNonNegative = (isKnownNegativeOp1 && isKnownNegativeOp0) || in computeKnownBitsMul()
439 if (!isKnownNonNegative) in computeKnownBitsMul()
454 if (isKnownNonNegative && !Known.isNegative()) in computeKnownBitsMul()
/external/llvm/lib/Transforms/Utils/
DSimplifyIndVar.cpp288 if ((!IsSigned || SE->isKnownNonNegative(S)) && in eliminateIVRemainder()
295 if (IsSigned && !SE->isKnownNonNegative(LessOne)) in eliminateIVRemainder()
/external/llvm/include/llvm/Analysis/
DValueTracking.h97 bool isKnownNonNegative(Value *V, const DataLayout &DL, unsigned Depth = 0,
DScalarEvolution.h1460 bool isKnownNonNegative(const SCEV *S);
/external/llvm/lib/Analysis/
DDependenceAnalysis.cpp970 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()
DValueTracking.cpp178 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()
DScalarEvolution.cpp1815 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-10.0/llvm/include/llvm/Analysis/
DValueTracking.h117 bool isKnownNonNegative(const Value *V, const DataLayout &DL,
DDependenceAnalysis.h572 bool isKnownNonNegative(const SCEV *S, const Value *Ptr) const;
/external/llvm-project/llvm/include/llvm/Analysis/
DDependenceAnalysis.h573 bool isKnownNonNegative(const SCEV *S, const Value *Ptr) const;
DValueTracking.h146 bool isKnownNonNegative(const Value *V, const DataLayout &DL,
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/InstCombine/
DInstCombineShifts.cpp397 if (isKnownNonNegative(A, DL, 0, &AC, &I, &DT) && in commonShiftTransforms()
398 isKnownNonNegative(C, DL, 0, &AC, &I, &DT)) in commonShiftTransforms()
/external/llvm-project/llvm/lib/Transforms/InstCombine/
DInstCombineShifts.cpp400 if (isKnownNonNegative(A, DL, 0, &AC, &I, &DT) && in commonShiftTransforms()
401 isKnownNonNegative(C, DL, 0, &AC, &I, &DT)) in commonShiftTransforms()

12