Lines Matching refs:APSInt
105 const llvm::APSInt &Lower,
106 const llvm::APSInt &Upper,
143 const llvm::APSInt &RangeSet::getMinValue() const {
148 const llvm::APSInt &RangeSet::getMaxValue() const {
160 bool RangeSet::pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const {
254 llvm::APSInt Lower, llvm::APSInt Upper) const {
314 const llvm::APSInt sampleValue = getMinValue();
315 const llvm::APSInt &MIN = BV.getMinValue(sampleValue);
316 const llvm::APSInt &MAX = BV.getMaxValue(sampleValue);
320 const llvm::APSInt &from = i->From();
321 const llvm::APSInt &to = i->To();
341 const llvm::APSInt &newFrom = BV.getValue(-i->To());
342 const llvm::APSInt &newTo = BV.getValue(-i->From());
356 const llvm::APSInt &to = iter2->To();
427 RangeSet inferAs(const llvm::APSInt &Val, QualType) {
615 llvm::APSInt AbsMax = std::max(-Origin.From(), Origin.To());
682 const llvm::APSInt &Zero = ValueFactory.getValue(0, T);
683 const llvm::APSInt &One = ValueFactory.getValue(1, T);
710 const llvm::APSInt *ConcreteValue = QueriedRangeSet->getConcreteValue();
751 llvm::APSInt Zero = ResultType.getZeroValue();
763 const llvm::APSInt &Min = std::max(LHS.From(), RHS.From());
776 const llvm::APSInt &Max = IsLHSNegative
809 llvm::APSInt Zero = ResultType.getZeroValue();
821 const llvm::APSInt &Max = std::min(LHS.To(), RHS.To());
825 const llvm::APSInt &Min = IsLHSNegative
838 const llvm::APSInt &Max = IsLHSPositiveOrZero ? LHS.To() : RHS.To();
854 llvm::APSInt Zero = ValueFactory.getAPSIntType(T).getZeroValue();
858 llvm::APSInt Max = ConservativeRange.To();
859 llvm::APSInt Min = ConservativeRange.From();
925 const llvm::APSInt *getSymVal(ProgramStateRef State,
939 const llvm::APSInt &V,
940 const llvm::APSInt &Adjustment) override;
943 const llvm::APSInt &V,
944 const llvm::APSInt &Adjustment) override;
947 const llvm::APSInt &V,
948 const llvm::APSInt &Adjustment) override;
951 const llvm::APSInt &V,
952 const llvm::APSInt &Adjustment) override;
955 const llvm::APSInt &V,
956 const llvm::APSInt &Adjustment) override;
959 const llvm::APSInt &V,
960 const llvm::APSInt &Adjustment) override;
963 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
964 const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
967 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
968 const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
976 const llvm::APSInt &Int,
977 const llvm::APSInt &Adjustment);
979 const llvm::APSInt &Int,
980 const llvm::APSInt &Adjustment);
982 const llvm::APSInt &Int,
983 const llvm::APSInt &Adjustment);
985 const llvm::APSInt &Int,
986 const llvm::APSInt &Adjustment);
988 const llvm::APSInt &Int,
989 const llvm::APSInt &Adjustment);
1055 if (const llvm::APSInt *Value = Ranges->getConcreteValue())
1060 llvm::APSInt Zero = IntType.getZeroValue();
1070 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St,
1115 const llvm::APSInt &Int,
1116 const llvm::APSInt &Adjustment) {
1122 llvm::APSInt Lower = AdjustmentType.convert(Int) - Adjustment;
1123 llvm::APSInt Upper = Lower;
1135 const llvm::APSInt &Int,
1136 const llvm::APSInt &Adjustment) {
1143 llvm::APSInt AdjInt = AdjustmentType.convert(Int) - Adjustment;
1150 const llvm::APSInt &Int,
1151 const llvm::APSInt &Adjustment) {
1164 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int);
1165 llvm::APSInt Min = AdjustmentType.getMinValue();
1169 llvm::APSInt Lower = Min - Adjustment;
1170 llvm::APSInt Upper = ComparisonVal - Adjustment;
1178 const llvm::APSInt &Int,
1179 const llvm::APSInt &Adjustment) {
1186 const llvm::APSInt &Int,
1187 const llvm::APSInt &Adjustment) {
1200 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int);
1201 llvm::APSInt Max = AdjustmentType.getMaxValue();
1205 llvm::APSInt Lower = ComparisonVal - Adjustment;
1206 llvm::APSInt Upper = Max - Adjustment;
1214 const llvm::APSInt &Int,
1215 const llvm::APSInt &Adjustment) {
1222 const llvm::APSInt &Int,
1223 const llvm::APSInt &Adjustment) {
1236 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int);
1237 llvm::APSInt Min = AdjustmentType.getMinValue();
1241 llvm::APSInt Max = AdjustmentType.getMaxValue();
1242 llvm::APSInt Lower = ComparisonVal - Adjustment;
1243 llvm::APSInt Upper = Max - Adjustment;
1250 const llvm::APSInt &Int,
1251 const llvm::APSInt &Adjustment) {
1258 const llvm::APSInt &Int,
1259 const llvm::APSInt &Adjustment) {
1272 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int);
1273 llvm::APSInt Max = AdjustmentType.getMaxValue();
1277 llvm::APSInt Min = AdjustmentType.getMinValue();
1278 llvm::APSInt Lower = Min - Adjustment;
1279 llvm::APSInt Upper = ComparisonVal - Adjustment;
1286 const llvm::APSInt &Int,
1287 const llvm::APSInt &Adjustment) {
1293 const llvm::APSInt &Int,
1294 const llvm::APSInt &Adjustment) {
1300 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
1301 const llvm::APSInt &To, const llvm::APSInt &Adjustment) {
1310 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
1311 const llvm::APSInt &To, const llvm::APSInt &Adjustment) {