Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/llvm/lib/Analysis/
H A DDependenceAnalysis.cpp1083 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1137 if (SE->isKnownNonNegative(AddRec->getStart()) && in isKnownNonNegative()
1138 SE->isKnownNonNegative(AddRec->getOperand(1))) in isKnownNonNegative()
1144 return SE->isKnownNonNegative(S); in isKnownNonNegative()
1315 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
2130 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
2131 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
2173 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
3453 if (!isKnownNonNegative(S, Ptr)) in tryDelinearizeFixedSize()
3534 if (!isKnownNonNegative(SrcSubscripts[I], SrcPtr)) in tryDelinearizeParametricSize()
[all …]
H A DScalarEvolution.cpp2121 if (isKnownNonNegative(Op)) in getSignExtendExprImpl()
2441 return SE->isKnownNonNegative(S); in StrengthenNoWrapFlags()
8045 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
8052 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
10967 if (isKnownNonNegative(Step)) in getMonotonicPredicateTypeImpl()
11052 isKnownNonNegative(RHS) && in getLoopInvariantPredicate()
11298 return isKnownNonNegative(RHS) && in isKnownPredicateViaSplitting()
11724 if ((isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) || in isImpliedCondBalancedTypes()
12196 if (isKnownNonNegative(ShifteeS)) in isImpliedCondOperandsViaShift()
12329 if (isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) { in isImpliedViaOperations()
[all …]
H A DValueTracking.cpp286 bool llvm::isKnownNonNegative(const Value *V, const SimplifyQuery &SQ, in isKnownNonNegative() function in llvm
298 return isKnownNonNegative(V, SQ, Depth) && ::isKnownNonZero(V, Depth, SQ); in isKnownPositive()
375 bool isKnownNonNegative = false; in computeKnownBitsMul() local
380 isKnownNonNegative = true; in computeKnownBitsMul()
387 isKnownNonNegative = (isKnownNegativeOp1 && isKnownNegativeOp0) || in computeKnownBitsMul()
391 if (!isKnownNonNegative) in computeKnownBitsMul()
410 if (isKnownNonNegative && !Known.isNegative()) in computeKnownBitsMul()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSimplifyIndVar.cpp272 SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) { in eliminateIVComparison()
300 if (SE->isKnownNonNegative(N) && SE->isKnownNonNegative(D)) { in eliminateSDiv()
371 bool IsNumeratorNonNegative = !IsSigned || SE->isKnownNonNegative(N); in simplifyIVRemainder()
397 if (!IsSigned || !SE->isKnownNonNegative(D)) in simplifyIVRemainder()
538 return SE->isKnownNonNegative(SCEVOP1) && SE->isKnownNonNegative(SCEVOP2); in eliminateTrunc()
H A DLoopUtils.cpp1703 if (!Exp.getSE()->isKnownNonNegative(Recur)) { in expandBounds()
H A DScalarEvolutionExpander.cpp1293 SE.isKnownNonNegative(S->getOperand())); in visitZeroExtendExpr()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DNaryReassociate.cpp368 if (isKnownNonNegative(ZExt->getOperand(0), SQ)) in tryReassociateGEPAtIndex()
405 if (isKnownNonNegative(LHS, SimplifyQuery(*DL, DT, AC, GEP)) && in tryReassociateGEPAtIndex()
H A DConstraintElimination.cpp464 if (!isKnownNonNegative(Index, DL, /*Depth=*/MaxAnalysisRecursionDepth - 1)) in decomposeGEP()
554 if (!isKnownNonNegative(Op0, DL, /*Depth=*/MaxAnalysisRecursionDepth - 1)) in decompose()
557 if (!isKnownNonNegative(Op1, DL, /*Depth=*/MaxAnalysisRecursionDepth - 1)) in decompose()
751 isKnownNonNegative(Op0, DL, /*Depth=*/MaxAnalysisRecursionDepth - 1) && in getConstraintForSolving()
752 isKnownNonNegative(Op1, DL, /*Depth=*/MaxAnalysisRecursionDepth - 1)) in getConstraintForSolving()
825 isKnownNonNegative(V, DL, /*Depth=*/MaxAnalysisRecursionDepth - 1); in transferToOtherSystem()
H A DGuardWidening.cpp821 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
H A DLoopIdiomRecognize.cpp1728 if (DefX->getOpcode() == Instruction::AShr && !isKnownNonNegative(InitX, DL)) in detectShiftUntilZeroIdiom()
2662 !isMustProgress(CurLoop) && !SE->isKnownNonNegative(SE->getSCEV(Val))) { in detectShiftUntilZeroIdiom()
H A DLICM.cpp2499 return isKnownNonNegative(V, SimplifyQuery(DL, DT, AC, GEP)); in hoistGEP()
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DDependenceAnalysis.h594 bool isKnownNonNegative(const SCEV *S, const Value *Ptr) const;
H A DValueTracking.h140 bool isKnownNonNegative(const Value *V, const SimplifyQuery &SQ,
H A DScalarEvolution.h1015 bool isKnownNonNegative(const SCEV *S);
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineCasts.cpp1247 if (isKnownNonNegative(Src, SQ.getWithInstruction(&Zext))) { in visitZExt()
1405 if (isKnownNonNegative(Src, SQ.getWithInstruction(&Sext))) { in visitSExt()
H A DInstCombineMulDivRem.cpp1551 if (isKnownNonNegative(Op1, SQ.getWithInstruction(&I))) { in visitSDiv()
H A DInstCombineCompares.cpp5058 if (isKnownNonNegative(Z, SQ.getWithInstruction(&I)) && in foldICmpWithMinMax()
5059 isKnownNonNegative(MinMax, SQ.getWithInstruction(&I))) { in foldICmpWithMinMax()