]> granicus.if.org Git - llvm/commit
[SCEV] Make howFarToZero max backedge-taken count check for precondition.
authorEli Friedman <efriedma@codeaurora.org>
Wed, 11 Jan 2017 21:07:15 +0000 (21:07 +0000)
committerEli Friedman <efriedma@codeaurora.org>
Wed, 11 Jan 2017 21:07:15 +0000 (21:07 +0000)
commit1404fc08fc1494dbb05d98dad7fc448f25b59dff
tree95466752586858009035c0d26881139afc7bc2f4
parent08108a29e340ada9b9a5098ba80aec9df669591a
[SCEV] Make howFarToZero max backedge-taken count check for precondition.

Refines max backedge-taken count if a loop like
"for (int i = 0; i != n; ++i) { /* body */ }" is rotated.

Differential Revision: https://reviews.llvm.org/D28536

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@291704 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
test/Analysis/ScalarEvolution/max-trip-count.ll