Searched refs:NewVariables (Results 1 – 1 of 1) sorted by relevance
660 auto GetOrAddIndex = [&Value2Index, &NewVariables, in getConstraint()668 NewVariables.push_back(V); in getConstraint()712 while (!NewVariables.empty()) { in getConstraint()717 Value *RemovedV = NewVariables.pop_back_val(); in getConstraint()755 SmallVector<Value *> NewVariables; in getConstraintForSolving() local756 ConstraintTy R = getConstraint(Pred, Op0, Op1, NewVariables); in getConstraintForSolving()757 if (!NewVariables.empty()) in getConstraintForSolving()1479 SmallVector<Value *> NewVariables; in addFact() local1480 auto R = getConstraint(Pred, A, B, NewVariables); in addFact()1500 for (Value *V : NewVariables) { in addFact()[all …]