Searched refs:IsKnownNonNegative (Results 1 – 2 of 2) sorted by relevance
340 bool IsKnownNonNegative; member345 IsKnownNonNegative(IsKnownNonNegative) {} in DecompEntry()542 bool IsKnownNonNegative = false; in decompose() local544 IsKnownNonNegative = true; in decompose()578 return {V, IsKnownNonNegative}; in decompose()598 return {V, IsKnownNonNegative}; in decompose()840 if (IsKnownNonNegative(B)) { in transferToOtherSystem()850 if (IsKnownNonNegative(A)) { in transferToOtherSystem()858 if (IsKnownNonNegative(A)) in transferToOtherSystem()865 if (IsKnownNonNegative(B)) in transferToOtherSystem()[all …]
2440 auto IsKnownNonNegative = [&](const SCEV *S) { in StrengthenNoWrapFlags() local2444 if (SignOrUnsignWrap == SCEV::FlagNSW && all_of(Ops, IsKnownNonNegative)) in StrengthenNoWrapFlags()2488 Ops[0]->isZero() && IsKnownNonNegative(Ops[1])) in StrengthenNoWrapFlags()