Lines Matching refs:IntRange
9254 struct IntRange { struct
9264 IntRange(unsigned Width, bool NonNegative) in IntRange() function
9273 static IntRange forBoolType() { in forBoolType() argument
9274 return IntRange(1, true); in forBoolType()
9278 static IntRange forValueOfType(ASTContext &C, QualType T) { in forValueOfType() argument
9284 static IntRange forValueOfCanonicalType(ASTContext &C, const Type *T) { in forValueOfCanonicalType() argument
9304 return IntRange(C.getIntWidth(QualType(T, 0)), in forValueOfCanonicalType()
9312 return IntRange(NumPositive, true/*NonNegative*/); in forValueOfCanonicalType()
9314 return IntRange(std::max(NumPositive + 1, NumNegative), in forValueOfCanonicalType()
9319 return IntRange(EIT->getNumBits(), EIT->isUnsigned()); in forValueOfCanonicalType()
9324 return IntRange(C.getIntWidth(QualType(T, 0)), BT->isUnsignedInteger()); in forValueOfCanonicalType()
9332 static IntRange forTargetOfCanonicalType(ASTContext &C, const Type *T) { in forTargetOfCanonicalType() argument
9345 return IntRange(EIT->getNumBits(), EIT->isUnsigned()); in forTargetOfCanonicalType()
9350 return IntRange(C.getIntWidth(QualType(T, 0)), BT->isUnsignedInteger()); in forTargetOfCanonicalType()
9354 static IntRange join(IntRange L, IntRange R) { in join() argument
9356 return IntRange(std::max(L.valueBits(), R.valueBits()) + !Unsigned, in join()
9361 static IntRange bit_and(IntRange L, IntRange R) { in bit_and() argument
9372 return IntRange(Bits, NonNegative); in bit_and()
9376 static IntRange sum(IntRange L, IntRange R) { in sum() argument
9378 return IntRange(std::max(L.valueBits(), R.valueBits()) + 1 + !Unsigned, in sum()
9383 static IntRange difference(IntRange L, IntRange R) { in difference() argument
9389 return IntRange(std::max(L.valueBits(), R.valueBits()) + CanWiden + in difference()
9395 static IntRange product(IntRange L, IntRange R) { in product() argument
9401 return IntRange(L.valueBits() + R.valueBits() + CanWiden + !Unsigned, in product()
9406 static IntRange rem(IntRange L, IntRange R) { in rem() argument
9410 return IntRange(std::min(L.valueBits(), R.valueBits()) + !Unsigned, in rem()
9417 static IntRange GetValueRange(ASTContext &C, llvm::APSInt &value, in GetValueRange()
9420 return IntRange(value.getSignificantBits(), false); in GetValueRange()
9427 return IntRange(value.getActiveBits(), true); in GetValueRange()
9430 static IntRange GetValueRange(ASTContext &C, APValue &result, QualType Ty, in GetValueRange()
9436 IntRange R = GetValueRange(C, result.getVectorElt(0), Ty, MaxWidth); in GetValueRange()
9438 IntRange El = GetValueRange(C, result.getVectorElt(i), Ty, MaxWidth); in GetValueRange()
9439 R = IntRange::join(R, El); in GetValueRange()
9445 IntRange R = GetValueRange(C, result.getComplexIntReal(), MaxWidth); in GetValueRange()
9446 IntRange I = GetValueRange(C, result.getComplexIntImag(), MaxWidth); in GetValueRange()
9447 return IntRange::join(R, I); in GetValueRange()
9456 return IntRange(MaxWidth, Ty->isUnsignedIntegerOrEnumerationType()); in GetValueRange()
9474 static IntRange GetExprRange(ASTContext &C, const Expr *E, unsigned MaxWidth, in GetExprRange()
9491 IntRange OutputTypeRange = IntRange::forValueOfType(C, GetExprType(CE)); in GetExprRange()
9500 IntRange SubRange = GetExprRange(C, CE->getSubExpr(), in GetExprRange()
9510 return IntRange(SubRange.Width, in GetExprRange()
9526 IntRange L = E->getType()->isVoidType() in GetExprRange()
9527 ? IntRange{0, true} in GetExprRange()
9530 IntRange R = E->getType()->isVoidType() in GetExprRange()
9531 ? IntRange{0, true} in GetExprRange()
9533 return IntRange::join(L, R); in GetExprRange()
9537 IntRange (*Combine)(IntRange, IntRange) = IntRange::join; in GetExprRange()
9552 return IntRange::forBoolType(); in GetExprRange()
9564 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
9576 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
9581 Combine = IntRange::bit_and; in GetExprRange()
9591 IntRange R = IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
9592 return IntRange(R.Width, /*NonNegative*/ true); in GetExprRange()
9598 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
9603 IntRange L = GetExprRange(C, BO->getLHS(), MaxWidth, InConstantContext, in GetExprRange()
9628 Combine = IntRange::sum; in GetExprRange()
9633 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
9635 Combine = IntRange::difference; in GetExprRange()
9640 Combine = IntRange::product; in GetExprRange()
9648 IntRange L = GetExprRange(C, BO->getLHS(), opWidth, InConstantContext, in GetExprRange()
9665 IntRange R = GetExprRange(C, BO->getRHS(), opWidth, InConstantContext, in GetExprRange()
9667 return IntRange(L.Width, L.NonNegative && R.NonNegative); in GetExprRange()
9671 Combine = IntRange::rem; in GetExprRange()
9684 IntRange L = in GetExprRange()
9686 IntRange R = in GetExprRange()
9688 IntRange C = Combine(L, R); in GetExprRange()
9698 return IntRange::forBoolType(); in GetExprRange()
9703 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
9716 return IntRange(BitField->getBitWidthValue(C), in GetExprRange()
9719 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
9722 static IntRange GetExprRange(ASTContext &C, const Expr *E, in GetExprRange()
9813 PromotedRange(IntRange R, unsigned BitWidth, bool Unsigned) { in PromotedRange()
9970 IntRange OtherValueRange = GetExprRange( in CheckTautologicalComparison()
9976 IntRange OtherTypeRange = IntRange::forValueOfType(S.Context, OtherT); in CheckTautologicalComparison()
9989 OtherTypeRange = OtherValueRange = IntRange::forBoolType(); in CheckTautologicalComparison()
10186 IntRange signedRange = in AnalyzeComparison()
10205 IntRange unsignedRange = in AnalyzeComparison()
10562 IntRange Range) { in PrettyPrintInRange()
11020 IntRange SourceRange = in CheckImplicitConversion()
11087 IntRange SourceTypeRange = in CheckImplicitConversion()
11088 IntRange::forTargetOfCanonicalType(Context, Source); in CheckImplicitConversion()
11089 IntRange LikelySourceRange = GetExprRange( in CheckImplicitConversion()
11091 IntRange TargetRange = IntRange::forTargetOfCanonicalType(Context, Target); in CheckImplicitConversion()