lib/Analysis/ScalarEvolution.cpp

82 #include "llvm/Support/ConstantRange.h"
932     ConstantRange CR = getUnsignedRange(X);
1198     ConstantRange CR = getSignedRange(X);
3308 ConstantRange
3311   DenseMap<const SCEV *, ConstantRange>::iterator I = UnsignedRanges.find(S);
3316     return setUnsignedRange(C, ConstantRange(C->getValue()->getValue()));
3319   ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true);
3326       ConstantRange(APInt::getMinValue(BitWidth),
3330     ConstantRange X = getUnsignedRange(Add->getOperand(0));
3337     ConstantRange X = getUnsignedRange(Mul->getOperand(0));
3344     ConstantRange X = getUnsignedRange(SMax->getOperand(0));
3351     ConstantRange X = getUnsignedRange(UMax->getOperand(0));
3358     ConstantRange X = getUnsignedRange(UDiv->getLHS());
3359     ConstantRange Y = getUnsignedRange(UDiv->getRHS());
3364     ConstantRange X = getUnsignedRange(ZExt->getOperand());
3370     ConstantRange X = getUnsignedRange(SExt->getOperand());
3376     ConstantRange X = getUnsignedRange(Trunc->getOperand());
3389               ConstantRange(C->getValue()->getValue(), APInt(BitWidth, 0)));
3402         ConstantRange StartRange = getUnsignedRange(Start);
3403         ConstantRange StepRange = getSignedRange(Step);
3404         ConstantRange MaxBECountRange = getUnsignedRange(MaxBECount);
3405         ConstantRange EndRange =
3408         // Check for overflow. This must be done with ConstantRange arithmetic
3411         ConstantRange ExtStartRange = StartRange.zextOrTrunc(BitWidth*2+1);
3412         ConstantRange ExtStepRange = StepRange.sextOrTrunc(BitWidth*2+1);
3413         ConstantRange ExtMaxBECountRange =
3415         ConstantRange ExtEndRange = EndRange.zextOrTrunc(BitWidth*2+1);
3427           ConservativeResult.intersectWith(ConstantRange(Min, Max+1)));
3441       ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)));
3449 ConstantRange
3452   DenseMap<const SCEV *, ConstantRange>::iterator I = SignedRanges.find(S);
3457     return setSignedRange(C, ConstantRange(C->getValue()->getValue()));
3460   ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true);
3467       ConstantRange(APInt::getSignedMinValue(BitWidth),
3471     ConstantRange X = getSignedRange(Add->getOperand(0));
3478     ConstantRange X = getSignedRange(Mul->getOperand(0));
3485     ConstantRange X = getSignedRange(SMax->getOperand(0));
3492     ConstantRange X = getSignedRange(UMax->getOperand(0));
3499     ConstantRange X = getSignedRange(UDiv->getLHS());
3500     ConstantRange Y = getSignedRange(UDiv->getRHS());
3505     ConstantRange X = getSignedRange(ZExt->getOperand());
3511     ConstantRange X = getSignedRange(SExt->getOperand());
3517     ConstantRange X = getSignedRange(Trunc->getOperand());
3534           ConstantRange(APInt(BitWidth, 0),
3538           ConstantRange(APInt::getSignedMinValue(BitWidth),
3553         ConstantRange StartRange = getSignedRange(Start);
3554         ConstantRange StepRange = getSignedRange(Step);
3555         ConstantRange MaxBECountRange = getUnsignedRange(MaxBECount);
3556         ConstantRange EndRange =
3559         // Check for overflow. This must be done with ConstantRange arithmetic
3562         ConstantRange ExtStartRange = StartRange.sextOrTrunc(BitWidth*2+1);
3563         ConstantRange ExtStepRange = StepRange.sextOrTrunc(BitWidth*2+1);
3564         ConstantRange ExtMaxBECountRange =
3566         ConstantRange ExtEndRange = EndRange.sextOrTrunc(BitWidth*2+1);
3578           ConservativeResult.intersectWith(ConstantRange(Min, Max+1)));
3593       ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1),
4594         ConstantRange CompRange(
5588     ConstantRange CR = getUnsignedRange(Start);
6030     ConstantRange LHSRange = getSignedRange(LHS);
6031     ConstantRange RHSRange = getSignedRange(RHS);
6042     ConstantRange LHSRange = getSignedRange(LHS);
6043     ConstantRange RHSRange = getSignedRange(RHS);
6054     ConstantRange LHSRange = getUnsignedRange(LHS);
6055     ConstantRange RHSRange = getUnsignedRange(RHS);
6066     ConstantRange LHSRange = getUnsignedRange(LHS);
6067     ConstantRange RHSRange = getUnsignedRange(RHS);
6559 const SCEV *SCEVAddRecExpr::getNumIterationsInRange(ConstantRange Range,