Searched refs:getConstraintForSolving (Results 1 – 1 of 1) sorted by relevance
326 ConstraintTy getConstraintForSolving(CmpInst::Predicate Pred, Value *Op0,749 ConstraintTy ConstraintInfo::getConstraintForSolving(CmpInst::Predicate Pred, in getConstraintForSolving() function in ConstraintInfo831 auto R = getConstraintForSolving(Pred, A, B); in doesHold()1363 auto R = Info.getConstraintForSolving(Pred, A, B); in checkCondition()1654 auto R = Info.getConstraintForSolving(Pred, A, B); in tryToSimplifyOverflowMath()