Lines Matching refs:Solver
91 static ConstantRange getRange(Value *Op, SCCPSolver &Solver, in getRange() argument
99 return Solver.getLatticeValueFor(Op).asConstantRange(Op->getType(), in getRange()
104 static bool refineInstruction(SCCPSolver &Solver, in refineInstruction() argument
108 auto GetRange = [&Solver, &InsertedValues](Value *Op) { in refineInstruction()
109 return getRange(Op, Solver, InsertedValues); in refineInstruction()
176 static bool replaceSignedInst(SCCPSolver &Solver, in replaceSignedInst() argument
180 auto isNonNegative = [&Solver, &InsertedValues](Value *V) { in replaceSignedInst()
181 return getRange(V, Solver, InsertedValues).isAllNonNegative(); in replaceSignedInst()
231 Solver.removeLatticeValueFor(&Inst); in replaceSignedInst()
237 static Value *simplifyInstruction(SCCPSolver &Solver, in simplifyInstruction() argument
240 auto GetRange = [&Solver, &InsertedValues](Value *Op) { in simplifyInstruction()
241 return getRange(Op, Solver, InsertedValues); in simplifyInstruction()