Lines Matching refs:ValueFactory
150 return unite(Original, Range(ValueFactory.getValue(Point))); in unite()
156 Range(ValueFactory.getValue(From), ValueFactory.getValue(To))); in unite()
495 Range(ValueFactory.getValue(Lower), ValueFactory.getValue(Upper))); in intersect()
508 Range(ValueFactory.getMinValue(Upper), ValueFactory.getValue(Upper))); in intersect()
510 Range(ValueFactory.getValue(Lower), ValueFactory.getMaxValue(Lower))); in intersect()
605 return getRangeSet(ValueFactory.getValue(Point)); in intersect()
615 const llvm::APSInt &MIN = ValueFactory.getMinValue(SampleValue); in negate()
616 const llvm::APSInt &MAX = ValueFactory.getMaxValue(SampleValue); in negate()
642 Result.emplace_back(MIN, ValueFactory.getValue(-Last->From())); in negate()
652 Result.emplace_back(ValueFactory.getValue(-To), MAX); in negate()
662 const llvm::APSInt &NewFrom = ValueFactory.getValue(-It->To()); in negate()
663 const llvm::APSInt &NewTo = ValueFactory.getValue(-It->From()); in negate()
708 return castTo(What, ValueFactory.getAPSIntType(T)); in castTo()
736 Dummy.emplace_back(ValueFactory.getMinValue(Ty), in truncateTo()
737 ValueFactory.getMaxValue(Ty)); in truncateTo()
744 const APSInt &PersistentFrom = ValueFactory.getValue(FromInt); in truncateTo()
745 const APSInt &PersistentTo = ValueFactory.getValue(ToInt); in truncateTo()
747 Dummy.emplace_back(ValueFactory.getMinValue(Ty), PersistentTo); in truncateTo()
748 Dummy.emplace_back(PersistentFrom, ValueFactory.getMaxValue(Ty)); in truncateTo()
784 auto CastRange = [Ty, &VF = ValueFactory](const Range &R) -> Bounds { in convertTo()
809 DescendArray.emplace_back(ValueFactory.getMinValue(Ty), NewBounds.second); in convertTo()
810 AscendArray.emplace_back(NewBounds.first, ValueFactory.getMaxValue(Ty)); in convertTo()
842 Result.emplace_back(ValueFactory.getValue(FromInt), in promoteTo()
843 ValueFactory.getValue(ToInt)); in promoteTo()
1262 : ValueFactory(F.getValueFactory()), RangeFactory(F), State(S) {} in SymbolicRangeInferrer()
1306 RangeSet Result(RangeFactory, ValueFactory.getMinValue(T), in infer()
1307 ValueFactory.getMaxValue(T)); in infer()
1371 return Range(ValueFactory.Convert(To, Origin.From()), in convert()
1372 ValueFactory.Convert(To, Origin.To())); in convert()
1386 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()
1416 APSIntType RangeType = ValueFactory.getAPSIntType(T); in getSymmetricalRange()
1419 return Range(ValueFactory.getMinValue(RangeType), Origin.To()); in getSymmetricalRange()
1426 return {ValueFactory.getMinValue(RangeType), in getSymmetricalRange()
1427 ValueFactory.getMaxValue(RangeType)}; in getSymmetricalRange()
1444 return {ValueFactory.getValue(-AbsMax), ValueFactory.getValue(AbsMax)}; in getSymmetricalRange()
1449 APSIntType IntType = ValueFactory.getAPSIntType(T); in assumeNonZero()
1615 const llvm::APSInt &Zero = ValueFactory.getValue(0, T); in getFalseRange()
1619 BasicValueFactory &ValueFactory; member in __anon77be4a4c0511::SymbolicRangeInferrer
1631 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()
1658 ? ValueFactory.getValue(--Zero) in VisitBinaryOperator()
1659 : ValueFactory.getMaxValue(ResultType); in VisitBinaryOperator()
1661 return {RangeFactory, ValueFactory.getValue(Min), Max}; in VisitBinaryOperator()
1667 return {RangeFactory, ValueFactory.getMinValue(ResultType), in VisitBinaryOperator()
1668 ValueFactory.getValue(--Zero)}; in VisitBinaryOperator()
1689 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()
1707 ? ValueFactory.getMinValue(ResultType) in VisitBinaryOperator()
1708 : ValueFactory.getValue(Zero); in VisitBinaryOperator()
1723 return {RangeFactory, ValueFactory.getValue(Zero), in VisitBinaryOperator()
1724 ValueFactory.getValue(Max)}; in VisitBinaryOperator()
1735 llvm::APSInt Zero = ValueFactory.getAPSIntType(T).getZeroValue(); in VisitBinaryOperator()
1785 return {RangeFactory, ValueFactory.getValue(Min), ValueFactory.getValue(Max)}; in VisitBinaryOperator()