Skip to content

Commit c474bbe

Browse files
committed
!fixup address comments, thanks
1 parent c51df74 commit c474bbe

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

llvm/lib/Analysis/ScalarEvolution.cpp

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14953,15 +14953,15 @@ const SCEVAddRecExpr *ScalarEvolution::convertSCEVToAddRecWithPredicates(
1495314953
return nullptr;
1495414954

1495514955
// Check if any of the transformed predicates is known to be false. In that
14956-
// case, it doesn't make sense to convert to an predicated AddRec, as the
14956+
// case, it doesn't make sense to convert to a predicated AddRec, as the
1495714957
// versioned loop will never execute.
1495814958
for (const SCEVPredicate *Pred : TransformPreds) {
1495914959
auto *WrapPred = dyn_cast<SCEVWrapPredicate>(Pred);
1496014960
if (!WrapPred || WrapPred->getFlags() != SCEVWrapPredicate::IncrementNSSW)
1496114961
continue;
1496214962

1496314963
const SCEVAddRecExpr *AddRecToCheck = WrapPred->getExpr();
14964-
const SCEV *ExitCount = getBackedgeTakenCount(AddRec->getLoop());
14964+
const SCEV *ExitCount = getBackedgeTakenCount(AddRecToCheck->getLoop());
1496514965
if (isa<SCEVCouldNotCompute>(ExitCount))
1496614966
continue;
1496714967

@@ -14971,9 +14971,8 @@ const SCEVAddRecExpr *ScalarEvolution::convertSCEVToAddRecWithPredicates(
1497114971

1497214972
ExitCount = getTruncateOrSignExtend(ExitCount, Step->getType());
1497314973
const SCEV *Add = getAddExpr(AddRecToCheck->getStart(), ExitCount);
14974-
if (isKnownPredicate(CmpInst::ICMP_SLT, Add, AddRecToCheck->getStart())) {
14974+
if (isKnownPredicate(CmpInst::ICMP_SLT, Add, AddRecToCheck->getStart()))
1497514975
return nullptr;
14976-
}
1497714976
}
1497814977

1497914978
// Since the transformation was successful, we can now transfer the SCEV

0 commit comments

Comments
 (0)