Searched refs:getConstraintForSolving (Results 1 – 1 of 1) sorted by relevance
325 ConstraintTy getConstraintForSolving(CmpInst::Predicate Pred, Value *Op0,733 ConstraintTy ConstraintInfo::getConstraintForSolving(CmpInst::Predicate Pred, in getConstraintForSolving() function in ConstraintInfo815 auto R = getConstraintForSolving(Pred, A, B); in doesHold()1325 auto R = Info.getConstraintForSolving(Pred, A, B); in checkCondition()1574 auto R = Info.getConstraintForSolving(Pred, A, B); in tryToSimplifyOverflowMath()