Lines Matching refs:ConservativeResult
4445 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true);
4452 ConservativeResult =
4456 ConservativeResult = ConstantRange(
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(
4551 ConservativeResult =
4552 ConservativeResult.intersectWith(RangeFromAffine);
4558 ConservativeResult =
4559 ConservativeResult.intersectWith(RangeFromFactoring);
4563 return setRange(AddRec, SignHint, ConservativeResult);
4570 ConservativeResult = ConservativeResult.intersectWith(MDRange.getValue());
4581 ConservativeResult =
4582 ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1));
4588 ConservativeResult = ConservativeResult.intersectWith(
4593 return setRange(U, SignHint, ConservativeResult);
4596 return setRange(S, SignHint, ConservativeResult);