Home | History | Annotate | Download | only in Analysis

Lines Matching full:bitwidth

939   // Suppose, W is the bitwidth of the return value.  We must be prepared for
1154 unsigned BitWidth = SE->getTypeSizeInBits(Step->getType());
1157 return SE->getConstant(APInt::getSignedMinValue(BitWidth) -
1162 return SE->getConstant(APInt::getSignedMaxValue(BitWidth) -
1174 unsigned BitWidth = SE->getTypeSizeInBits(Step->getType());
1177 return SE->getConstant(APInt::getMinValue(BitWidth) -
1286 unsigned BitWidth = SE->getTypeSizeInBits(AR->getType());
1287 Type *WideTy = IntegerType::get(SE->getContext(), BitWidth * 2);
1451 unsigned BitWidth = getTypeSizeInBits(AR->getType());
1486 Type *WideTy = IntegerType::get(getContext(), BitWidth * 2);
1538 const SCEV *N = getConstant(APInt::getMinValue(BitWidth) -
1553 const SCEV *N = getConstant(APInt::getMaxValue(BitWidth) -
1678 unsigned BitWidth = getTypeSizeInBits(AR->getType());
1713 Type *WideTy = IntegerType::get(getContext(), BitWidth * 2);
2169 uint64_t BitWidth = getTypeSizeInBits(Ty);
2172 APInt AccumulatedConstant(BitWidth, 0);
2175 APInt(BitWidth, 1), *this)) {
3296 /// Return a type with the same bitwidth as the given type and which represents
3849 uint32_t BitWidth = cast<IntegerType>(Op->getType())->getBitWidth();
3851 // If the shift count is not less than the bitwidth, the result of
3855 if (SA->getValue().ult(BitWidth)) {
3858 APInt::getOneBitSet(BitWidth, SA->getZExtValue()));
4372 uint32_t BitWidth = getTypeSizeInBits(M->getType());
4374 SumOpRes != BitWidth && i != e; ++i)
4376 BitWidth);
4406 unsigned BitWidth = getTypeSizeInBits(U->getType());
4407 APInt Zeros(BitWidth, 0), Ones(BitWidth, 0);
4444 unsigned BitWidth = getTypeSizeInBits(S->getType());
4445 ConstantRange ConservativeResult(BitWidth, /*isFullSet=*/true);
4453 ConstantRange(APInt::getMinValue(BitWidth),
4454 APInt::getMaxValue(BitWidth).lshr(TZ).shl(TZ) + 1);
4457 APInt::getSignedMinValue(BitWidth),
4458 APInt::getSignedMaxValue(BitWidth).ashr(TZ).shl(TZ) + 1);
4499 ConservativeResult.intersectWith(X.zeroExtend(BitWidth)));
4505 ConservativeResult.intersectWith(X.signExtend(BitWidth)));
4511 ConservativeResult.intersectWith(X.truncate(BitWidth)));
4521 ConstantRange(C->getAPInt(), APInt(BitWidth, 0)));
4534 ConstantRange(APInt(BitWidth, 0),
4535 APInt::getSignedMinValue(BitWidth)));
4538 ConstantRange(APInt::getSignedMinValue(BitWidth),
4539 APInt(BitWidth, 1)));
4546 getTypeSizeInBits(MaxBECount->getType()) <= BitWidth) {
4549 BitWidth);
4556 BitWidth);
4578 APInt Zeros(BitWidth, 0), Ones(BitWidth, 0);
4589 ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1),
4590 APInt::getSignedMaxValue(BitWidth).ashr(NS - 1) + 1));
4602 unsigned BitWidth) {
4604 getTypeSizeInBits(MaxBECount->getType()) <= BitWidth &&
4607 ConstantRange Result(BitWidth
4616 MaxBECountRange.zextOrTrunc(BitWidth * 2 + 1);
4619 ConstantRange SExtStepSRange = StepSRange.sextOrTrunc(BitWidth * 2 + 1);
4626 ConstantRange ZExtStartURange = StartURange.zextOrTrunc(BitWidth * 2 + 1);
4627 ConstantRange ZExtEndURange = EndURange.zextOrTrunc(BitWidth * 2 + 1);
4647 ConstantRange SExtStartSRange = StartSRange.sextOrTrunc(BitWidth * 2 + 1);
4648 ConstantRange SExtEndSRange = EndSRange.sextOrTrunc(BitWidth * 2 + 1);
4667 unsigned BitWidth) {
4676 explicit SelectPattern(ScalarEvolution &SE, unsigned BitWidth,
4679 APInt Offset(BitWidth, 0);
4681 assert(SE.getTypeSizeInBits(S->getType()) == BitWidth &&
4722 TrueValue = TrueValue.trunc(BitWidth);
4723 FalseValue = FalseValue.trunc(BitWidth);
4726 TrueValue = TrueValue.zext(BitWidth);
4727 FalseValue = FalseValue.zext(BitWidth);
4730 TrueValue = TrueValue.sext(BitWidth);
4731 FalseValue = FalseValue.sext(BitWidth);
4743 SelectPattern StartPattern(*this, BitWidth, Start);
4745 return ConstantRange(BitWidth, /* isFullSet = */ true);
4747 SelectPattern StepPattern(*this, BitWidth, Step);
4749 return ConstantRange(BitWidth, /* isFullSet = */ true);
4755 return ConstantRange(BitWidth, /* isFullSet = */ true);
4772 this->getRangeForAffineAR(TrueStart, TrueStep, MaxBECount, BitWidth);
4774 this->getRangeForAffineAR(FalseStart, FalseStep, MaxBECount, BitWidth);
5052 unsigned BitWidth = A.getBitWidth();
5053 APInt KnownZero(BitWidth, 0), KnownOne(BitWidth, 0);
5058 APInt::getLowBitsSet(BitWidth, BitWidth - LZ - TZ).shl(TZ);
5061 getContext(), APInt::getOneBitSet(BitWidth, TZ)));
5066 IntegerType::get(getContext(), BitWidth - LZ - TZ)),
5141 uint32_t BitWidth = cast<IntegerType>(SA->getType())->getBitWidth();
5143 // If the shift count is not less than the bitwidth, the result of
5147 if (SA->getValue().uge(BitWidth))
5151 // shift by BitWidth - 1, so we avoid applying flags in that
5157 if (BO->Op && SA->getValue().ult(BitWidth - 1))
5161 APInt::getOneBitSet(BitWidth, SA->getZExtValue()));
5172 uint64_t BitWidth = getTypeSizeInBits(BO->LHS->getType());
5174 // If the shift count is not less than the bitwidth, the result of
5178 if (CI->getValue().uge(BitWidth))
5181 uint64_t Amt = BitWidth - CI->getZExtValue();
5182 if (Amt == BitWidth)
6249 // bitwidth(K) iterations.
6267 // stabilize to 0 in at most bitwidth(K) iterations.
6278 unsigned BitWidth
6280 getConstant(getEffectiveSCEVType(RHS->getType()), BitWidth);
6983 uint32_t BitWidth = LC->getAPInt().getBitWidth();
6987 APInt Two(BitWidth, 2);
6988 APInt Four(BitWidth, 4);
8581 unsigned BitWidth = getTypeSizeInBits(RHS->getType());
8586 APInt MaxValue = APInt::getSignedMaxValue(BitWidth);
8595 APInt MaxValue = APInt::getMaxValue(BitWidth);
8607 unsigned BitWidth = getTypeSizeInBits(RHS->getType());
8612 APInt MinValue = APInt::getSignedMinValue(BitWidth);
8621 APInt MinValue = APInt::getMinValue(BitWidth);
8688 unsigned BitWidth = getTypeSizeInBits(LHS->getType());
8689 APInt Limit = IsSigned ? APInt::getSignedMaxValue(BitWidth) - (MinStride - 1)
8690 : APInt::getMaxValue(BitWidth) - (MinStride - 1);
8764 unsigned BitWidth = getTypeSizeInBits(LHS->getType());
8765 APInt Limit = IsSigned ? APInt::getSignedMinValue(BitWidth) + (MinStride - 1)
8766 : APInt::getMinValue(BitWidth) + (MinStride - 1);
8818 unsigned BitWidth = SE.getTypeSizeInBits(getType());
8819 if (!Range.contains(APInt(BitWidth, 0)))
8830 APInt One(BitWidth,1);