@@ -1715,9 +1715,9 @@ const SCEV *ScalarEvolution::getZeroExtendExprImpl(const SCEV *Op, Type *Ty,
1715
1715
Step = getZeroExtendExpr(Step, Ty, Depth + 1);
1716
1716
return getAddRecExpr(Start, Step, L, AR->getNoWrapFlags());
1717
1717
}
1718
-
1718
+
1719
1719
// For a negative step, we can extend the operands iff doing so only
1720
- // traverses values in the range zext([0,UINT_MAX]).
1720
+ // traverses values in the range zext([0,UINT_MAX]).
1721
1721
if (isKnownNegative(Step)) {
1722
1722
const SCEV *N = getConstant(APInt::getMaxValue(BitWidth) -
1723
1723
getSignedRangeMin(Step));
@@ -4403,8 +4403,8 @@ Type *ScalarEvolution::getWiderType(Type *T1, Type *T2) const {
4403
4403
return getTypeSizeInBits(T1) >= getTypeSizeInBits(T2) ? T1 : T2;
4404
4404
}
4405
4405
4406
- bool ScalarEvolution::instructionCouldExistWitthOperands (const SCEV *A,
4407
- const SCEV *B) {
4406
+ bool ScalarEvolution::instructionCouldExistWithOperands (const SCEV *A,
4407
+ const SCEV *B) {
4408
4408
/// For a valid use point to exist, the defining scope of one operand
4409
4409
/// must dominate the other.
4410
4410
bool PreciseA, PreciseB;
@@ -4417,7 +4417,6 @@ bool ScalarEvolution::instructionCouldExistWitthOperands(const SCEV *A,
4417
4417
DT.dominates(ScopeB, ScopeA);
4418
4418
}
4419
4419
4420
-
4421
4420
const SCEV *ScalarEvolution::getCouldNotCompute() {
4422
4421
return CouldNotCompute.get();
4423
4422
}
@@ -9007,7 +9006,7 @@ ScalarEvolution::ExitLimit ScalarEvolution::computeExitLimitFromICmp(
9007
9006
InnerLHS = ZExt->getOperand();
9008
9007
if (const SCEVAddRecExpr *AR = dyn_cast<SCEVAddRecExpr>(InnerLHS)) {
9009
9008
auto *StrideC = dyn_cast<SCEVConstant>(AR->getStepRecurrence(*this));
9010
- if (!AR->hasNoSelfWrap() && AR->getLoop() == L && AR->isAffine() &&
9009
+ if (!AR->hasNoSelfWrap() && AR->getLoop() == L && AR->isAffine() &&
9011
9010
StrideC && StrideC->getAPInt().isPowerOf2()) {
9012
9011
auto Flags = AR->getNoWrapFlags();
9013
9012
Flags = setFlags(Flags, SCEV::FlagNW);
@@ -12501,7 +12500,7 @@ bool ScalarEvolution::canIVOverflowOnLT(const SCEV *RHS, const SCEV *Stride,
12501
12500
12502
12501
bool ScalarEvolution::canIVOverflowOnGT(const SCEV *RHS, const SCEV *Stride,
12503
12502
bool IsSigned) {
12504
-
12503
+
12505
12504
unsigned BitWidth = getTypeSizeInBits(RHS->getType());
12506
12505
const SCEV *One = getOne(Stride->getType());
12507
12506
0 commit comments