| /external/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/Utils/ |
| D | SimplifyIndVar.cpp | 265 SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) { in eliminateIVComparison()
293 if (SE->isKnownNonNegative(N) && SE->isKnownNonNegative(D)) { in eliminateSDiv()
363 bool IsNumeratorNonNegative = !IsSigned || SE->isKnownNonNegative(N); in simplifyIVRemainder()
389 if (!IsSigned || !SE->isKnownNonNegative(D)) in simplifyIVRemainder()
574 return SE->isKnownNonNegative(SCEVOP1) && SE->isKnownNonNegative(SCEVOP2); in eliminateTrunc()
|
| /external/swiftshader/third_party/llvm-7.0/llvm/lib/Analysis/ |
| D | DependenceAnalysis.cpp | 985 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1030 bool DependenceInfo::isKnownNonNegative(const SCEV *S, const Value *Ptr) const { in isKnownNonNegative() function in DependenceInfo
1039 if (SE->isKnownNonNegative(AddRec->getStart()) && in isKnownNonNegative()
1040 SE->isKnownNonNegative(AddRec->getOperand(1))) in isKnownNonNegative()
1046 return SE->isKnownNonNegative(S); in isKnownNonNegative()
1156 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1158 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff); in strongSIVtest()
1217 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1219 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff); in strongSIVtest()
2043 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
[all …]
|
| D | ValueTracking.cpp | 241 bool llvm::isKnownNonNegative(const Value *V, const DataLayout &DL, in isKnownNonNegative() function in llvm
257 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()
425 if (isKnownNonNegative && !Known.isNegative()) in computeKnownBitsMul()
|
| D | ScalarEvolution.cpp | 2144 if (isKnownNonNegative(Op)) in getSignExtendExpr()
2317 return SE->isKnownNonNegative(S); in StrengthenNoWrapFlags()
4003 if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) { in getMinusSCEV()
5643 if (!isKnownNonNegative(AddRec->getOperand(i))) AllNonNeg = false; in getRangeRef()
8827 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) { in isKnownNonNegative() function in ScalarEvolution
8981 if (isKnownNonNegative(Step)) { in isMonotonicPredicateImpl()
9154 return isKnownNonNegative(RHS) && in isKnownPredicateViaSplitting()
9495 isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) in isImpliedCond()
|
| /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/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/Scalar/ |
| D | NaryReassociate.cpp | 339 if (isKnownNonNegative(ZExt->getOperand(0), *DL, 0, AC, GEP, DT)) in tryReassociateGEPAtIndex()
377 if (isKnownNonNegative(LHS, *DL, 0, AC, GEP, DT) && in tryReassociateGEPAtIndex()
|
| D | GuardWidening.cpp | 568 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
|
| D | LoopIdiomRecognize.cpp | 1406 if (DefX->getOpcode() == Instruction::AShr && !isKnownNonNegative(InitX, *DL)) in recognizeAndInsertCTLZ()
|
| /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-7.0/llvm/include/llvm/Analysis/ |
| D | ValueTracking.h | 111 bool isKnownNonNegative(const Value *V, const DataLayout &DL,
|
| D | DependenceAnalysis.h | 569 bool isKnownNonNegative(const SCEV *S, const Value *Ptr) const;
|
| D | ScalarEvolution.h | 836 bool isKnownNonNegative(const SCEV *S);
|
| /external/swiftshader/third_party/llvm-7.0/llvm/lib/Transforms/InstCombine/ |
| D | InstCombineShifts.cpp | 47 if (isKnownNonNegative(A, DL, 0, &AC, &I, &DT) && in commonShiftTransforms()
48 isKnownNonNegative(C, DL, 0, &AC, &I, &DT)) in commonShiftTransforms()
|
| /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
|