1998   void SolveRecurse(SmallVectorImpl<const Formula *> &Solution,
2004   void Solve(SmallVectorImpl<const Formula *> &Solution) const;
2024   void ImplementSolution(const SmallVectorImpl<const Formula *> &Solution);
4799 void LSRInstance::SolveRecurse(SmallVectorImpl<const Formula *> &Solution,  in SolveRecurse()  argument
4855         SolveRecurse(Solution, SolutionCost, Workspace, NewCost,  in SolveRecurse()
4867         Solution = Workspace;  in SolveRecurse()
4876 void LSRInstance::Solve(SmallVectorImpl<const Formula *> &Solution) const {  in Solve()
4886   SolveRecurse(Solution, SolutionCost, Workspace, CurCost,  in Solve()
4888   if (Solution.empty()) {  in Solve()
4902                Solution[i]->print(dbgs());  in Solve()
4906   assert(Solution.size() == Uses.size() && "Malformed solution!");  in Solve()
5323     const SmallVectorImpl<const Formula *> &Solution) {  in ImplementSolution()  argument
5346       Rewrite(Uses[LUIdx], Fixup, *Solution[LUIdx], Rewriter, DeadInsts);  in ImplementSolution()
5448   SmallVector<const Formula *, 8> Solution;  in LSRInstance()  local
5449   Solve(Solution);  in LSRInstance()
5456   if (Solution.empty())  in LSRInstance()
5469   ImplementSolution(Solution);  in LSRInstance()