Lines Matching refs:Solver
152 /// SCCPSolver - This class is a general purpose solver for Sparse Conditional
235 /// AddTrackedFunction - If the SCCP solver is supposed to track calls into
260 /// method should be use to handle this. If this returns true, the solver
1227 /// method should be use to handle this. If this returns true, the solver
1559 SCCPSolver Solver(TD, TLI);
1562 Solver.MarkBlockExecutable(F.begin());
1566 Solver.markAnythingOverdefined(AI);
1571 Solver.Solve();
1573 ResolvedUndefs = Solver.ResolvedUndefsIn(F);
1583 if (!Solver.isBlockExecutable(BB)) {
1601 LatticeVal IV = Solver.getLatticeValueFor(Inst);
1688 SCCPSolver Solver(TD, TLI);
1707 Solver.AddTrackedFunction(F);
1716 Solver.AddArgumentTrackedFunction(F);
1722 Solver.MarkBlockExecutable(F->begin());
1727 Solver.markAnythingOverdefined(AI);
1730 // Loop over global variables. We inform the solver about any internal global
1736 Solver.TrackValueOfGlobalVariable(G);
1741 Solver.Solve();
1746 ResolvedUndefs |= Solver.ResolvedUndefsIn(*F);
1757 if (Solver.isBlockExecutable(F->begin())) {
1765 LatticeVal IV = Solver.getLatticeValueFor(AI);
1780 if (!Solver.isBlockExecutable(BB)) {
1809 LatticeVal IV = Solver.getLatticeValueFor(Inst);
1895 const DenseMap<Function*, LatticeVal> &RV = Solver.getTrackedRetVals();
1920 const DenseMap<GlobalVariable*, LatticeVal> &TG = Solver.getTrackedGlobals();
