317                              SmallVectorImpl<Value *> &NewVariables) const;
619                               SmallVectorImpl<Value *> &NewVariables) const {  in getConstraint()
620   assert(NewVariables.empty() && "NewVariables must be empty when passed in");  in getConstraint()
676   auto GetOrAddIndex = [&Value2Index, &NewVariables,  in getConstraint()
682         NewIndexMap.insert({V, Value2Index.size() + NewVariables.size() + 1});  in getConstraint()
684       NewVariables.push_back(V);  in getConstraint()
695       SmallVector<int64_t, 8>(Value2Index.size() + NewVariables.size() + 1, 0),  in getConstraint()
728   while (!NewVariables.empty()) {  in getConstraint()
733     Value *RemovedV = NewVariables.pop_back_val();  in getConstraint()
742     SmallVector<int64_t, 8> C(Value2Index.size() + NewVariables.size() + 1, 0);  in getConstraint()
771   SmallVector<Value *> NewVariables;  in getConstraintForSolving()  local
772   ConstraintTy R = getConstraint(Pred, Op0, Op1, NewVariables);  in getConstraintForSolving()
773   if (!NewVariables.empty())  in getConstraintForSolving()
1559   SmallVector<Value *> NewVariables;  in addFact()  local
1560   auto R = getConstraint(Pred, A, B, NewVariables);  in addFact()
1580     for (Value *V : NewVariables) {  in addFact()
1595       for (Value *V : NewVariables) {  in addFact()