2063   void SolveRecurse(SmallVectorImpl<const Formula *> &Solution,
2069   void Solve(SmallVectorImpl<const Formula *> &Solution) const;
2086   void ImplementSolution(const SmallVectorImpl<const Formula *> &Solution);
5047 void LSRInstance::SolveRecurse(SmallVectorImpl<const Formula *> &Solution,  in SolveRecurse()  argument
5108         SolveRecurse(Solution, SolutionCost, Workspace, NewCost,  in SolveRecurse()
5120         Solution = Workspace;  in SolveRecurse()
5129 void LSRInstance::Solve(SmallVectorImpl<const Formula *> &Solution) const {  in Solve()
5139   SolveRecurse(Solution, SolutionCost, Workspace, CurCost,  in Solve()
5141   if (Solution.empty()) {  in Solve()
5155                Solution[i]->print(dbgs());  in Solve()
5159   assert(Solution.size() == Uses.size() && "Malformed solution!");  in Solve()
5615     const SmallVectorImpl<const Formula *> &Solution) {  in ImplementSolution()  argument
5631       Rewrite(Uses[LUIdx], Fixup, *Solution[LUIdx], DeadInsts);  in ImplementSolution()
5785   SmallVector<const Formula *, 8> Solution;  in LSRInstance()  local
5786   Solve(Solution);  in LSRInstance()
5793   if (Solution.empty())  in LSRInstance()
5806   ImplementSolution(Solution);  in LSRInstance()