340   bool IsKnownNonNegative;  member
343               bool IsKnownNonNegative = false)  in DecompEntry()
345         IsKnownNonNegative(IsKnownNonNegative) {}  in DecompEntry()
354   Decomposition(Value *V, bool IsKnownNonNegative = false) {  in Decomposition()
355     Vars.emplace_back(1, V, IsKnownNonNegative);  in Decomposition()
542   bool IsKnownNonNegative = false;  in decompose()  local
544     IsKnownNonNegative = true;  in decompose()
578       return {V, IsKnownNonNegative};  in decompose()
598   return {V, IsKnownNonNegative};  in decompose()
688         KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative});  in getConstraint()
689     I.first->second &= KV.IsKnownNonNegative;  in getConstraint()
697         KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative});  in getConstraint()
698     I.first->second &= KV.IsKnownNonNegative;  in getConstraint()
823   auto IsKnownNonNegative = [this](Value *V) {  in transferToOtherSystem()  local
840     if (IsKnownNonNegative(B)) {  in transferToOtherSystem()
850     if (IsKnownNonNegative(A)) {  in transferToOtherSystem()
858     if (IsKnownNonNegative(A))  in transferToOtherSystem()
865     if (IsKnownNonNegative(B))  in transferToOtherSystem()
871     if (IsKnownNonNegative(B))  in transferToOtherSystem()