277     auto &Value2Index = getValue2Index(false);  in ConstraintInfo()  local
280       ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),  in ConstraintInfo()
282       VarPos.Coefficients[Value2Index[Arg]] = -1;  in ConstraintInfo()
645   auto &Value2Index = getValue2Index(IsSigned);  in getConstraint()  local
660   auto GetOrAddIndex = [&Value2Index, &NewVariables,  in getConstraint()
662     auto V2I = Value2Index.find(V);  in getConstraint()
663     if (V2I != Value2Index.end())  in getConstraint()
666         NewIndexMap.insert({V, Value2Index.size() + NewVariables.size() + 1});  in getConstraint()
679       SmallVector<int64_t, 8>(Value2Index.size() + NewVariables.size() + 1, 0),  in getConstraint()
724         (!Value2Index.contains(KV.first) && !NewIndexMap.contains(KV.first)))  in getConstraint()
726     SmallVector<int64_t, 8> C(Value2Index.size() + NewVariables.size() + 1, 0);  in getConstraint()
741     auto &Value2Index = getValue2Index(false);  in getConstraintForSolving()  local
743     return ConstraintTy(SmallVector<int64_t, 8>(Value2Index.size(), 0), false,  in getConstraintForSolving()
880                            const DenseMap<Value *, unsigned> &Value2Index) {  in dumpConstraint()  argument
881   ConstraintSystem CS(Value2Index);  in dumpConstraint()
1211     auto &Value2Index = Info.getValue2Index(IsSigned);  in generateReproducer()  local
1223       if (Value2Index.contains(V) || !I ||  in generateReproducer()
1267     auto &Value2Index = Info.getValue2Index(IsSigned);  in generateReproducer()  local
1274       if (!Value2Index.contains(V) && I) {  in generateReproducer()
1499     auto &Value2Index = getValue2Index(R.IsSigned);  in addFact()  local
1501       Value2Index.insert({V, Value2Index.size() + 1});  in addFact()
1516         ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),  in addFact()
1518         VarPos.Coefficients[Value2Index[V]] = -1;  in addFact()