Lines Matching refs:SparseSolver
32 class SparseSolver;
84 virtual Constant *GetConstant(LatticeVal LV, Value *Val, SparseSolver &SS) {
103 virtual LatticeVal ComputeInstructionState(Instruction &I, SparseSolver &SS) {
112 /// SparseSolver - This class is a general purpose solver for Sparse Conditional
115 class SparseSolver {
134 SparseSolver(const SparseSolver&) = delete;
135 void operator=(const SparseSolver&) = delete;
137 explicit SparseSolver(AbstractLatticeFunction *Lattice)
139 ~SparseSolver() {
