Lines Matching defs:isKnownNonNegative
1084 return SE->isKnownNonNegative(Delta);
1129 bool DependenceInfo::isKnownNonNegative(const SCEV *S, const Value *Ptr) const {
1138 if (SE->isKnownNonNegative(AddRec->getStart()) &&
1139 SE->isKnownNonNegative(AddRec->getOperand(1)))
1145 return SE->isKnownNonNegative(S);
1255 SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta);
1257 SE->isKnownNonNegative(Coeff) ? Coeff : SE->getNegativeSCEV(Coeff);
1316 bool DeltaMaybeNegative = !SE->isKnownNonNegative(Delta);
1318 bool CoeffMaybeNegative = !SE->isKnownNonNegative(Coeff);
2131 if (SE->isKnownNonNegative(A1)) {
2132 if (SE->isKnownNonNegative(A2)) {
2174 if (SE->isKnownNonNegative(A2)) {
3312 if (!SE->isKnownNonNegative(Level.Distance)) // if may be negative
3453 if (!isKnownNonNegative(S, Ptr))
3534 if (!isKnownNonNegative(SrcSubscripts[I], SrcPtr))
3540 if (!isKnownNonNegative(DstSubscripts[I], DstPtr))