Lines Matching refs:APSInt
133 RangeSet RangeSet::Factory::add(RangeSet Original, const llvm::APSInt &Point) { in add()
149 RangeSet RangeSet::Factory::unite(RangeSet Original, llvm::APSInt Point) { in unite()
153 RangeSet RangeSet::Factory::unite(RangeSet Original, llvm::APSInt From, in unite()
154 llvm::APSInt To) { in unite()
172 using llvm::APSInt; in unite()
180 const APSInt Min = Ty.getMinValue(); in unite()
217 const APSInt One = Ty.getValue(1); in unite()
240 const llvm::APSInt &UnionStart = First->From(); in unite()
346 const llvm::APSInt &RangeSet::getMinValue() const { in getMinValue()
351 const llvm::APSInt &RangeSet::getMaxValue() const { in getMaxValue()
371 bool RangeSet::containsImpl(llvm::APSInt &Point) const { in containsImpl()
383 bool RangeSet::pin(llvm::APSInt &Point) const { in pin()
392 bool RangeSet::pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const { in pin()
473 RangeSet RangeSet::Factory::intersect(RangeSet What, llvm::APSInt Lower, in intersect()
474 llvm::APSInt Upper) { in intersect()
559 const llvm::APSInt &IntersectionStart = Second->From(); in intersect()
603 RangeSet RangeSet::Factory::intersect(RangeSet LHS, llvm::APSInt Point) { in intersect()
614 const llvm::APSInt SampleValue = What.getMinValue(); in negate()
615 const llvm::APSInt &MIN = ValueFactory.getMinValue(SampleValue); in negate()
616 const llvm::APSInt &MAX = ValueFactory.getMaxValue(SampleValue); in negate()
625 const llvm::APSInt &From = It->From(); in negate()
626 const llvm::APSInt &To = It->To(); in negate()
662 const llvm::APSInt &NewFrom = ValueFactory.getValue(-It->To()); in negate()
663 const llvm::APSInt &NewTo = ValueFactory.getValue(-It->From()); in negate()
714 using llvm::APSInt; in truncateTo()
727 APSInt FromInt = R.From(); in truncateTo()
728 APSInt ToInt = R.To(); in truncateTo()
744 const APSInt &PersistentFrom = ValueFactory.getValue(FromInt); in truncateTo()
745 const APSInt &PersistentTo = ValueFactory.getValue(ToInt); in truncateTo()
780 using llvm::APSInt; in convertTo()
781 using Bounds = std::pair<const APSInt &, const APSInt &>; in convertTo()
786 APSInt FromInt = R.From(); in convertTo()
787 APSInt ToInt = R.To(); in convertTo()
794 APSInt LastConvertedInt = Ty.getMinValue(); in convertTo()
837 llvm::APSInt FromInt = R.From(); in promoteTo()
838 llvm::APSInt ToInt = R.To(); in promoteTo()
849 const llvm::APSInt &Point) { in deletePoint()
853 llvm::APSInt Upper = Point; in deletePoint()
854 llvm::APSInt Lower = Point; in deletePoint()
1268 RangeSet inferAs(const llvm::APSInt &Val, QualType) { in inferAs()
1441 llvm::APSInt AbsMax = std::max(-Origin.From(), Origin.To()); in getSymmetricalRange()
1553 const llvm::APSInt *ConcreteValue = QueriedRangeSet->getConcreteValue(); in getRangeForComparisonSymbol()
1615 const llvm::APSInt &Zero = ValueFactory.getValue(0, T); in getFalseRange()
1632 llvm::APSInt Zero = ResultType.getZeroValue(); in VisitBinaryOperator()
1644 const llvm::APSInt &Min = std::max(LHS.From(), RHS.From()); in VisitBinaryOperator()
1657 const llvm::APSInt &Max = IsLHSNegative in VisitBinaryOperator()
1690 llvm::APSInt Zero = ResultType.getZeroValue(); in VisitBinaryOperator()
1702 const llvm::APSInt &Max = std::min(LHS.To(), RHS.To()); in VisitBinaryOperator()
1706 const llvm::APSInt &Min = IsLHSNegative in VisitBinaryOperator()
1719 const llvm::APSInt &Max = IsLHSPositiveOrZero ? LHS.To() : RHS.To(); in VisitBinaryOperator()
1735 llvm::APSInt Zero = ValueFactory.getAPSIntType(T).getZeroValue(); in VisitBinaryOperator()
1739 llvm::APSInt Max = ConservativeRange.To(); in VisitBinaryOperator()
1740 llvm::APSInt Min = ConservativeRange.From(); in VisitBinaryOperator()
1814 const llvm::APSInt *getSymVal(ProgramStateRef State,
1839 const llvm::APSInt &V,
1840 const llvm::APSInt &Adjustment) override;
1843 const llvm::APSInt &V,
1844 const llvm::APSInt &Adjustment) override;
1847 const llvm::APSInt &V,
1848 const llvm::APSInt &Adjustment) override;
1851 const llvm::APSInt &V,
1852 const llvm::APSInt &Adjustment) override;
1855 const llvm::APSInt &V,
1856 const llvm::APSInt &Adjustment) override;
1859 const llvm::APSInt &V,
1860 const llvm::APSInt &Adjustment) override;
1863 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
1864 const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
1867 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
1868 const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
1881 const llvm::APSInt &Int,
1882 const llvm::APSInt &Adjustment);
1884 const llvm::APSInt &Int,
1885 const llvm::APSInt &Adjustment);
1887 const llvm::APSInt &Int,
1888 const llvm::APSInt &Adjustment);
1890 const llvm::APSInt &Int,
1891 const llvm::APSInt &Adjustment);
1893 const llvm::APSInt &Int,
1894 const llvm::APSInt &Adjustment);
1917 using Const = const llvm::APSInt &;
1951 if (const llvm::APSInt *Const = Constraint.getConcreteValue()) { \
2061 if (const llvm::APSInt *Point = NewConstraint.getConcreteValue()) { in assign()
2120 const llvm::APSInt &Constraint) { in assignSymExprToConst()
2488 if (const llvm::APSInt *Point = SecondConstraint->getConcreteValue()) { in addToDisequalityInfo()
2602 const llvm::APSInt &SV = CI->getValue(); in simplify()
2774 if (const llvm::APSInt *Value = Ranges->getConcreteValue()) in checkNull()
2779 llvm::APSInt Zero = IntType.getZeroValue(); in checkNull()
2789 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St, in getSymVal()
2960 const llvm::APSInt &Int, in assumeSymNE()
2961 const llvm::APSInt &Adjustment) { in assumeSymNE()
2967 llvm::APSInt Point = AdjustmentType.convert(Int) - Adjustment; in assumeSymNE()
2976 const llvm::APSInt &Int, in assumeSymEQ()
2977 const llvm::APSInt &Adjustment) { in assumeSymEQ()
2984 llvm::APSInt AdjInt = AdjustmentType.convert(Int) - Adjustment; in assumeSymEQ()
2993 const llvm::APSInt &Int, in getSymLTRange()
2994 const llvm::APSInt &Adjustment) { in getSymLTRange()
3007 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in getSymLTRange()
3008 llvm::APSInt Min = AdjustmentType.getMinValue(); in getSymLTRange()
3012 llvm::APSInt Lower = Min - Adjustment; in getSymLTRange()
3013 llvm::APSInt Upper = ComparisonVal - Adjustment; in getSymLTRange()
3022 const llvm::APSInt &Int, in assumeSymLT()
3023 const llvm::APSInt &Adjustment) { in assumeSymLT()
3030 const llvm::APSInt &Int, in getSymGTRange()
3031 const llvm::APSInt &Adjustment) { in getSymGTRange()
3044 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in getSymGTRange()
3045 llvm::APSInt Max = AdjustmentType.getMaxValue(); in getSymGTRange()
3049 llvm::APSInt Lower = ComparisonVal - Adjustment; in getSymGTRange()
3050 llvm::APSInt Upper = Max - Adjustment; in getSymGTRange()
3059 const llvm::APSInt &Int, in assumeSymGT()
3060 const llvm::APSInt &Adjustment) { in assumeSymGT()
3067 const llvm::APSInt &Int, in getSymGERange()
3068 const llvm::APSInt &Adjustment) { in getSymGERange()
3081 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in getSymGERange()
3082 llvm::APSInt Min = AdjustmentType.getMinValue(); in getSymGERange()
3086 llvm::APSInt Max = AdjustmentType.getMaxValue(); in getSymGERange()
3087 llvm::APSInt Lower = ComparisonVal - Adjustment; in getSymGERange()
3088 llvm::APSInt Upper = Max - Adjustment; in getSymGERange()
3096 const llvm::APSInt &Int, in assumeSymGE()
3097 const llvm::APSInt &Adjustment) { in assumeSymGE()
3104 const llvm::APSInt &Int, in getSymLERange()
3105 const llvm::APSInt &Adjustment) { in getSymLERange()
3118 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in getSymLERange()
3119 llvm::APSInt Max = AdjustmentType.getMaxValue(); in getSymLERange()
3123 llvm::APSInt Min = AdjustmentType.getMinValue(); in getSymLERange()
3124 llvm::APSInt Lower = Min - Adjustment; in getSymLERange()
3125 llvm::APSInt Upper = ComparisonVal - Adjustment; in getSymLERange()
3133 const llvm::APSInt &Int, in getSymLERange()
3134 const llvm::APSInt &Adjustment) { in getSymLERange()
3140 const llvm::APSInt &Int, in assumeSymLE()
3141 const llvm::APSInt &Adjustment) { in assumeSymLE()
3147 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymWithinInclusiveRange()
3148 const llvm::APSInt &To, const llvm::APSInt &Adjustment) { in assumeSymWithinInclusiveRange()
3157 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymOutsideInclusiveRange()
3158 const llvm::APSInt &To, const llvm::APSInt &Adjustment) { in assumeSymOutsideInclusiveRange()