Searched refs:getConstraintForSolving (Results 1 – 1 of 1) sorted by relevance
312 ConstraintTy getConstraintForSolving(CmpInst::Predicate Pred, Value *Op0,807 ConstraintTy ConstraintInfo::getConstraintForSolving(CmpInst::Predicate Pred, in getConstraintForSolving() function in ConstraintInfo889 auto R = getConstraintForSolving(Pred, A, B); in doesHold()1422 auto R = Info.getConstraintForSolving(Pred, A, B); in checkCondition()1764 auto R = Info.getConstraintForSolving(Pred, A, B); in tryToSimplifyOverflowMath()