Lines Matching refs:IntRange
11963 struct IntRange { struct
11973 IntRange(unsigned Width, bool NonNegative) in IntRange() function
11982 static IntRange forBoolType() { in forBoolType() argument
11983 return IntRange(1, true); in forBoolType()
11987 static IntRange forValueOfType(ASTContext &C, QualType T) { in forValueOfType() argument
11993 static IntRange forValueOfCanonicalType(ASTContext &C, const Type *T) { in forValueOfCanonicalType() argument
12013 return IntRange(C.getIntWidth(QualType(T, 0)), in forValueOfCanonicalType()
12021 return IntRange(NumPositive, true/*NonNegative*/); in forValueOfCanonicalType()
12023 return IntRange(std::max(NumPositive + 1, NumNegative), in forValueOfCanonicalType()
12028 return IntRange(EIT->getNumBits(), EIT->isUnsigned()); in forValueOfCanonicalType()
12033 return IntRange(C.getIntWidth(QualType(T, 0)), BT->isUnsignedInteger()); in forValueOfCanonicalType()
12041 static IntRange forTargetOfCanonicalType(ASTContext &C, const Type *T) { in forTargetOfCanonicalType() argument
12054 return IntRange(EIT->getNumBits(), EIT->isUnsigned()); in forTargetOfCanonicalType()
12059 return IntRange(C.getIntWidth(QualType(T, 0)), BT->isUnsignedInteger()); in forTargetOfCanonicalType()
12063 static IntRange join(IntRange L, IntRange R) { in join() argument
12065 return IntRange(std::max(L.valueBits(), R.valueBits()) + !Unsigned, in join()
12070 static IntRange bit_and(IntRange L, IntRange R) { in bit_and() argument
12081 return IntRange(Bits, NonNegative); in bit_and()
12085 static IntRange sum(IntRange L, IntRange R) { in sum() argument
12087 return IntRange(std::max(L.valueBits(), R.valueBits()) + 1 + !Unsigned, in sum()
12092 static IntRange difference(IntRange L, IntRange R) { in difference() argument
12098 return IntRange(std::max(L.valueBits(), R.valueBits()) + CanWiden + in difference()
12104 static IntRange product(IntRange L, IntRange R) { in product() argument
12110 return IntRange(L.valueBits() + R.valueBits() + CanWiden + !Unsigned, in product()
12115 static IntRange rem(IntRange L, IntRange R) { in rem() argument
12119 return IntRange(std::min(L.valueBits(), R.valueBits()) + !Unsigned, in rem()
12126 static IntRange GetValueRange(ASTContext &C, llvm::APSInt &value, in GetValueRange()
12129 return IntRange(value.getMinSignedBits(), false); in GetValueRange()
12136 return IntRange(value.getActiveBits(), true); in GetValueRange()
12139 static IntRange GetValueRange(ASTContext &C, APValue &result, QualType Ty, in GetValueRange()
12145 IntRange R = GetValueRange(C, result.getVectorElt(0), Ty, MaxWidth); in GetValueRange()
12147 IntRange El = GetValueRange(C, result.getVectorElt(i), Ty, MaxWidth); in GetValueRange()
12148 R = IntRange::join(R, El); in GetValueRange()
12154 IntRange R = GetValueRange(C, result.getComplexIntReal(), MaxWidth); in GetValueRange()
12155 IntRange I = GetValueRange(C, result.getComplexIntImag(), MaxWidth); in GetValueRange()
12156 return IntRange::join(R, I); in GetValueRange()
12165 return IntRange(MaxWidth, Ty->isUnsignedIntegerOrEnumerationType()); in GetValueRange()
12183 static IntRange GetExprRange(ASTContext &C, const Expr *E, unsigned MaxWidth, in GetExprRange()
12200 IntRange OutputTypeRange = IntRange::forValueOfType(C, GetExprType(CE)); in GetExprRange()
12209 IntRange SubRange = GetExprRange(C, CE->getSubExpr(), in GetExprRange()
12219 return IntRange(SubRange.Width, in GetExprRange()
12235 IntRange L = E->getType()->isVoidType() in GetExprRange()
12236 ? IntRange{0, true} in GetExprRange()
12239 IntRange R = E->getType()->isVoidType() in GetExprRange()
12240 ? IntRange{0, true} in GetExprRange()
12242 return IntRange::join(L, R); in GetExprRange()
12246 IntRange (*Combine)(IntRange, IntRange) = IntRange::join; in GetExprRange()
12261 return IntRange::forBoolType(); in GetExprRange()
12273 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
12285 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
12290 Combine = IntRange::bit_and; in GetExprRange()
12300 IntRange R = IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
12301 return IntRange(R.Width, /*NonNegative*/ true); in GetExprRange()
12307 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
12312 IntRange L = GetExprRange(C, BO->getLHS(), MaxWidth, InConstantContext, in GetExprRange()
12338 Combine = IntRange::sum; in GetExprRange()
12343 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
12345 Combine = IntRange::difference; in GetExprRange()
12350 Combine = IntRange::product; in GetExprRange()
12358 IntRange L = GetExprRange(C, BO->getLHS(), opWidth, InConstantContext, in GetExprRange()
12375 IntRange R = GetExprRange(C, BO->getRHS(), opWidth, InConstantContext, in GetExprRange()
12377 return IntRange(L.Width, L.NonNegative && R.NonNegative); in GetExprRange()
12381 Combine = IntRange::rem; in GetExprRange()
12394 IntRange L = in GetExprRange()
12396 IntRange R = in GetExprRange()
12398 IntRange C = Combine(L, R); in GetExprRange()
12408 return IntRange::forBoolType(); in GetExprRange()
12413 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
12426 return IntRange(BitField->getBitWidthValue(C), in GetExprRange()
12429 return IntRange::forValueOfType(C, GetExprType(E)); in GetExprRange()
12432 static IntRange GetExprRange(ASTContext &C, const Expr *E, in GetExprRange()
12523 PromotedRange(IntRange R, unsigned BitWidth, bool Unsigned) { in PromotedRange()
12680 IntRange OtherValueRange = GetExprRange( in CheckTautologicalComparison()
12686 IntRange OtherTypeRange = IntRange::forValueOfType(S.Context, OtherT); in CheckTautologicalComparison()
12699 OtherTypeRange = OtherValueRange = IntRange::forBoolType(); in CheckTautologicalComparison()
12894 IntRange signedRange = GetExprRange( in AnalyzeComparison()
12912 IntRange unsignedRange = in AnalyzeComparison()
13285 IntRange Range) { in PrettyPrintInRange()
13827 IntRange SourceRange = GetExprRange(S.Context, E, S.isConstantEvaluated(), in CheckImplicitConversion()
13894 IntRange SourceTypeRange = in CheckImplicitConversion()
13895 IntRange::forTargetOfCanonicalType(S.Context, Source); in CheckImplicitConversion()
13896 IntRange LikelySourceRange = in CheckImplicitConversion()
13898 IntRange TargetRange = IntRange::forTargetOfCanonicalType(S.Context, Target); in CheckImplicitConversion()