2057   void SolveRecurse(SmallVectorImpl<const Formula *> &Solution,
2063   void Solve(SmallVectorImpl<const Formula *> &Solution) const;
2083   void ImplementSolution(const SmallVectorImpl<const Formula *> &Solution);
4994 void LSRInstance::SolveRecurse(SmallVectorImpl<const Formula *> &Solution,  in SolveRecurse()  argument
5055         SolveRecurse(Solution, SolutionCost, Workspace, NewCost,  in SolveRecurse()
5067         Solution = Workspace;  in SolveRecurse()
5076 void LSRInstance::Solve(SmallVectorImpl<const Formula *> &Solution) const {  in Solve()
5086   SolveRecurse(Solution, SolutionCost, Workspace, CurCost,  in Solve()
5088   if (Solution.empty()) {  in Solve()
5102                Solution[i]->print(dbgs());  in Solve()
5106   assert(Solution.size() == Uses.size() && "Malformed solution!");  in Solve()
5567     const SmallVectorImpl<const Formula *> &Solution) {  in ImplementSolution()  argument
5590       Rewrite(Uses[LUIdx], Fixup, *Solution[LUIdx], Rewriter, DeadInsts);  in ImplementSolution()
5751   SmallVector<const Formula *, 8> Solution;  in LSRInstance()  local
5752   Solve(Solution);  in LSRInstance()
5759   if (Solution.empty())  in LSRInstance()
5772   ImplementSolution(Solution);  in LSRInstance()