Searched refs:cmpExcludesZero (Results 1 – 1 of 1) sorted by relevance
560 static bool cmpExcludesZero(CmpInst::Predicate Pred, const Value *RHS) { in cmpExcludesZero() function666 if (cmpExcludesZero(Pred, RHS) && isValidAssumeForContext(I, Q.CxtI, Q.DT)) in isKnownNonZeroFromAssume()2726 if (cmpExcludesZero(Pred, RHS)) in isKnownNonNullFromDominatingCondition()2728 else if (cmpExcludesZero(CmpInst::getInversePredicate(Pred), RHS)) in isKnownNonNullFromDominatingCondition()3159 return cmpExcludesZero(Pred, X); in isKnownNonZeroFromOperator()3191 if (cmpExcludesZero(Pred, X)) in isKnownNonZeroFromOperator()