278     auto &Value2Index = getValue2Index(false);  in ConstraintInfo()  local
281       ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),  in ConstraintInfo()
283       VarPos.Coefficients[Value2Index[Arg]] = -1;  in ConstraintInfo()
661   auto &Value2Index = getValue2Index(IsSigned);  in getConstraint()  local
676   auto GetOrAddIndex = [&Value2Index, &NewVariables,  in getConstraint()
678     auto V2I = Value2Index.find(V);  in getConstraint()
679     if (V2I != Value2Index.end())  in getConstraint()
682         NewIndexMap.insert({V, Value2Index.size() + NewVariables.size() + 1});  in getConstraint()
695       SmallVector<int64_t, 8>(Value2Index.size() + NewVariables.size() + 1, 0),  in getConstraint()
740         (!Value2Index.contains(KV.first) && !NewIndexMap.contains(KV.first)))  in getConstraint()
742     SmallVector<int64_t, 8> C(Value2Index.size() + NewVariables.size() + 1, 0);  in getConstraint()
757     auto &Value2Index = getValue2Index(false);  in getConstraintForSolving()  local
759     return ConstraintTy(SmallVector<int64_t, 8>(Value2Index.size(), 0), false,  in getConstraintForSolving()
896                            const DenseMap<Value *, unsigned> &Value2Index) {  in dumpConstraint()  argument
897   ConstraintSystem CS(Value2Index);  in dumpConstraint()
1249     auto &Value2Index = Info.getValue2Index(IsSigned);  in generateReproducer()  local
1261       if (Value2Index.contains(V) || !I ||  in generateReproducer()
1305     auto &Value2Index = Info.getValue2Index(IsSigned);  in generateReproducer()  local
1312       if (!Value2Index.contains(V) && I) {  in generateReproducer()
1579     auto &Value2Index = getValue2Index(R.IsSigned);  in addFact()  local
1581       Value2Index.insert({V, Value2Index.size() + 1});  in addFact()
1596         ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),  in addFact()
1598         VarPos.Coefficients[Value2Index[V]] = -1;  in addFact()