Lines Matching refs:isKnownNonNegative
998 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1043 bool DependenceInfo::isKnownNonNegative(const SCEV *S, const Value *Ptr) const { in isKnownNonNegative() function in DependenceInfo
1052 if (SE->isKnownNonNegative(AddRec->getStart()) && in isKnownNonNegative()
1053 SE->isKnownNonNegative(AddRec->getOperand(1))) in isKnownNonNegative()
1059 return SE->isKnownNonNegative(S); in isKnownNonNegative()
1169 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1171 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff); in strongSIVtest()
1230 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1232 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff); in strongSIVtest()
2043 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
2044 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
2086 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
3212 if (!SE->isKnownNonNegative(Level.Distance)) // if may be negative in updateDirection()
3425 if (!isKnownNonNegative(SrcSubscripts[I], SrcPtr)) in tryDelinearizeParametricSize()
3431 if (!isKnownNonNegative(DstSubscripts[I], DstPtr)) in tryDelinearizeParametricSize()