Lines Matching defs:Value2Index

242   /// satisfied given \p CS and the corresponding \p Value2Index mapping.
277     auto &Value2Index = getValue2Index(false);
280       ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),
282       VarPos.Coefficients[Value2Index[Arg]] = -1;
694   auto &Value2Index = getValue2Index(IsSigned);
706   // First try to look up \p V in Value2Index and NewVariables. Otherwise add a
709   auto GetOrAddIndex = [&Value2Index, &NewVariables,
711     auto V2I = Value2Index.find(V);
712     if (V2I != Value2Index.end())
715         NewIndexMap.insert({V, Value2Index.size() + NewVariables.size() + 1});
721   // Make sure all variables have entries in Value2Index or NewVariables.
728       SmallVector<int64_t, 8>(Value2Index.size() + NewVariables.size() + 1, 0),
773         (!Value2Index.contains(KV.first) && !NewIndexMap.contains(KV.first)))
776         Value2Index.size() + NewVariables.size() + 1, 0);
790     auto &Value2Index = getValue2Index(false);
792     return ConstraintTy(SmallVector<int64_t, 8>(Value2Index.size(), 0), false,
929                            const DenseMap<Value *, unsigned> &Value2Index) {
930   ConstraintSystem CS(Value2Index);
1257 /// cloned until we reach operands that have an entry in \p Value2Index. Those
1275   // Value2Index or not an instruction, or not a operation that
1280     auto &Value2Index = Info.getValue2Index(IsSigned);
1292       if (Value2Index.contains(V) || !I ||
1330   // an value in Value2Index (external input to the reproducer). Update Old2New
1336     auto &Value2Index = Info.getValue2Index(IsSigned);
1343       if (!Value2Index.contains(V) && I) {
1628   auto &Value2Index = getValue2Index(R.IsSigned);
1630     Value2Index.insert({V, Value2Index.size() + 1});
1645       ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),
1647       VarPos.Coefficients[Value2Index[V]] = -1;