2080   void SolveRecurse(SmallVectorImpl<const Formula *> &Solution,
2086   void Solve(SmallVectorImpl<const Formula *> &Solution) const;
2103   void ImplementSolution(const SmallVectorImpl<const Formula *> &Solution);
5136 void LSRInstance::SolveRecurse(SmallVectorImpl<const Formula *> &Solution,  in SolveRecurse()  argument
5197         SolveRecurse(Solution, SolutionCost, Workspace, NewCost,  in SolveRecurse()
5209         Solution = Workspace;  in SolveRecurse()
5218 void LSRInstance::Solve(SmallVectorImpl<const Formula *> &Solution) const {  in Solve()
5228   SolveRecurse(Solution, SolutionCost, Workspace, CurCost,  in Solve()
5230   if (Solution.empty()) {  in Solve()
5244                Solution[i]->print(dbgs());  in Solve()
5248   assert(Solution.size() == Uses.size() && "Malformed solution!");  in Solve()
5260       Solution.clear();  in Solve()
5767     const SmallVectorImpl<const Formula *> &Solution) {  in ImplementSolution()  argument
5786       Rewrite(Uses[LUIdx], Fixup, *Solution[LUIdx], DeadInsts);  in ImplementSolution()
5941   SmallVector<const Formula *, 8> Solution;  in LSRInstance()  local
5942   Solve(Solution);  in LSRInstance()
5949   if (Solution.empty())  in LSRInstance()
5962   ImplementSolution(Solution);  in LSRInstance()