Searched refs:IsKnownNonNegative (Results 1 – 2 of 2) sorted by relevance
190 bool IsKnownNonNegative; member193 bool IsKnownNonNegative = false) in DecompEntry()195 IsKnownNonNegative(IsKnownNonNegative) {} in DecompEntry()204 Decomposition(Value *V, bool IsKnownNonNegative = false) { in Decomposition()205 Vars.emplace_back(1, V, IsKnownNonNegative); in Decomposition()336 bool IsKnownNonNegative = false; in decompose() local338 IsKnownNonNegative = true; in decompose()385 return {V, IsKnownNonNegative}; in decompose()471 KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative}); in getConstraint()472 I.first->second &= KV.IsKnownNonNegative; in getConstraint()[all …]
2467 auto IsKnownNonNegative = [&](const SCEV *S) { in StrengthenNoWrapFlags() local2471 if (SignOrUnsignWrap == SCEV::FlagNSW && all_of(Ops, IsKnownNonNegative)) in StrengthenNoWrapFlags()2515 Ops[0]->isZero() && IsKnownNonNegative(Ops[1])) in StrengthenNoWrapFlags()