Searched refs:cmpExcludesZero (Results 1 – 1 of 1) sorted by relevance
569 static bool cmpExcludesZero(CmpInst::Predicate Pred, const Value *RHS) { in cmpExcludesZero() function623 if (cmpExcludesZero(Pred, RHS) && isValidAssumeForContext(I, Q.CxtI, Q.DT)) in isKnownNonZeroFromAssume()2136 if (cmpExcludesZero(Pred, RHS)) in isKnownNonNullFromDominatingCondition()2138 else if (cmpExcludesZero(CmpInst::getInversePredicate(Pred), RHS)) in isKnownNonNullFromDominatingCondition()