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