Lines Matching defs:BV
107 void IntersectInRange(BasicValueFactory &BV, Factory &F,
131 newRanges = F.add(newRanges, Range(BV.getValue(Lower),
132 BV.getValue(Upper)));
135 newRanges = F.add(newRanges, Range(BV.getValue(Lower), i->To()));
138 newRanges = F.add(newRanges, Range(i->From(), BV.getValue(Upper)));
154 RangeSet Intersect(BasicValueFactory &BV, Factory &F,
161 IntersectInRange(BV, F, Lower, Upper, newRanges, i, e);
166 IntersectInRange(BV, F, BV.getMinValue(Upper), Upper, newRanges, i, e);
167 IntersectInRange(BV, F, Lower, BV.getMaxValue(Lower), newRanges, i, e);
292 BasicValueFactory& BV = state->getBasicVals();
293 return RangeSet(F, BV.getMinValue(T), BV.getMaxValue(T));
312 BasicValueFactory &BV = state->getBasicVals();
321 RangeSet New = GetRange(state, sym).Intersect(BV, F, Upper, Lower);
330 BasicValueFactory &BV = state->getBasicVals();
332 RangeSet New = GetRange(state, sym).Intersect(BV, F, AdjInt, AdjInt);
340 BasicValueFactory &BV = state->getBasicVals();
343 const llvm::APSInt &Min = BV.getMinValue(T);
353 RangeSet New = GetRange(state, sym).Intersect(BV, F, Lower, Upper);
361 BasicValueFactory &BV = state->getBasicVals();
364 const llvm::APSInt &Max = BV.getMaxValue(T);
374 RangeSet New = GetRange(state, sym).Intersect(BV, F, Lower, Upper);
382 BasicValueFactory &BV = state->getBasicVals();
385 const llvm::APSInt &Min = BV.getMinValue(T);
391 const llvm::APSInt &Max = BV.getMaxValue(T);
396 RangeSet New = GetRange(state, sym).Intersect(BV, F, Lower, Upper);
404 BasicValueFactory &BV = state->getBasicVals();
407 const llvm::APSInt &Max = BV.getMaxValue(T);
413 const llvm::APSInt &Min = BV.getMinValue(T);
418 RangeSet New = GetRange(state, sym).Intersect(BV, F, Lower, Upper);