Searched refs:SubsetIntersect (Results 1 – 1 of 1) sorted by relevance
526 auto SubsetIntersect = CR0.inverse().unionWith(CR1.inverse()).inverse(); in widenCondCommon() local531 if (SubsetIntersect == SupersetIntersect && in widenCondCommon()532 SubsetIntersect.getEquivalentICmp(Pred, NewRHSAP)) { in widenCondCommon()