Home
last modified time | relevance | path

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

12345678

/freebsd/contrib/llvm-project/llvm/include/llvm/ADT/
H A DAPSInt.h23 class [[nodiscard]] APSInt : public APInt {
28 explicit APSInt() = default;
31 explicit APSInt(uint32_t BitWidth, bool isUnsigned = true)
34 explicit APSInt(APInt I, bool isUnsigned = true)
44 explicit APSInt(StringRef Str);
64 APSInt &operator=(APInt RHS) {
70 APSInt &operator=(uint64_t RHS) {
108 APSInt trunc(uint32_t width) const { in trunc()
109 return APSInt(APInt::trunc(width), IsUnsigned); in trunc()
112 APSInt extend(uint32_t width) const { in extend()
[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,
273 static APFixedPoint getFromIntValue(const APSInt &Value,
289 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()
35 Range(const llvm::APSInt &Point) : Range(Point, Point) {} in Range()
37 bool Includes(const llvm::APSInt &Point) const { in Includes()
40 const llvm::APSInt &From() const { return *Impl.first; } in From()
41 const llvm::APSInt &To() const { return *Impl.second; } in To()
42 const llvm::APSInt *getConcreteValue() const { in getConcreteValue()
61 std::pair<const llvm::APSInt *, const llvm::APSInt *> Impl;
142 RangeSet add(RangeSet Original, const llvm::APSInt &Point);
160 RangeSet unite(RangeSet Original, llvm::APSInt Point);
166 RangeSet unite(RangeSet Original, llvm::APSInt From, llvm::APSInt To);
[all …]
H A DBasicValueFactory.h115 llvm::FoldingSet<llvm::FoldingSetNodeWrapper<llvm::APSInt>>;
132 const llvm::APSInt& getValue(uint64_t X, unsigned BitWidth, bool isUnsigned);
143 const llvm::APSInt& getValue(const llvm::APSInt& X);
144 const llvm::APSInt& getValue(const llvm::APInt& X, bool isUnsigned);
145 const llvm::APSInt& getValue(uint64_t X, QualType T);
168 const llvm::APSInt &Convert(const llvm::APSInt& To, in Convert()
169 const llvm::APSInt& From) { 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()
189 const llvm::APSInt &getIntValue(uint64_t X, bool isUnsigned) { in getIntValue()
[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 DSimpleConstraintManager.h53 const llvm::APSInt &From,
54 const llvm::APSInt &To,
74 const llvm::APSInt &From,
75 const llvm::APSInt &To,
H A DSMTConv.h274 Exp, Solver->mkBitvector(llvm::APSInt("1"), ToBitWidth), in fromCast()
275 Solver->mkBitvector(llvm::APSInt("0"), ToBitWidth)); in fromCast()
313 static inline llvm::APSInt castAPSInt(llvm::SMTSolverRef &Solver, in castAPSInt()
314 const llvm::APSInt &V, QualType ToTy, in castAPSInt()
392 llvm::APSInt NewRInt; in getSymBinExpr()
400 llvm::APSInt NewLInt; in getSymBinExpr()
522 Solver->mkBitvector(llvm::APSInt("0"), Ctx.getTypeSize(Ty)), in getZeroExpr()
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()
[all …]
H A DSMTConstraintManager.h68 const llvm::APSInt &From, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
69 const llvm::APSInt &To, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
114 const llvm::APSInt *getSymVal(ProgramStateRef State, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
122 llvm::APSInt Value(Ctx.getTypeSize(Ty), in REGISTER_TRAIT_WITH_PROGRAMSTATE()
167 const llvm::APSInt *Value; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
174 const llvm::APSInt *LHS, *RHS; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
192 llvm::APSInt ConvertedLHS, ConvertedRHS; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
196 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;
117 virtual const llvm::APSInt *getMinValue(ProgramStateRef state, SVal val) = 0;
123 virtual const llvm::APSInt *getMaxValue(ProgramStateRef state, SVal val) = 0;
302 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()
306 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { in makeIntLocVal()
334 const llvm::APSInt &rhs, QualType type);
336 nonloc::SymbolVal makeNonLoc(const llvm::APSInt &rhs,
389 loc::ConcreteInt makeLoc(const llvm::APSInt &integer) { in makeLoc()
H A DSVals.h143 const llvm::APSInt *getAsInteger() const;
299 explicit ConcreteInt(const llvm::APSInt &V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt()
301 const llvm::APSInt &getValue() const { return *castDataAs<llvm::APSInt>(); } in getValue()
465 explicit ConcreteInt(const llvm::APSInt &V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt()
467 const llvm::APSInt &getValue() const { return *castDataAs<llvm::APSInt>(); } in getValue()
H A DSymbolManager.h409 static unsigned computeOperandComplexity(const llvm::APSInt &Value) { in computeOperandComplexity()
413 static const llvm::APSInt *getPointer(const llvm::APSInt &Value) { in getPointer()
419 static void dumpToStreamImpl(raw_ostream &os, const llvm::APSInt &Value);
471 using SymIntExpr = BinarySymExprImpl<const SymExpr *, const llvm::APSInt &,
475 using IntSymExpr = BinarySymExprImpl<const llvm::APSInt &, const SymExpr *,
540 const llvm::APSInt& rhs, QualType t);
543 const llvm::APSInt& rhs, QualType t) { in getSymIntExpr()
547 const IntSymExpr *getIntSymExpr(const llvm::APSInt& lhs,
/freebsd/contrib/llvm-project/llvm/lib/Support/
H A DAPFixedPoint.cpp34 APSInt NewVal = Val; in convert()
74 APSInt ThisVal = getValue(); in compare()
75 APSInt OtherVal = Other.getValue(); in compare()
121 auto Val = APSInt::getMaxValue(Sema.getWidth(), IsUnsigned); in getMax()
128 auto Val = APSInt::getMinValue(Sema.getWidth(), !Sema.isSigned()); in getMin()
133 APSInt Val(Sema.getWidth(), !Sema.isSigned()); in getEpsilon()
148 APSInt MaxInt = APFixedPoint::getMax(*this).getValue(); in fitsInFloatSemantics()
155 APSInt MinInt = APFixedPoint::getMin(*this).getValue(); in fitsInFloatSemantics()
192 APSInt ThisVal = ConvertedThis.getValue(); in add()
193 APSInt OtherVal = ConvertedOther.getValue(); in add()
[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.cpp134 RangeSet RangeSet::Factory::add(RangeSet Original, const llvm::APSInt &Point) { in add()
150 RangeSet RangeSet::Factory::unite(RangeSet Original, llvm::APSInt Point) { in unite()
154 RangeSet RangeSet::Factory::unite(RangeSet Original, llvm::APSInt From, in unite()
155 llvm::APSInt To) { in unite()
173 using llvm::APSInt; in unite()
181 const APSInt Min = Ty.getMinValue(); in unite()
218 const APSInt One = Ty.getValue(1); in unite()
241 const llvm::APSInt &UnionStart = First->From(); in unite()
347 const llvm::APSInt &RangeSet::getMinValue() const { in getMinValue()
352 const llvm::APSInt &RangeSet::getMaxValue() const { in getMaxValue()
[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()
155 const llvm::APSInt &Int) { in assumeSymRel()
[all …]
/freebsd/contrib/llvm-project/llvm/lib/DebugInfo/CodeView/
H A DRecordSerialization.cpp15 #include "llvm/ADT/APSInt.h"
36 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(APIn in consume()
[all...]
/freebsd/contrib/llvm-project/clang/lib/AST/Interp/
H A DInterpBuiltin.cpp63 static APSInt peekToAPSInt(InterpStack &Stk, PrimType T, size_t Offset = 0) { in peekToAPSInt()
67 APSInt R; in peekToAPSInt()
74 static void pushInteger(InterpState &S, const APSInt &Val, QualType QT) { in pushInteger()
93 pushInteger(S, APSInt(Val, !std::is_signed_v<T>), QT); in pushInteger()
96 APSInt(APInt(sizeof(T) * 8, static_cast<uint64_t>(Val), in pushInteger()
102 static void assignInteger(Pointer &Dest, PrimType ValueT, const APSInt &Value) { in assignInteger()
441 APSInt FPClassArg = peekToAPSInt(S.Stk, FPClassArgT); in interp__builtin_isfpclass()
481 APSInt I = peekToAPSInt(S.Stk, getIntPrimType(S), Offset); in interp__builtin_fpclassify()
505 APSInt Val = peekToAPSInt(S.Stk, ArgT); in interp__builtin_popcount()
514 APSInt Val = peekToAPSInt(S.Stk, ArgT); in interp__builtin_parity()
[all …]
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);
303 const APSInt &LHS = A.toAPSInt(); in CheckAddSubMulUB()
304 const APSInt &RHS = B.toAPSInt(); in CheckAddSubMulUB()
305 APSInt Value = Op<APSInt>{}(LHS.extend(BitWidth), RHS.extend(BitWidth)); in CheckAddSubMulUB()
306 APSInt Result = Value.trunc(LHS.getBitWidth()); in CheckAddSubMulUB()
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()
H A DBoolean.h53 APSInt toAPSInt() const { in toAPSInt()
54 return APSInt(APInt(1, static_cast<uint64_t>(V), false), true); in toAPSInt()
56 APSInt toAPSInt(unsigned NumBits) const { in toAPSInt()
57 return APSInt(toAPSInt().zextOrTrunc(NumBits), true); in toAPSInt()
/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()
/freebsd/contrib/llvm-project/lldb/include/lldb/Utility/
H A DScalar.h36 static llvm::APSInt MakeAPSInt(T v) { in MakeAPSInt()
39 return llvm::APSInt( in MakeAPSInt()
72 Scalar(llvm::APSInt v) in Scalar()
184 llvm::APSInt GetAPSInt() const { return m_integer; } in GetAPSInt()
200 llvm::APSInt m_integer;
/freebsd/contrib/llvm-project/lldb/source/Plugins/SymbolFile/NativePDB/
H A DDWARFLocationExpression.h18 class APSInt; variable
49 const llvm::APSInt &constant, lldb::ModuleSP module);

12345678