Searched refs:cmpExcludesZero (Results 1 – 1 of 1) sorted by relevance
547 static bool cmpExcludesZero(CmpInst::Predicate Pred, const Value *RHS) { in cmpExcludesZero() function618 if (cmpExcludesZero(Pred, RHS) && isValidAssumeForContext(I, Q.CxtI, Q.DT)) in isKnownNonZeroFromAssume()2500 if (cmpExcludesZero(Pred, RHS)) in isKnownNonNullFromDominatingCondition()2502 else if (cmpExcludesZero(CmpInst::getInversePredicate(Pred), RHS)) in isKnownNonNullFromDominatingCondition()2932 return cmpExcludesZero(Pred, X); in isKnownNonZeroFromOperator()2964 if (cmpExcludesZero(Pred, X)) in isKnownNonZeroFromOperator()