HomeSort by: relevance | last modified time | path
    Searched refs:isKnownNonNegative (Results 1 - 11 of 11) sorted by relevancy

  /src/external/apache2/llvm/dist/llvm/lib/Analysis/
DependenceAnalysis.cpp 998 return SE->isKnownNonNegative(Delta);
1043 bool DependenceInfo::isKnownNonNegative(const SCEV *S, const Value *Ptr) const {
1052 if (SE->isKnownNonNegative(AddRec->getStart()) &&
1053 SE->isKnownNonNegative(AddRec->getOperand(1)))
1059 return SE->isKnownNonNegative(S);
1169 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta);
1171 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff);
1230 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta);
1232 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff);
2045 if (SE->isKnownNonNegative(A1))
    [all...]
ScalarEvolution.cpp 2089 if (isKnownNonNegative(Op))
2261 auto IsKnownNonNegative = [&](const SCEV *S) {
2262 return SE->isKnownNonNegative(S);
2265 if (SignOrUnsignWrap == SCEV::FlagNSW && all_of(Ops, IsKnownNonNegative))
3497 SCEV::NoWrapFlags BaseWrap = GEP->isInBounds() && isKnownNonNegative(Offset)
4016 if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) {
5916 if (!isKnownNonNegative(AddRec->getOperand(i)))
6849 if (isKnownNonNegative(getSCEV(U->getOperand(0))) &&
6850 isKnownNonNegative(getSCEV(U->getOperand(1))))
6856 if (isKnownNonNegative(getSCEV(U->getOperand(0))) &
    [all...]
ValueTracking.cpp 316 bool llvm::isKnownNonNegative(const Value *V, const DataLayout &DL,
333 return isKnownNonNegative(V, DL, Depth, AC, CxtI, DT, UseInstrInfo) &&
415 bool isKnownNonNegative = false;
420 isKnownNonNegative = true;
427 isKnownNonNegative = (isKnownNegativeOp1 && isKnownNegativeOp0) ||
431 if (!isKnownNonNegative)
446 if (isKnownNonNegative && !Known.isNegative())
  /src/external/apache2/llvm/dist/llvm/lib/Transforms/Scalar/
NaryReassociate.cpp 363 if (isKnownNonNegative(ZExt->getOperand(0), *DL, 0, AC, GEP, DT))
401 if (isKnownNonNegative(LHS, *DL, 0, AC, GEP, DT) &&
GuardWidening.cpp 610 if (!isKnownNonNegative(Check.getLength(), DL))
LoopIdiomRecognize.cpp 1622 if (DefX->getOpcode() == Instruction::AShr && !isKnownNonNegative(InitX, DL))
  /src/external/apache2/llvm/dist/llvm/lib/Transforms/Utils/
SimplifyIndVar.cpp 295 SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) {
323 if (SE->isKnownNonNegative(N) && SE->isKnownNonNegative(D)) {
393 bool IsNumeratorNonNegative = !IsSigned || SE->isKnownNonNegative(N);
419 if (!IsSigned || !SE->isKnownNonNegative(D))
596 return SE->isKnownNonNegative(SCEVOP1) && SE->isKnownNonNegative(SCEVOP2);
  /src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
DependenceAnalysis.h 570 /// isKnownNonNegative - Compare to see if S is known not to be negative
573 bool isKnownNonNegative(const SCEV *S, const Value *Ptr) const;
ValueTracking.h 146 bool isKnownNonNegative(const Value *V, const DataLayout &DL,
ScalarEvolution.h 888 bool isKnownNonNegative(const SCEV *S);
  /src/external/apache2/llvm/dist/llvm/lib/Transforms/InstCombine/
InstCombineShifts.cpp 406 if (isKnownNonNegative(A, DL, 0, &AC, &I, &DT) &&
407 isKnownNonNegative(C, DL, 0, &AC, &I, &DT))

Completed in 57 milliseconds