Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSimplifyIndVar.cpp295 SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) { in eliminateIVComparison()
323 if (SE->isKnownNonNegative(N) && SE->isKnownNonNegative(D)) { in eliminateSDiv()
393 bool IsNumeratorNonNegative = !IsSigned || SE->isKnownNonNegative(N); in simplifyIVRemainder()
419 if (!IsSigned || !SE->isKnownNonNegative(D)) in simplifyIVRemainder()
560 return SE->isKnownNonNegative(SCEVOP1) && SE->isKnownNonNegative(SCEVOP2); in eliminateTrunc()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Analysis/
H A DDependenceAnalysis.cpp998 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1052 if (SE->isKnownNonNegative(AddRec->getStart()) && in isKnownNonNegative()
1053 SE->isKnownNonNegative(AddRec->getOperand(1))) in isKnownNonNegative()
1059 return SE->isKnownNonNegative(S); in isKnownNonNegative()
1230 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
2045 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
2046 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
2088 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
3369 if (!isKnownNonNegative(S, Ptr)) in tryDelinearizeFixedSize()
3450 if (!isKnownNonNegative(SrcSubscripts[I], SrcPtr)) in tryDelinearizeParametricSize()
[all …]
H A DScalarEvolution.cpp2102 if (isKnownNonNegative(Op)) in getSignExtendExpr()
2350 return SE->isKnownNonNegative(S); in StrengthenNoWrapFlags()
4217 if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) { in getMinusSCEV()
6126 if (!isKnownNonNegative(AddRec->getOperand(i))) in getRangeRef()
7066 if (isKnownNonNegative(getSCEV(U->getOperand(0))) && in createSCEV()
7067 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
7074 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
10000 if (isKnownNonNegative(Step)) in getMonotonicPredicateTypeImpl()
10263 return isKnownNonNegative(RHS) && in isKnownPredicateViaSplitting()
10685 isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) in isImpliedCondBalancedTypes()
[all …]
H A DValueTracking.cpp317 bool llvm::isKnownNonNegative(const Value *V, const DataLayout &DL, in isKnownNonNegative() function in llvm
334 return isKnownNonNegative(V, DL, Depth, AC, CxtI, DT, UseInstrInfo) && in isKnownPositive()
416 bool isKnownNonNegative = false; in computeKnownBitsMul() local
421 isKnownNonNegative = true; in computeKnownBitsMul()
428 isKnownNonNegative = (isKnownNegativeOp1 && isKnownNegativeOp0) || in computeKnownBitsMul()
432 if (!isKnownNonNegative) in computeKnownBitsMul()
447 if (isKnownNonNegative && !Known.isNegative()) in computeKnownBitsMul()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DNaryReassociate.cpp363 if (isKnownNonNegative(ZExt->getOperand(0), *DL, 0, AC, GEP, DT)) in tryReassociateGEPAtIndex()
401 if (isKnownNonNegative(LHS, *DL, 0, AC, GEP, DT) && in tryReassociateGEPAtIndex()
H A DGuardWidening.cpp610 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
H A DLoopIdiomRecognize.cpp1668 if (DefX->getOpcode() == Instruction::AShr && !isKnownNonNegative(InitX, DL)) in detectShiftUntilZeroIdiom()
2584 !isMustProgress(CurLoop) && !SE->isKnownNonNegative(SE->getSCEV(Val))) { in detectShiftUntilZeroIdiom()
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DDependenceAnalysis.h573 bool isKnownNonNegative(const SCEV *S, const Value *Ptr) const;
H A DValueTracking.h146 bool isKnownNonNegative(const Value *V, const DataLayout &DL,
H A DScalarEvolution.h929 bool isKnownNonNegative(const SCEV *S);
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineShifts.cpp406 if (isKnownNonNegative(A, DL, 0, &AC, &I, &DT) && in commonShiftTransforms()
407 isKnownNonNegative(C, DL, 0, &AC, &I, &DT)) in commonShiftTransforms()