maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[SCEV] Use isAvailableAtLoopEntry in the asserts 

This is what is supposed to be there.
This commit is contained in:
Max Kazantsev 2021-09-21 17:10:43 +07:00
parent 8bc7185668
commit cd166fb2ef
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
llvm/lib/Analysis/ScalarEvolution.cpp
View File

@ -11836,9 +11836,9 @@ ScalarEvolution::howManyLessThans(const SCEV *LHS, const SCEV *RHS,
// so we get a backedge count of zero.
const SCEV *BECount = nullptr;
auto *OrigStartMinusStride = getMinusSCEV(OrigStart, Stride);
assert(isLoopInvariant(OrigStartMinusStride, L) && "Must be!");
assert(isLoopInvariant(OrigStart, L) && "Must be!");
assert(isLoopInvariant(OrigRHS, L) && "Must be!");
assert(isAvailableAtLoopEntry(OrigStartMinusStride, L) && "Must be!");
assert(isAvailableAtLoopEntry(OrigStart, L) && "Must be!");
assert(isAvailableAtLoopEntry(OrigRHS, L) && "Must be!");
// Can we prove (max(RHS,Start) > Start - Stride?
if (isLoopEntryGuardedByCond(L, Cond, OrigStartMinusStride, OrigStart) &&
isLoopEntryGuardedByCond(L, Cond, OrigStartMinusStride, OrigRHS)) {