316                              SmallVectorImpl<Value *> &NewVariables) const;
603                               SmallVectorImpl<Value *> &NewVariables) const {  in getConstraint()
604   assert(NewVariables.empty() && "NewVariables must be empty when passed in");  in getConstraint()
660   auto GetOrAddIndex = [&Value2Index, &NewVariables,  in getConstraint()
666         NewIndexMap.insert({V, Value2Index.size() + NewVariables.size() + 1});  in getConstraint()
668       NewVariables.push_back(V);  in getConstraint()
679       SmallVector<int64_t, 8>(Value2Index.size() + NewVariables.size() + 1, 0),  in getConstraint()
712   while (!NewVariables.empty()) {  in getConstraint()
717     Value *RemovedV = NewVariables.pop_back_val();  in getConstraint()
726     SmallVector<int64_t, 8> C(Value2Index.size() + NewVariables.size() + 1, 0);  in getConstraint()
755   SmallVector<Value *> NewVariables;  in getConstraintForSolving()  local
756   ConstraintTy R = getConstraint(Pred, Op0, Op1, NewVariables);  in getConstraintForSolving()
757   if (!NewVariables.empty())  in getConstraintForSolving()
1479   SmallVector<Value *> NewVariables;  in addFact()  local
1480   auto R = getConstraint(Pred, A, B, NewVariables);  in addFact()
1500     for (Value *V : NewVariables) {  in addFact()
1515       for (Value *V : NewVariables) {  in addFact()