Lines Matching refs:ConstantRange
79 #include "llvm/Support/ConstantRange.h"
923 ConstantRange CR = getUnsignedRange(X);
1189 ConstantRange CR = getSignedRange(X);
3266 ConstantRange
3269 DenseMap<const SCEV *, ConstantRange>::iterator I = UnsignedRanges.find(S);
3274 return setUnsignedRange(C, ConstantRange(C->getValue()->getValue()));
3277 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true);
3284 ConstantRange(APInt::getMinValue(BitWidth),
3288 ConstantRange X = getUnsignedRange(Add->getOperand(0));
3295 ConstantRange X = getUnsignedRange(Mul->getOperand(0));
3302 ConstantRange X = getUnsignedRange(SMax->getOperand(0));
3309 ConstantRange X = getUnsignedRange(UMax->getOperand(0));
3316 ConstantRange X = getUnsignedRange(UDiv->getLHS());
3317 ConstantRange Y = getUnsignedRange(UDiv->getRHS());
3322 ConstantRange X = getUnsignedRange(ZExt->getOperand());
3328 ConstantRange X = getUnsignedRange(SExt->getOperand());
3334 ConstantRange X = getUnsignedRange(Trunc->getOperand());
3347 ConstantRange(C->getValue()->getValue(), APInt(BitWidth, 0)));
3360 ConstantRange StartRange = getUnsignedRange(Start);
3361 ConstantRange StepRange = getSignedRange(Step);
3362 ConstantRange MaxBECountRange = getUnsignedRange(MaxBECount);
3363 ConstantRange EndRange =
3366 // Check for overflow. This must be done with ConstantRange arithmetic
3369 ConstantRange ExtStartRange = StartRange.zextOrTrunc(BitWidth*2+1);
3370 ConstantRange ExtStepRange = StepRange.sextOrTrunc(BitWidth*2+1);
3371 ConstantRange ExtMaxBECountRange =
3373 ConstantRange ExtEndRange = EndRange.zextOrTrunc(BitWidth*2+1);
3385 ConservativeResult.intersectWith(ConstantRange(Min, Max+1)));
3399 ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)));
3407 ConstantRange
3410 DenseMap<const SCEV *, ConstantRange>::iterator I = SignedRanges.find(S);
3415 return setSignedRange(C, ConstantRange(C->getValue()->getValue()));
3418 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true);
3425 ConstantRange(APInt::getSignedMinValue(BitWidth),
3429 ConstantRange X = getSignedRange(Add->getOperand(0));
3436 ConstantRange X = getSignedRange(Mul->getOperand(0));
3443 ConstantRange X = getSignedRange(SMax->getOperand(0));
3450 ConstantRange X = getSignedRange(UMax->getOperand(0));
3457 ConstantRange X = getSignedRange(UDiv->getLHS());
3458 ConstantRange Y = getSignedRange(UDiv->getRHS());
3463 ConstantRange X = getSignedRange(ZExt->getOperand());
3469 ConstantRange X = getSignedRange(SExt->getOperand());
3475 ConstantRange X = getSignedRange(Trunc->getOperand());
3492 ConstantRange(APInt(BitWidth, 0),
3496 ConstantRange(APInt::getSignedMinValue(BitWidth),
3511 ConstantRange StartRange = getSignedRange(Start);
3512 ConstantRange StepRange = getSignedRange(Step);
3513 ConstantRange MaxBECountRange = getUnsignedRange(MaxBECount);
3514 ConstantRange EndRange =
3517 // Check for overflow. This must be done with ConstantRange arithmetic
3520 ConstantRange ExtStartRange = StartRange.sextOrTrunc(BitWidth*2+1);
3521 ConstantRange ExtStepRange = StepRange.sextOrTrunc(BitWidth*2+1);
3522 ConstantRange ExtMaxBECountRange =
3524 ConstantRange ExtEndRange = EndRange.sextOrTrunc(BitWidth*2+1);
3536 ConservativeResult.intersectWith(ConstantRange(Min, Max+1)));
3551 ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1),
4507 ConstantRange CompRange(
5498 ConstantRange CR = getUnsignedRange(Start);
5939 ConstantRange LHSRange = getSignedRange(LHS);
5940 ConstantRange RHSRange = getSignedRange(RHS);
5951 ConstantRange LHSRange = getSignedRange(LHS);
5952 ConstantRange RHSRange = getSignedRange(RHS);
5963 ConstantRange LHSRange = getUnsignedRange(LHS);
5964 ConstantRange RHSRange = getUnsignedRange(RHS);
5975 ConstantRange LHSRange = getUnsignedRange(LHS);
5976 ConstantRange RHSRange = getUnsignedRange(RHS);
6409 const SCEV *SCEVAddRecExpr::getNumIterationsInRange(ConstantRange Range,