Searched refs:getConstraintForSolving (Results 1 – 1 of 1) sorted by relevance
175 ConstraintTy getConstraintForSolving(CmpInst::Predicate Pred, Value *Op0,514 ConstraintTy ConstraintInfo::getConstraintForSolving(CmpInst::Predicate Pred, in getConstraintForSolving() function in ConstraintInfo541 auto R = getConstraintForSolving(Pred, A, B); in doesHold()758 auto R = Info.getConstraintForSolving(Pred, A, B); in checkAndReplaceCondition()901 auto R = Info.getConstraintForSolving(Pred, A, B); in tryToSimplifyOverflowMath()