squiid/llvm
1
0
Fork 0
Code Issues Pull requests Activity

snapshot - do not push

Browse source
This commit is contained in:
Philip Reames 2021-09-01 14:13:11 -07:00
parent 2754604e54
commit 91f4655d92
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

@ -11632,9 +11632,9 @@ ScalarEvolution::howManyLessThans(const SCEV *LHS, const SCEV *RHS,
//
// a) IV is either nuw or nsw depending upon signedness (indicated by the
// NoWrap flag).
// b) loop is single exit with no side effects.
// c) loop has no abnormal exits
//
// b) the loop is guaranteed to be finite (e.g. is mustprogress and has
// no side effects within the loop)
// b) loop has a single static exit (with no abnormal exits)
//
// Precondition a) implies that if the stride is negative, this is a single
// trip loop. The backedge taken count formula reduces to zero in this case.