Searched refs:SubsetIntersect (Results 1 – 4 of 4) sorted by relevance
430 auto SubsetIntersect = CR0.inverse().unionWith(CR1.inverse()).inverse(); in widenCondCommon() local435 if (SubsetIntersect == SupersetIntersect && in widenCondCommon()436 SubsetIntersect.getEquivalentICmp(Pred, NewRHSAP)) { in widenCondCommon()
178 auto SubsetIntersect = in makeGuaranteedNoWrapRegion() local205 SubsetIntersect(Result, ConstantRange(APInt::getNullValue(BitWidth), in makeGuaranteedNoWrapRegion()213 Result = SubsetIntersect( in makeGuaranteedNoWrapRegion()219 Result = SubsetIntersect( in makeGuaranteedNoWrapRegion()
527 auto SubsetIntersect = CR0.inverse().unionWith(CR1.inverse()).inverse(); in widenCondCommon() local532 if (SubsetIntersect == SupersetIntersect && in widenCondCommon()533 SubsetIntersect.getEquivalentICmp(Pred, NewRHSAP)) { in widenCondCommon()