Lines Matching defs:ConservativeResult
6664 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true);
6673 ConservativeResult =
6680 ConservativeResult = ConstantRange(
6696 ConservativeResult.intersectWith(X.truncate(BitWidth), RangeType));
6703 ConservativeResult.intersectWith(X.zeroExtend(BitWidth), RangeType));
6710 ConservativeResult.intersectWith(X.signExtend(BitWidth), RangeType));
6729 ConservativeResult.intersectWith(X, RangeType));
6737 ConservativeResult.intersectWith(X, RangeType));
6744 ConservativeResult.intersectWith(X.udiv(Y), RangeType));
6753 ConservativeResult = ConservativeResult.intersectWith(
6772 ConservativeResult = ConservativeResult.intersectWith(
6777 ConservativeResult = ConservativeResult.intersectWith(
6802 ConservativeResult =
6803 ConservativeResult.intersectWith(RangeFromAffine, RangeType);
6807 ConservativeResult =
6808 ConservativeResult.intersectWith(RangeFromFactoring, RangeType);
6821 ConservativeResult =
6822 ConservativeResult.intersectWith(RangeFromAffineNew, RangeType);
6827 return setRange(AddRec, SignHint, std::move(ConservativeResult));
6859 ConservativeResult.intersectWith(X, RangeType));
6868 ConservativeResult =
6869 ConservativeResult.intersectWith(*MDRange, RangeType);
6875 ConservativeResult = ConservativeResult.intersectWith(CR);
6904 ConservativeResult = ConservativeResult.intersectWith(
6908 ConservativeResult = ConservativeResult.intersectWith(
6934 ConservativeResult = ConservativeResult.intersectWith(
6952 ConservativeResult =
6953 ConservativeResult.intersectWith(RangeFromOps, RangeType);
6964 ConservativeResult = ConservativeResult.difference(Disallowed);
6967 return setRange(U, SignHint, std::move(ConservativeResult));
6973 return setRange(S, SignHint, std::move(ConservativeResult));