Lines Matching refs:IntRange
10651 struct IntRange { struct
10661 IntRange(unsigned Width, bool NonNegative) in IntRange() function
10670 static IntRange forBoolType() { in forBoolType() argument
10671 return IntRange(1, true); in forBoolType()
10675 static IntRange forValueOfType(ASTContext &C, QualType T) { in forValueOfType() argument
10681 static IntRange forValueOfCanonicalType(ASTContext &C, const Type *T) { in forValueOfCanonicalType() argument
10701 return IntRange(C.getIntWidth(QualType(T, 0)), in forValueOfCanonicalType()
10709 return IntRange(NumPositive, true/*NonNegative*/); in forValueOfCanonicalType()
10711 return IntRange(std::max(NumPositive + 1, NumNegative), in forValueOfCanonicalType()
10716 return IntRange(EIT->getNumBits(), EIT->isUnsigned()); in forValueOfCanonicalType()
10721 return IntRange(C.getIntWidth(QualType(T, 0)), BT->isUnsignedInteger()); in forValueOfCanonicalType()
10729 static IntRange forTargetOfCanonicalType(ASTContext &C, const Type *T) { in forTargetOfCanonicalType() argument
10742 return IntRange(EIT->getNumBits(), EIT->isUnsigned()); in forTargetOfCanonicalType()
10747 return IntRange(C.getIntWidth(QualType(T, 0)), BT->isUnsignedInteger()); in forTargetOfCanonicalType()
10751 static IntRange join(IntRange L, IntRange R) { in join() argument
10753 return IntRange(std::max(L.valueBits(), R.valueBits()) + !Unsigned, in join()
10758 static IntRange bit_and(IntRange L, IntRange R) { in bit_and() argument
10769 return IntRange(Bits, NonNegative); in bit_and()
10773 static IntRange sum(IntRange L, IntRange R) { in sum() argument
10775 return IntRange(std::max(L.valueBits(), R.valueBits()) + 1 + !Unsigned, in sum()
10780 static IntRange difference(IntRange L, IntRange R) { in difference() argument
10786 return IntRange(std::max(L.valueBits(), R.valueBits()) + CanWiden + in difference()
10792 static IntRange product(IntRange L, IntRange R) { in product() argument
10798 return IntRange(L.valueBits() + R.valueBits() + CanWiden + !Unsigned, in product()
10803 static IntRange rem(IntRange L, IntRange R) { in rem() argument
10807 return IntRange(std::min(L.valueBits(), R.valueBits()) + !Unsigned, in rem()
10814 static IntRange GetValueRange(ASTContext &C, llvm::APSInt &value, in GetValueRange()
10817 return IntRange(value.getMinSignedBits(), false); in GetValueRange()
10824 return IntRange(value.getActiveBits(), true); in GetValueRange()
10827 static IntRange GetValueRange(ASTContext &C, APValue &result, QualType Ty, in GetValueRange()
10833 IntRange R = GetValueRange(C, result.getVectorElt(0), Ty, MaxWidth); in GetValueRange()
10835 IntRange El = GetValueRange(C, result.getVectorElt(i), Ty, MaxWidth); in GetValueRange()
10836 R = IntRange::join(R, El); in GetValueRange()
10842 IntRange R = GetValueRange(C, result.getComplexIntReal(), MaxWidth); in GetValueRange()
10843 IntRange I = GetValueRange(C, result.getComplexIntImag(), MaxWidth); in GetValueRange()
10844 return IntRange::join(R, I); in GetValueRange()
10853 return IntRange(MaxWidth, Ty->isUnsignedIntegerOrEnumerationType()); in GetValueRange()
10871 static IntRange GetExprRange(ASTContext &C, const Expr *E, unsigned MaxWidth, in GetExprRange()
10888 IntRange OutputTypeRange = IntRange::forValueOfType(C, GetExprType(CE)); in GetExprRange()
10897 IntRange SubRange = GetExprRange(C, CE->getSubExpr(), in GetExprRange()
10907 return IntRange(SubRange.Width, in GetExprRange()
10923 IntRange L = E->getType()->isVoidType() in GetExprRange()
10924 ? IntRange{0, true} in GetExprRange()
10927 IntRange R = E->getType()->isVoidType() in GetExprRange()
10928 ? IntRange{0, true} in GetExprRange()
10930 return IntRange::join(L, R); in GetExprRange()
10934 IntRange (*Combine)(IntRange, IntRange) = IntRange::join; in GetExprRange()
10949 return IntRange::forBoolType(); in GetExprRange()
10961 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
10973 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
10978 Combine = IntRange::bit_and; in GetExprRange()
10988 IntRange R = IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
10989 return IntRange(R.Width, /*NonNegative*/ true); in GetExprRange()
10995 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
11000 IntRange L = GetExprRange(C, BO->getLHS(), MaxWidth, InConstantContext, in GetExprRange()
11026 Combine = IntRange::sum; in GetExprRange()
11031 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
11033 Combine = IntRange::difference; in GetExprRange()
11038 Combine = IntRange::product; in GetExprRange()
11046 IntRange L = GetExprRange(C, BO->getLHS(), opWidth, InConstantContext, in GetExprRange()
11063 IntRange R = GetExprRange(C, BO->getRHS(), opWidth, InConstantContext, in GetExprRange()
11065 return IntRange(L.Width, L.NonNegative && R.NonNegative); in GetExprRange()
11069 Combine = IntRange::rem; in GetExprRange()
11082 IntRange L = in GetExprRange()
11084 IntRange R = in GetExprRange()
11086 IntRange C = Combine(L, R); in GetExprRange()
11096 return IntRange::forBoolType(); in GetExprRange()
11101 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
11114 return IntRange(BitField->getBitWidthValue(C), in GetExprRange()
11117 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
11120 static IntRange GetExprRange(ASTContext &C, const Expr *E, in GetExprRange()
11211 PromotedRange(IntRange R, unsigned BitWidth, bool Unsigned) { in PromotedRange()
11368 IntRange OtherValueRange = GetExprRange( in CheckTautologicalComparison()
11374 IntRange OtherTypeRange = IntRange::forValueOfType(S.Context, OtherT); in CheckTautologicalComparison()
11387 OtherTypeRange = OtherValueRange = IntRange::forBoolType(); in CheckTautologicalComparison()
11582 IntRange signedRange = GetExprRange( in AnalyzeComparison()
11600 IntRange unsignedRange = in AnalyzeComparison()
11973 IntRange Range) { in PrettyPrintInRange()
12494 IntRange SourceRange = GetExprRange(S.Context, E, S.isConstantEvaluated(), in CheckImplicitConversion()
12560 IntRange SourceTypeRange = in CheckImplicitConversion()
12561 IntRange::forTargetOfCanonicalType(S.Context, Source); in CheckImplicitConversion()
12562 IntRange LikelySourceRange = in CheckImplicitConversion()
12564 IntRange TargetRange = IntRange::forTargetOfCanonicalType(S.Context, Target); in CheckImplicitConversion()