| /llvm-project-15.0.7/llvm/lib/Transforms/Utils/ |
| H A D | SimplifyIndVar.cpp | 297 SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) { in eliminateIVComparison()
325 if (SE->isKnownNonNegative(N) && SE->isKnownNonNegative(D)) { in eliminateSDiv()
396 bool IsNumeratorNonNegative = !IsSigned || SE->isKnownNonNegative(N); in simplifyIVRemainder()
422 if (!IsSigned || !SE->isKnownNonNegative(D)) in simplifyIVRemainder()
563 return SE->isKnownNonNegative(SCEVOP1) && SE->isKnownNonNegative(SCEVOP2); in eliminateTrunc()
|
| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | DependenceAnalysis.cpp | 1020 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1074 if (SE->isKnownNonNegative(AddRec->getStart()) && in isKnownNonNegative()
1075 SE->isKnownNonNegative(AddRec->getOperand(1))) in isKnownNonNegative()
1081 return SE->isKnownNonNegative(S); in isKnownNonNegative()
1252 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
2067 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
2068 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
2110 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
3390 if (!isKnownNonNegative(S, Ptr)) in tryDelinearizeFixedSize()
3471 if (!isKnownNonNegative(SrcSubscripts[I], SrcPtr)) in tryDelinearizeParametricSize()
[all …]
|
| H A D | ScalarEvolution.cpp | 2120 if (isKnownNonNegative(Op)) in getSignExtendExpr()
2387 return SE->isKnownNonNegative(S); in StrengthenNoWrapFlags()
4546 if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) { in getMinusSCEV()
6535 if (!isKnownNonNegative(AddRec->getOperand(i))) in getRangeRef()
7803 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
7810 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
10717 if (isKnownNonNegative(Step)) in getMonotonicPredicateTypeImpl()
10990 return isKnownNonNegative(RHS) && in isKnownPredicateViaSplitting()
11416 if ((isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) || in isImpliedCondBalancedTypes()
11885 if (isKnownNonNegative(ShifteeS)) in isImpliedCondOperandsViaShift()
[all …]
|
| H A D | ValueTracking.cpp | 347 bool llvm::isKnownNonNegative(const Value *V, const DataLayout &DL, in isKnownNonNegative() function in llvm
364 return isKnownNonNegative(V, DL, Depth, AC, CxtI, DT, UseInstrInfo) && in isKnownPositive()
454 bool isKnownNonNegative = false; in computeKnownBitsMul() local
459 isKnownNonNegative = true; in computeKnownBitsMul()
466 isKnownNonNegative = (isKnownNegativeOp1 && isKnownNegativeOp0) || in computeKnownBitsMul()
470 if (!isKnownNonNegative) in computeKnownBitsMul()
490 if (isKnownNonNegative && !Known.isNegative()) in computeKnownBitsMul()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | NaryReassociate.cpp | 367 if (isKnownNonNegative(ZExt->getOperand(0), *DL, 0, AC, GEP, DT)) in tryReassociateGEPAtIndex()
405 if (isKnownNonNegative(LHS, *DL, 0, AC, GEP, DT) && in tryReassociateGEPAtIndex()
|
| H A D | GuardWidening.cpp | 608 if (!isKnownNonNegative(Check.getLength(), DL)) in parseRangeChecks()
|
| H A D | LoopIdiomRecognize.cpp | 1811 if (DefX->getOpcode() == Instruction::AShr && !isKnownNonNegative(InitX, DL)) in detectShiftUntilZeroIdiom()
2725 !isMustProgress(CurLoop) && !SE->isKnownNonNegative(SE->getSCEV(Val))) { in detectShiftUntilZeroIdiom()
|
| /llvm-project-15.0.7/llvm/include/llvm/Analysis/ |
| H A D | DependenceAnalysis.h | 570 bool isKnownNonNegative(const SCEV *S, const Value *Ptr) const;
|
| H A D | ValueTracking.h | 145 bool isKnownNonNegative(const Value *V, const DataLayout &DL,
|
| H A D | ScalarEvolution.h | 985 bool isKnownNonNegative(const SCEV *S);
|
| /llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/ |
| H A D | InstructionCombining.cpp | 1996 isKnownNonNegative(SO1, DL, 0, &AC, &GEP, &DT) && in visitGEPOfGEP()
1997 isKnownNonNegative(GO1, DL, 0, &AC, &GEP, &DT); in visitGEPOfGEP()
|
| H A D | InstCombineCasts.cpp | 1514 if (isKnownNonNegative(Src, DL, 0, &AC, &CI, &DT)) in visitSExt()
|
| H A D | InstCombineCompares.cpp | 4854 if ((IsZext0 && isKnownNonNegative(X, DL, 0, &AC, &ICmp, &DT)) || in foldICmpWithZextOrSext()
4855 (IsZext1 && isKnownNonNegative(Y, DL, 0, &AC, &ICmp, &DT))) in foldICmpWithZextOrSext()
|