Lines Matching refs:IntRange
14027 struct IntRange { struct
14037 IntRange(unsigned Width, bool NonNegative) in IntRange() argument
14046 static IntRange forBoolType() { in forBoolType() argument
14047 return IntRange(1, true); in forBoolType()
14051 static IntRange forValueOfType(ASTContext &C, QualType T) { in forValueOfType() argument
14057 static IntRange forValueOfCanonicalType(ASTContext &C, const Type *T) { in forValueOfCanonicalType() argument
14077 return IntRange(C.getIntWidth(QualType(T, 0)), in forValueOfCanonicalType()
14085 return IntRange(NumPositive, true/*NonNegative*/); in forValueOfCanonicalType()
14087 return IntRange(std::max(NumPositive + 1, NumNegative), in forValueOfCanonicalType()
14092 return IntRange(EIT->getNumBits(), EIT->isUnsigned()); in forValueOfCanonicalType()
14097 return IntRange(C.getIntWidth(QualType(T, 0)), BT->isUnsignedInteger()); in forValueOfCanonicalType()
14105 static IntRange forTargetOfCanonicalType(ASTContext &C, const Type *T) { in forTargetOfCanonicalType() argument
14118 return IntRange(EIT->getNumBits(), EIT->isUnsigned()); in forTargetOfCanonicalType()
14123 return IntRange(C.getIntWidth(QualType(T, 0)), BT->isUnsignedInteger()); in forTargetOfCanonicalType()
14127 static IntRange join(IntRange L, IntRange R) { in join() argument
14129 return IntRange(std::max(L.valueBits(), R.valueBits()) + !Unsigned, in join()
14134 static IntRange bit_and(IntRange L, IntRange R) { in bit_and() argument
14145 return IntRange(Bits, NonNegative); in bit_and()
14149 static IntRange sum(IntRange L, IntRange R) { in sum() argument
14151 return IntRange(std::max(L.valueBits(), R.valueBits()) + 1 + !Unsigned, in sum()
14156 static IntRange difference(IntRange L, IntRange R) { in difference() argument
14162 return IntRange(std::max(L.valueBits(), R.valueBits()) + CanWiden + in difference()
14168 static IntRange product(IntRange L, IntRange R) { in product() argument
14174 return IntRange(L.valueBits() + R.valueBits() + CanWiden + !Unsigned, in product()
14179 static IntRange rem(IntRange L, IntRange R) { in rem() argument
14183 return IntRange(std::min(L.valueBits(), R.valueBits()) + !Unsigned, in rem()
14190 static IntRange GetValueRange(ASTContext &C, llvm::APSInt &value, in GetValueRange()
14193 return IntRange(value.getSignificantBits(), false); in GetValueRange()
14200 return IntRange(value.getActiveBits(), true); in GetValueRange()
14203 static IntRange GetValueRange(ASTContext &C, APValue &result, QualType Ty, in GetValueRange()
14209 IntRange R = GetValueRange(C, result.getVectorElt(0), Ty, MaxWidth); in GetValueRange()
14211 IntRange El = GetValueRange(C, result.getVectorElt(i), Ty, MaxWidth); in GetValueRange()
14212 R = IntRange::join(R, El); in GetValueRange()
14218 IntRange R = GetValueRange(C, result.getComplexIntReal(), MaxWidth); in GetValueRange()
14219 IntRange I = GetValueRange(C, result.getComplexIntImag(), MaxWidth); in GetValueRange()
14220 return IntRange::join(R, I); in GetValueRange()
14229 return IntRange(MaxWidth, Ty->isUnsignedIntegerOrEnumerationType()); in GetValueRange()
14247 static IntRange GetExprRange(ASTContext &C, const Expr *E, unsigned MaxWidth, in GetExprRange()
14264 IntRange OutputTypeRange = IntRange::forValueOfType(C, GetExprType(CE)); in GetExprRange()
14273 IntRange SubRange = GetExprRange(C, CE->getSubExpr(), in GetExprRange()
14283 return IntRange(SubRange.Width, in GetExprRange()
14299 IntRange L = E->getType()->isVoidType() in GetExprRange()
14300 ? IntRange{0, true} in GetExprRange()
14303 IntRange R = E->getType()->isVoidType() in GetExprRange()
14304 ? IntRange{0, true} in GetExprRange()
14306 return IntRange::join(L, R); in GetExprRange()
14310 IntRange (*Combine)(IntRange, IntRange) = IntRange::join; in GetExprRange()
14325 return IntRange::forBoolType(); in GetExprRange()
14337 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
14349 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
14354 Combine = IntRange::bit_and; in GetExprRange()
14364 IntRange R = IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
14365 return IntRange(R.Width, /*NonNegative*/ true); in GetExprRange()
14371 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
14376 IntRange L = GetExprRange(C, BO->getLHS(), MaxWidth, InConstantContext, in GetExprRange()
14401 Combine = IntRange::sum; in GetExprRange()
14406 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
14408 Combine = IntRange::difference; in GetExprRange()
14413 Combine = IntRange::product; in GetExprRange()
14421 IntRange L = GetExprRange(C, BO->getLHS(), opWidth, InConstantContext, in GetExprRange()
14438 IntRange R = GetExprRange(C, BO->getRHS(), opWidth, InConstantContext, in GetExprRange()
14440 return IntRange(L.Width, L.NonNegative && R.NonNegative); in GetExprRange()
14444 Combine = IntRange::rem; in GetExprRange()
14457 IntRange L = in GetExprRange()
14459 IntRange R = in GetExprRange()
14461 IntRange C = Combine(L, R); in GetExprRange()
14471 return IntRange::forBoolType(); in GetExprRange()
14476 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
14489 return IntRange(BitField->getBitWidthValue(C), in GetExprRange()
14492 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
14495 static IntRange GetExprRange(ASTContext &C, const Expr *E, in GetExprRange()
14586 PromotedRange(IntRange R, unsigned BitWidth, bool Unsigned) { in PromotedRange()
14743 IntRange OtherValueRange = GetExprRange( in CheckTautologicalComparison()
14749 IntRange OtherTypeRange = IntRange::forValueOfType(S.Context, OtherT); in CheckTautologicalComparison()
14762 OtherTypeRange = OtherValueRange = IntRange::forBoolType(); in CheckTautologicalComparison()
14959 IntRange signedRange = in AnalyzeComparison()
14978 IntRange unsignedRange = in AnalyzeComparison()
15357 IntRange Range) { in PrettyPrintInRange()
15907 IntRange SourceRange = in CheckImplicitConversion()
15975 IntRange SourceTypeRange = in CheckImplicitConversion()
15976 IntRange::forTargetOfCanonicalType(S.Context, Source); in CheckImplicitConversion()
15977 IntRange LikelySourceRange = GetExprRange( in CheckImplicitConversion()
15979 IntRange TargetRange = IntRange::forTargetOfCanonicalType(S.Context, Target); in CheckImplicitConversion()