3282     return setUnsignedRange(Add, ConservativeResult.intersectWith(X));  in getUnsignedRange()
3289     return setUnsignedRange(Mul, ConservativeResult.intersectWith(X));  in getUnsignedRange()
3296     return setUnsignedRange(SMax, ConservativeResult.intersectWith(X));  in getUnsignedRange()
3303     return setUnsignedRange(UMax, ConservativeResult.intersectWith(X));  in getUnsignedRange()
3309     return setUnsignedRange(UDiv, ConservativeResult.intersectWith(X.udiv(Y)));  in getUnsignedRange()
3315       ConservativeResult.intersectWith(X.zeroExtend(BitWidth)));  in getUnsignedRange()
3321       ConservativeResult.intersectWith(X.signExtend(BitWidth)));  in getUnsignedRange()
3327       ConservativeResult.intersectWith(X.truncate(BitWidth)));  in getUnsignedRange()
3337             ConservativeResult.intersectWith(  in getUnsignedRange()
3376           ConservativeResult.intersectWith(ConstantRange(Min, Max+1)));  in getUnsignedRange()
3391       ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)));  in getUnsignedRange()
3424     return setSignedRange(Add, ConservativeResult.intersectWith(X));  in getSignedRange()
3431     return setSignedRange(Mul, ConservativeResult.intersectWith(X));  in getSignedRange()
3438     return setSignedRange(SMax, ConservativeResult.intersectWith(X));  in getSignedRange()
3445     return setSignedRange(UMax, ConservativeResult.intersectWith(X));  in getSignedRange()
3451     return setSignedRange(UDiv, ConservativeResult.intersectWith(X.udiv(Y)));  in getSignedRange()
3457       ConservativeResult.intersectWith(X.zeroExtend(BitWidth)));  in getSignedRange()
3463       ConservativeResult.intersectWith(X.signExtend(BitWidth)));  in getSignedRange()
3469       ConservativeResult.intersectWith(X.truncate(BitWidth)));  in getSignedRange()
3483         ConservativeResult = ConservativeResult.intersectWith(  in getSignedRange()
3487         ConservativeResult = ConservativeResult.intersectWith(  in getSignedRange()
3528           ConservativeResult.intersectWith(ConstantRange(Min, Max+1)));  in getSignedRange()
3542     return setSignedRange(U, ConservativeResult.intersectWith(  in getSignedRange()
5797     if (getUnsignedRange(LHS).intersectWith(getUnsignedRange(RHS)).isEmptySet())  in isKnownPredicateWithRanges()
5799     if (getSignedRange(LHS).intersectWith(getSignedRange(RHS)).isEmptySet())  in isKnownPredicateWithRanges()