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