Lines Matching refs:isKnownNonNegative
1083 return SE->isKnownNonNegative(Delta); in isKnownPredicate()
1128 bool DependenceInfo::isKnownNonNegative(const SCEV *S, const Value *Ptr) const { in isKnownNonNegative() function in DependenceInfo
1137 if (SE->isKnownNonNegative(AddRec->getStart()) && in isKnownNonNegative()
1138 SE->isKnownNonNegative(AddRec->getOperand(1))) in isKnownNonNegative()
1144 return SE->isKnownNonNegative(S); in isKnownNonNegative()
1254 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta); in strongSIVtest()
1256 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff); in strongSIVtest()
1315 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta); in strongSIVtest()
1317 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff); in strongSIVtest()
2130 if (SE->isKnownNonNegative(A1)) { in symbolicRDIVtest()
2131 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
2173 if (SE->isKnownNonNegative(A2)) { in symbolicRDIVtest()
3312 if (!SE->isKnownNonNegative(Level.Distance)) // if may be negative in updateDirection()
3453 if (!isKnownNonNegative(S, Ptr)) in tryDelinearizeFixedSize()
3534 if (!isKnownNonNegative(SrcSubscripts[I], SrcPtr)) in tryDelinearizeParametricSize()
3540 if (!isKnownNonNegative(DstSubscripts[I], DstPtr)) in tryDelinearizeParametricSize()