Home
last modified time | relevance | path

Searched refs:APSInt (Results 1 – 25 of 184) sorted by relevance

12345678

/freebsd/contrib/llvm-project/llvm/include/llvm/ADT/
H A DAPSInt.h126 const APSInt &operator%=(const APSInt &RHS) {
134 const APSInt &operator/=(const APSInt &RHS) {
142 APSInt operator%(const APSInt &RHS) const {
146 APSInt operator/(const APSInt &RHS) const {
239 APSInt &operator+=(const APSInt &RHS) {
244 APSInt &operator-=(const APSInt &RHS) {
249 APSInt &operator*=(const APSInt &RHS) {
254 APSInt &operator&=(const APSInt &RHS) {
259 APSInt &operator|=(const APSInt &RHS) {
264 APSInt &operator^=(const APSInt &RHS) {
[all …]
H A DAPFixedPoint.h168 APSInt getValue() const { return APSInt(Val, !Sema.isSigned()); }
212 APSInt getIntPart() const {
214 return APSInt(APInt::getZero(getWidth()), Val.isUnsigned());
215 APSInt ExtVal =
227 APSInt convertToInt(unsigned DstWidth, bool DstSign,
272 static APFixedPoint getFromIntValue(const APSInt &Value,
288 APSInt Val;
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h31 Range(const llvm::APSInt &From, const llvm::APSInt &To) : Impl(&From, &To) { in Range()
61 std::pair<const llvm::APSInt *, const llvm::APSInt *> Impl;
166 RangeSet unite(RangeSet Original, llvm::APSInt From, llvm::APSInt To);
173 RangeSet getRangeSet(const llvm::APSInt &From, const llvm::APSInt &To) { in getRangeSet()
197 RangeSet intersect(RangeSet What, llvm::APSInt Lower, llvm::APSInt Upper);
314 RangeSet(Factory &F, const llvm::APSInt &From, const llvm::APSInt &To) in RangeSet()
339 const llvm::APSInt &getMinValue() const;
394 bool pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const;
395 bool pin(llvm::APSInt &Point) const;
468 const llvm::APSInt &To, const llvm::APSInt &Adjustment) = 0;
[all …]
H A DBasicValueFactory.h143 const llvm::APSInt& getValue(const llvm::APSInt& X);
168 const llvm::APSInt &Convert(const llvm::APSInt& To, in Convert()
177 const llvm::APSInt &Convert(QualType T, const llvm::APSInt &From) { in Convert()
182 const llvm::APSInt &Convert(APSIntType TargetType, const llvm::APSInt &From) { in Convert()
194 const llvm::APSInt &getMaxValue(const llvm::APSInt &v) { in getMaxValue()
198 const llvm::APSInt &getMinValue(const llvm::APSInt &v) { in getMinValue()
218 const llvm::APSInt &Add1(const llvm::APSInt &V) { in Add1()
219 llvm::APSInt X = V; in Add1()
224 const llvm::APSInt &Sub1(const llvm::APSInt &V) { in Sub1()
225 llvm::APSInt X = V; in Sub1()
[all …]
H A DAPSIntType.h27 /* implicit */ APSIntType(const llvm::APSInt &Value) in APSIntType()
37 void apply(llvm::APSInt &Value) const { in apply()
48 llvm::APSInt convert(const llvm::APSInt &Value) const LLVM_READONLY { in convert()
49 llvm::APSInt Result(Value, Value.isUnsigned()); in convert()
55 llvm::APSInt getZeroValue() const LLVM_READONLY { in getZeroValue()
56 return llvm::APSInt(BitWidth, IsUnsigned); in getZeroValue()
60 llvm::APSInt getMinValue() const LLVM_READONLY { in getMinValue()
61 return llvm::APSInt::getMinValue(BitWidth, IsUnsigned); in getMinValue()
65 llvm::APSInt getMaxValue() const LLVM_READONLY { in getMaxValue()
66 return llvm::APSInt::getMaxValue(BitWidth, IsUnsigned); in getMaxValue()
[all …]
H A DConstraintManager.h27 class APSInt; variable
90 const llvm::APSInt &From,
91 const llvm::APSInt &To, bool InBound);
99 const llvm::APSInt &From,
100 const llvm::APSInt &To);
108 virtual const llvm::APSInt* getSymVal(ProgramStateRef state, in getSymVal()
116 virtual const llvm::APSInt *getSymMinVal(ProgramStateRef state, in getSymMinVal()
124 virtual const llvm::APSInt *getSymMaxVal(ProgramStateRef state, in getSymMaxVal()
167 const llvm::APSInt &From,
168 const llvm::APSInt &To,
H A DSimpleConstraintManager.h53 const llvm::APSInt &From,
54 const llvm::APSInt &To,
74 const llvm::APSInt &From,
75 const llvm::APSInt &To,
H A DSMTConv.h275 Solver->mkBitvector(llvm::APSInt("0"), ToBitWidth)); in fromCast()
313 static inline llvm::APSInt castAPSInt(llvm::SMTSolverRef &Solver, in castAPSInt()
392 llvm::APSInt NewRInt; in getSymBinExpr()
400 llvm::APSInt NewLInt; in getSymBinExpr()
533 const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) { in getRangeExpr()
536 llvm::APSInt NewFromInt; in getRangeExpr()
551 llvm::APSInt NewToInt; in getRangeExpr()
572 const llvm::APSInt &Int) { in getAPSIntType()
577 static inline std::pair<llvm::APSInt, QualType>
578 fixAPSInt(ASTContext &Ctx, const llvm::APSInt &Int) { in fixAPSInt()
[all …]
H A DSMTConstraintManager.h65 const llvm::APSInt &From, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
66 const llvm::APSInt &To, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
111 const llvm::APSInt *getSymVal(ProgramStateRef State, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
119 llvm::APSInt Value(Ctx.getTypeSize(Ty), in REGISTER_TRAIT_WITH_PROGRAMSTATE()
164 const llvm::APSInt *Value; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
171 const llvm::APSInt *LHS, *RHS; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
189 llvm::APSInt ConvertedLHS, ConvertedRHS; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
193 SMTConv::doIntTypeConversion<llvm::APSInt, &SMTConv::castAPSInt>( in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSValBuilder.h111 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0;
115 virtual const llvm::APSInt *getMinValue(ProgramStateRef state, SVal val) = 0;
119 virtual const llvm::APSInt *getMaxValue(ProgramStateRef state, SVal val) = 0;
298 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()
302 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { in makeIntLocVal()
330 const llvm::APSInt &rhs, QualType type);
332 nonloc::SymbolVal makeNonLoc(const llvm::APSInt &rhs,
385 loc::ConcreteInt makeLoc(const llvm::APSInt &integer) { in makeLoc()
/freebsd/contrib/llvm-project/llvm/lib/Support/
H A DAPFixedPoint.cpp34 APSInt NewVal = Val; in convert()
190 APSInt Result; in add()
214 APSInt Result; in sub()
255 APSInt Result; in mul()
314 APSInt Result; in div()
348 APSInt ThisVal = Val; in shl()
382 APSInt Val = getValue(); in toString()
387 APSInt IntPart = Val; in toString()
403 APSInt IntPart = (OrigWidth > Scale) ? (Val >> Scale) : APSInt::get(0); in toString()
451 APSInt DstMin = APSInt::getMinValue(DstWidth, !DstSign); in convertToInt()
[all …]
H A DAPSInt.cpp21 APSInt::APSInt(StringRef Str) { in APSInt() function in APSInt
31 *this = APSInt(Tmp, /*isUnsigned=*/false); in APSInt()
37 *this = APSInt(Tmp, /*isUnsigned=*/true); in APSInt()
40 void APSInt::Profile(FoldingSetNodeID& ID) const { in Profile()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp173 using llvm::APSInt; in unite()
393 bool RangeSet::pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const { in pin()
715 using llvm::APSInt; in truncateTo()
729 APSInt ToInt = R.To(); in truncateTo()
781 using llvm::APSInt; in convertTo()
782 using Bounds = std::pair<const APSInt &, const APSInt &>; in convertTo()
788 APSInt ToInt = R.To(); in convertTo()
1932 const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
1936 const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
3241 const llvm::APSInt &To, const llvm::APSInt &Adjustment) { in assumeSymWithinInclusiveRange()
[all …]
H A DRangedConstraintManager.cpp45 const llvm::APSInt &Zero = getBasicVals().getValue(0, SIE->getType()); in assumeSym()
68 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeSym()
85 const llvm::APSInt &Zero = getBasicVals().getValue(0, ExprType); in assumeSym()
102 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymInclusiveRange()
103 const llvm::APSInt &To, bool InRange) { in assumeSymInclusiveRange()
111 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymInclusiveRange()
117 llvm::APSInt ConvertedFrom = ComparisonType.convert(From); in assumeSymInclusiveRange()
118 llvm::APSInt ConvertedTo = ComparisonType.convert(To); in assumeSymInclusiveRange()
145 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
181 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymRel()
[all …]
H A DSimpleSValBuilder.cpp35 static const llvm::APSInt *getConcreteValue(SVal V);
196 const llvm::APSInt *ConvertedRHS = &RHS; in MakeSymIntVal()
276 static std::pair<SymbolRef, llvm::APSInt>
323 llvm::APSInt ResultInt; in doRearrangeUnchecked()
410 llvm::APSInt LInt, RInt; in tryRearrange()
529 llvm::APSInt RHSValue = *KnownRHSValue; in evalBinOpNN()
544 const llvm::APSInt *Result = in evalBinOpNN()
685 const llvm::APSInt *newRHS; in evalBinOpNN()
1199 if (const llvm::APSInt *Res = getConcreteValue(V)) in getConstValue()
1293 const llvm::APSInt *Const = in simplifySValOnce()
[all …]
H A DBasicValueFactory.cpp84 I.getValue().~APSInt(); in ~BasicValueFactory()
90 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APSInt& X) { in getValue()
94 using FoldNodeTy = llvm::FoldingSetNodeWrapper<llvm::APSInt>; in getValue()
107 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APInt& X, in getValue()
109 llvm::APSInt V(X, isUnsigned); in getValue()
113 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, unsigned BitWidth, in getValue()
115 llvm::APSInt V(BitWidth, isUnsigned); in getValue()
120 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, QualType T) { in getValue()
245 const llvm::APSInt*
247 const llvm::APSInt& V1, const llvm::APSInt& V2) { in evalAPSInt()
H A DConstraintManager.cpp102 const llvm::APSInt &From, in assumeInclusiveRangeDual()
103 const llvm::APSInt &To) { in assumeInclusiveRangeDual()
118 const llvm::APSInt &From, in assumeInclusiveRange()
119 const llvm::APSInt &To, bool InBound) { in assumeInclusiveRange()
/freebsd/contrib/llvm-project/llvm/lib/DebugInfo/CodeView/
H A DRecordSerialization.cpp36 Error llvm::codeview::consume(BinaryStreamReader &Reader, APSInt &Num) { in consume()
44 Num = APSInt(APInt(/*numBits=*/16, Short, /*isSigned=*/false), in consume()
54 Num = APSInt(APInt(8, N, true), false); in consume()
61 Num = APSInt(APInt(16, N, true), false); in consume()
68 Num = APSInt(APInt(16, N, false), true); in consume()
75 Num = APSInt(APInt(32, N, true), false); in consume()
82 Num = APSInt(APInt(32, N, FalseVal), true); in consume()
89 Num = APSInt(APInt(64, N, true), false); in consume()
96 Num = APSInt(APInt(64, N, false), true); in consume()
104 Error llvm::codeview::consume(StringRef &Data, APSInt &Num) { in consume()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/AST/
H A DAPValue.h124 typedef llvm::APSInt APSInt;
261 APSInt Real, Imag;
330 APValue(APSInt R, APSInt I) : Kind(None) {
423 APSInt &getInt() {
425 return *(APSInt *)(char *)&Data;
427 const APSInt &getInt() const {
453 APSInt &getComplexIntReal() {
461 APSInt &getComplexIntImag() {
588 void setInt(APSInt I) {
605 void setComplexInt(APSInt R, APSInt I) {
[all …]
/freebsd/contrib/llvm-project/clang/lib/AST/Interp/
H A DIntegralAP.h30 using APSInt = llvm::APSInt; variable
127 APSInt toAPSInt(unsigned Bits = 0) const {
132 return APSInt(V.sext(Bits), !Signed);
134 return APSInt(V.zext(Bits), !Signed);
275 const APSInt &LHS = A.toAPSInt(); in CheckAddSubMulUB()
276 const APSInt &RHS = B.toAPSInt(); in CheckAddSubMulUB()
277 APSInt Value = Op<APSInt>{}(LHS.extend(BitWidth), RHS.extend(BitWidth)); in CheckAddSubMulUB()
278 APSInt Result = Value.trunc(LHS.getBitWidth()); in CheckAddSubMulUB()
H A DInterpBuiltin.cpp55 APSInt R; in peekToAPSInt()
58 R = APSInt( in peekToAPSInt()
453 APSInt FPClassArg = peekToAPSInt(S.Stk, FPClassArgT); in interp__builtin_isfpclass()
516 APSInt Val = peekToAPSInt(S.Stk, ArgT); in interp__builtin_popcount()
525 APSInt Val = peekToAPSInt(S.Stk, ArgT); in interp__builtin_parity()
534 APSInt Val = peekToAPSInt(S.Stk, ArgT); in interp__builtin_clrsb()
544 APSInt Val = peekToAPSInt(S.Stk, ArgT); in interp__builtin_bitreverse()
579 APSInt Val = peekToAPSInt(S.Stk, ArgT, Offset); in interp__builtin_expect()
592 APSInt Amount = peekToAPSInt(S.Stk, ArgT); in interp__builtin_rotate()
595 APSInt Result; in interp__builtin_rotate()
[all …]
H A DIntegral.h30 using APSInt = llvm::APSInt; variable
76 explicit Integral(const APSInt &V)
106 APSInt toAPSInt() const {
107 return APSInt(APInt(Bits, static_cast<uint64_t>(V), Signed), !Signed);
109 APSInt toAPSInt(unsigned NumBits) const {
111 return APSInt(toAPSInt().sextOrTrunc(NumBits), !Signed);
113 return APSInt(toAPSInt().zextOrTrunc(NumBits), !Signed);
H A DFloating.h24 using APSInt = llvm::APSInt; variable
50 APFloat::opStatus convertToInteger(APSInt &Result) const { in convertToInteger()
69 APSInt toAPSInt(unsigned NumBits = 0) const {
70 return APSInt(F.bitcastToAPInt());
119 static APFloat::opStatus fromIntegral(APSInt Val, in fromIntegral()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDebugIteratorModeling.cpp100 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
108 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
116 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
117 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
H A DMallocOverflowSecurityChecker.cpp32 using llvm::APSInt;
39 APSInt maxVal;
42 const Expr *v, APSInt val) in MallocOverflowCheck()
63 static inline bool EvaluatesToZero(APSInt &Val, BinaryOperatorKind op) { in EvaluatesToZero()
78 APSInt maxVal; in CheckMallocArgument()
180 APSInt denomVal; in CheckAssignmentExpr()

12345678