Lines Matching refs:Solver
1513 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant() argument
1516 std::vector<LatticeVal> IVs = Solver.getStructLatticeValueFor(V); in tryToReplaceWithConstant()
1530 LatticeVal IV = Solver.getLatticeValueFor(V); in tryToReplaceWithConstant()
1543 static bool tryToReplaceInstWithConstant(SCCPSolver &Solver, Instruction *Inst, in tryToReplaceInstWithConstant() argument
1545 if (!tryToReplaceWithConstant(Solver, Inst)) in tryToReplaceInstWithConstant()
1560 SCCPSolver Solver(DL, TLI); in runSCCP() local
1563 Solver.MarkBlockExecutable(&F.front()); in runSCCP()
1567 Solver.markAnythingOverdefined(&AI); in runSCCP()
1572 Solver.Solve(); in runSCCP()
1574 ResolvedUndefs = Solver.ResolvedUndefsIn(F); in runSCCP()
1584 if (!Solver.isBlockExecutable(&BB)) { in runSCCP()
1602 if (tryToReplaceInstWithConstant(Solver, Inst, in runSCCP()
1695 SCCPSolver Solver(DL, TLI); in runIPSCCP() local
1714 Solver.AddTrackedFunction(&F); in runIPSCCP()
1723 Solver.AddArgumentTrackedFunction(&F); in runIPSCCP()
1729 Solver.MarkBlockExecutable(&F.front()); in runIPSCCP()
1733 Solver.markAnythingOverdefined(&AI); in runIPSCCP()
1741 Solver.TrackValueOfGlobalVariable(&G); in runIPSCCP()
1746 Solver.Solve(); in runIPSCCP()
1751 ResolvedUndefs |= Solver.ResolvedUndefsIn(F); in runIPSCCP()
1765 if (Solver.isBlockExecutable(&F.front())) { in runIPSCCP()
1770 if (tryToReplaceWithConstant(Solver, &*AI)) in runIPSCCP()
1776 if (!Solver.isBlockExecutable(&*BB)) { in runIPSCCP()
1795 Solver, Inst, in runIPSCCP()
1870 const DenseMap<Function*, LatticeVal> &RV = Solver.getTrackedRetVals(); in runIPSCCP()
1894 const DenseMap<GlobalVariable*, LatticeVal> &TG = Solver.getTrackedGlobals(); in runIPSCCP()