Searched refs:Value2Index (Results 1 – 3 of 3) sorted by relevance
55 DenseMap<Value *, unsigned> Value2Index; variable71 Value2Index.insert({Arg, Value2Index.size() + 1}); in ConstraintSystem()74 ConstraintSystem(const DenseMap<Value *, unsigned> &Value2Index) in ConstraintSystem() argument75 : NumVariables(Value2Index.size()), Value2Index(Value2Index) {} in ConstraintSystem()96 DenseMap<Value *, unsigned> &getValue2Index() { return Value2Index; } in getValue2Index()98 return Value2Index; in getValue2Index()
277 auto &Value2Index = getValue2Index(false); in ConstraintInfo() local282 VarPos.Coefficients[Value2Index[Arg]] = -1; in ConstraintInfo()645 auto &Value2Index = getValue2Index(IsSigned); in getConstraint() local662 auto V2I = Value2Index.find(V); in getConstraint()663 if (V2I != Value2Index.end()) in getConstraint()741 auto &Value2Index = getValue2Index(false); in getConstraintForSolving() local881 ConstraintSystem CS(Value2Index); in dumpConstraint()1223 if (Value2Index.contains(V) || !I || in generateReproducer()1274 if (!Value2Index.contains(V) && I) { in generateReproducer()1501 Value2Index.insert({V, Value2Index.size() + 1}); in addFact()[all …]
145 SmallVector<std::string> Names(Value2Index.size(), ""); in getVarNamesList()147 for (auto &[V, Index] : Value2Index) { in getVarNamesList()