Lines Matching refs:isKnownNonNegative
1020 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1065 bool DependenceInfo::isKnownNonNegative(const SCEV *S, const Value *Ptr) const { in isKnownNonNegative() function in DependenceInfo
1074 if (SE->isKnownNonNegative(AddRec->getStart()) && in isKnownNonNegative()
1075 SE->isKnownNonNegative(AddRec->getOperand(1))) in isKnownNonNegative()
1081 return SE->isKnownNonNegative(S); in isKnownNonNegative()
1191 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1193 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff); in strongSIVtest()
1252 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1254 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff); in strongSIVtest()
2067 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
2068 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
2110 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
3249 if (!SE->isKnownNonNegative(Level.Distance)) // if may be negative in updateDirection()
3390 if (!isKnownNonNegative(S, Ptr)) in tryDelinearizeFixedSize()
3471 if (!isKnownNonNegative(SrcSubscripts[I], SrcPtr)) in tryDelinearizeParametricSize()
3477 if (!isKnownNonNegative(DstSubscripts[I], DstPtr)) in tryDelinearizeParametricSize()