Lines Matching refs:ConstantRange
82 #include "llvm/Support/ConstantRange.h"
932 ConstantRange CR = getUnsignedRange(X);
1198 ConstantRange CR = getSignedRange(X);
3313 ConstantRange
3316 DenseMap<const SCEV *, ConstantRange>::iterator I = UnsignedRanges.find(S);
3321 return setUnsignedRange(C, ConstantRange(C->getValue()->getValue()));
3324 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true);
3331 ConstantRange(APInt::getMinValue(BitWidth),
3335 ConstantRange X = getUnsignedRange(Add->getOperand(0));
3342 ConstantRange X = getUnsignedRange(Mul->getOperand(0));
3349 ConstantRange X = getUnsignedRange(SMax->getOperand(0));
3356 ConstantRange X = getUnsignedRange(UMax->getOperand(0));
3363 ConstantRange X = getUnsignedRange(UDiv->getLHS());
3364 ConstantRange Y = getUnsignedRange(UDiv->getRHS());
3369 ConstantRange X = getUnsignedRange(ZExt->getOperand());
3375 ConstantRange X = getUnsignedRange(SExt->getOperand());
3381 ConstantRange X = getUnsignedRange(Trunc->getOperand());
3394 ConstantRange(C->getValue()->getValue(), APInt(BitWidth, 0)));
3407 ConstantRange StartRange = getUnsignedRange(Start);
3408 ConstantRange StepRange = getSignedRange(Step);
3409 ConstantRange MaxBECountRange = getUnsignedRange(MaxBECount);
3410 ConstantRange EndRange =
3413 // Check for overflow. This must be done with ConstantRange arithmetic
3416 ConstantRange ExtStartRange = StartRange.zextOrTrunc(BitWidth*2+1);
3417 ConstantRange ExtStepRange = StepRange.sextOrTrunc(BitWidth*2+1);
3418 ConstantRange ExtMaxBECountRange =
3420 ConstantRange ExtEndRange = EndRange.zextOrTrunc(BitWidth*2+1);
3432 ConservativeResult.intersectWith(ConstantRange(Min, Max+1)));
3446 ConservativeResult.intersectWith(ConstantRange(Ones, ~Zeros + 1)));
3454 ConstantRange
3457 DenseMap<const SCEV *, ConstantRange>::iterator I = SignedRanges.find(S);
3462 return setSignedRange(C, ConstantRange(C->getValue()->getValue()));
3465 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true);
3472 ConstantRange(APInt::getSignedMinValue(BitWidth),
3476 ConstantRange X = getSignedRange(Add->getOperand(0));
3483 ConstantRange X = getSignedRange(Mul->getOperand(0));
3490 ConstantRange X = getSignedRange(SMax->getOperand(0));
3497 ConstantRange X = getSignedRange(UMax->getOperand(0));
3504 ConstantRange X = getSignedRange(UDiv->getLHS());
3505 ConstantRange Y = getSignedRange(UDiv->getRHS());
3510 ConstantRange X = getSignedRange(ZExt->getOperand());
3516 ConstantRange X = getSignedRange(SExt->getOperand());
3522 ConstantRange X = getSignedRange(Trunc->getOperand());
3539 ConstantRange(APInt(BitWidth, 0),
3543 ConstantRange(APInt::getSignedMinValue(BitWidth),
3558 ConstantRange StartRange = getSignedRange(Start);
3559 ConstantRange StepRange = getSignedRange(Step);
3560 ConstantRange MaxBECountRange = getUnsignedRange(MaxBECount);
3561 ConstantRange EndRange =
3564 // Check for overflow. This must be done with ConstantRange arithmetic
3567 ConstantRange ExtStartRange = StartRange.sextOrTrunc(BitWidth*2+1);
3568 ConstantRange ExtStepRange = StepRange.sextOrTrunc(BitWidth*2+1);
3569 ConstantRange ExtMaxBECountRange =
3571 ConstantRange ExtEndRange = EndRange.sextOrTrunc(BitWidth*2+1);
3583 ConstantRange(Min, Max+1)));
3598 ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1),
4599 ConstantRange CompRange(
5590 ConstantRange CR = getUnsignedRange(Start);
6032 ConstantRange LHSRange = getSignedRange(LHS);
6033 ConstantRange RHSRange = getSignedRange(RHS);
6044 ConstantRange LHSRange = getSignedRange(LHS);
6045 ConstantRange RHSRange = getSignedRange(RHS);
6056 ConstantRange LHSRange = getUnsignedRange(LHS);
6057 ConstantRange RHSRange = getUnsignedRange(RHS);
6068 ConstantRange LHSRange = getUnsignedRange(LHS);
6069 ConstantRange RHSRange = getUnsignedRange(RHS);
6509 const SCEV *SCEVAddRecExpr::getNumIterationsInRange(ConstantRange Range,
