Lines Matching defs:Value2Index

243   /// satisfied given \p CS and the corresponding \p Value2Index mapping.
278     auto &Value2Index = getValue2Index(false);
281       ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),
283       VarPos.Coefficients[Value2Index[Arg]] = -1;
661   auto &Value2Index = getValue2Index(IsSigned);
673   // First try to look up \p V in Value2Index and NewVariables. Otherwise add a
676   auto GetOrAddIndex = [&Value2Index, &NewVariables,
678     auto V2I = Value2Index.find(V);
679     if (V2I != Value2Index.end())
682         NewIndexMap.insert({V, Value2Index.size() + NewVariables.size() + 1});
688   // Make sure all variables have entries in Value2Index or NewVariables.
695       SmallVector<int64_t, 8>(Value2Index.size() + NewVariables.size() + 1, 0),
740         (!Value2Index.contains(KV.first) && !NewIndexMap.contains(KV.first)))
742     SmallVector<int64_t, 8> C(Value2Index.size() + NewVariables.size() + 1, 0);
757     auto &Value2Index = getValue2Index(false);
759     return ConstraintTy(SmallVector<int64_t, 8>(Value2Index.size(), 0), false,
896                            const DenseMap<Value *, unsigned> &Value2Index) {
897   ConstraintSystem CS(Value2Index);
1226 /// cloned until we reach operands that have an entry in \p Value2Index. Those
1244   // Value2Index or not an instruction, or not a operation that
1249     auto &Value2Index = Info.getValue2Index(IsSigned);
1261       if (Value2Index.contains(V) || !I ||
1299   // an value in Value2Index (external input to the reproducer). Update Old2New
1305     auto &Value2Index = Info.getValue2Index(IsSigned);
1312       if (!Value2Index.contains(V) && I) {
1579     auto &Value2Index = getValue2Index(R.IsSigned);
1581       Value2Index.insert({V, Value2Index.size() + 1});
1596         ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),
1598         VarPos.Coefficients[Value2Index[V]] = -1;