Searched defs:Solver (Results 1 – 4 of 4) sorted by relevance
1753 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant()1806 SCCPSolver Solver( in runSCCP() local1922 SCCPSolver &Solver) { in findReturnsToZap()1972 static void forceIndeterminateEdge(Instruction* I, SCCPSolver &Solver) { in forceIndeterminateEdge()2009 SCCPSolver Solver(DL, GetTLI); in runIPSCCP() local
375 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
164 SolverT *Solver = nullptr; variable
262 Z3_solver Solver; member in __anon4fccaa100111::Z3Solver