Lines Matching refs:intersectWith

4465     return setRange(Add, SignHint, ConservativeResult.intersectWith(X));
4472     return setRange(Mul, SignHint, ConservativeResult.intersectWith(X));
4479     return setRange(SMax, SignHint, ConservativeResult.intersectWith(X));
4486     return setRange(UMax, SignHint, ConservativeResult.intersectWith(X));
4493                     ConservativeResult.intersectWith(X.udiv(Y)));
4499                     ConservativeResult.intersectWith(X.zeroExtend(BitWidth)));
4505                     ConservativeResult.intersectWith(X.signExtend(BitWidth)));
4511                     ConservativeResult.intersectWith(X.truncate(BitWidth)));
4520           ConservativeResult = ConservativeResult.intersectWith(
4533         ConservativeResult = ConservativeResult.intersectWith(
4537         ConservativeResult = ConservativeResult.intersectWith(
4552               ConservativeResult.intersectWith(RangeFromAffine);
4559               ConservativeResult.intersectWith(RangeFromFactoring);
4570       ConservativeResult = ConservativeResult.intersectWith(MDRange.getValue());
4582             ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1));
4588         ConservativeResult = ConservativeResult.intersectWith(
4637           Result.intersectWith(ConstantRange(Min, Max + 1));
4658           Result.intersectWith(ConstantRange(Min, Max + 1));