2266   void SolveRecurse(SmallVectorImpl<const Formula *> &Solution,
2272   void Solve(SmallVectorImpl<const Formula *> &Solution) const;
2289   void ImplementSolution(const SmallVectorImpl<const Formula *> &Solution);
5423 void LSRInstance::SolveRecurse(SmallVectorImpl<const Formula *> &Solution,  in SolveRecurse()  argument
5484         SolveRecurse(Solution, SolutionCost, Workspace, NewCost,  in SolveRecurse()
5496         Solution = Workspace;  in SolveRecurse()
5505 void LSRInstance::Solve(SmallVectorImpl<const Formula *> &Solution) const {  in Solve()
5515   SolveRecurse(Solution, SolutionCost, Workspace, CurCost,  in Solve()
5517   if (Solution.empty()) {  in Solve()
5531                Solution[i]->print(dbgs());  in Solve()
5535   assert(Solution.size() == Uses.size() && "Malformed solution!");  in Solve()
5557       Solution.clear();  in Solve()
6067     const SmallVectorImpl<const Formula *> &Solution) {  in ImplementSolution()  argument
6086       Rewrite(Uses[LUIdx], Fixup, *Solution[LUIdx], DeadInsts);  in ImplementSolution()
6243   SmallVector<const Formula *, 8> Solution;  in LSRInstance()  local
6244   Solve(Solution);  in LSRInstance()
6251   if (Solution.empty())  in LSRInstance()
6264   ImplementSolution(Solution);  in LSRInstance()