Lines Matching defs:IsKnownNonNegative

341   bool IsKnownNonNegative;
344               bool IsKnownNonNegative = false)
346         IsKnownNonNegative(IsKnownNonNegative) {}
355   Decomposition(Value *V, bool IsKnownNonNegative = false) {
356     Vars.emplace_back(1, V, IsKnownNonNegative);
503   bool IsKnownNonNegative = false;
518       IsKnownNonNegative = true;
543     return {V, IsKnownNonNegative};
554     IsKnownNonNegative = true;
594       return {V, IsKnownNonNegative};
614   return {V, IsKnownNonNegative};
704         KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative});
705     I.first->second &= KV.IsKnownNonNegative;
713         KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative});
714     I.first->second &= KV.IsKnownNonNegative;
839   auto IsKnownNonNegative = [this](Value *V) {
856     if (IsKnownNonNegative(B)) {
866     if (IsKnownNonNegative(A)) {
874     if (IsKnownNonNegative(A))
881     if (IsKnownNonNegative(B))
887     if (IsKnownNonNegative(B))