Lines Matching defs:IsKnownNonNegative

349   bool IsKnownNonNegative;
352               bool IsKnownNonNegative = false)
354         IsKnownNonNegative(IsKnownNonNegative) {}
363   Decomposition(Value *V, bool IsKnownNonNegative = false) {
364     Vars.emplace_back(1, V, IsKnownNonNegative);
515   bool IsKnownNonNegative = false;
530       IsKnownNonNegative = true;
565     return {V, IsKnownNonNegative};
576     IsKnownNonNegative = true;
623       return {V, IsKnownNonNegative};
643   return {V, IsKnownNonNegative};
737         KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative});
738     I.first->second &= KV.IsKnownNonNegative;
746         KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative});
747     I.first->second &= KV.IsKnownNonNegative;
872   auto IsKnownNonNegative = [this](Value *V) {
889     if (IsKnownNonNegative(B)) {
899     if (IsKnownNonNegative(A)) {
907     if (IsKnownNonNegative(A))
914     if (IsKnownNonNegative(B))
920     if (IsKnownNonNegative(B))