aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/CodeGen/MachineBranchProbabilityInfo.cpp
diff options
context:
space:
mode:
authorBenjamin Kramer <benny.kra@googlemail.com>2014-03-25 16:25:12 +0000
committerBenjamin Kramer <benny.kra@googlemail.com>2014-03-25 16:25:12 +0000
commite75eaca32f058d9633438ac7ceebde13d25b8a18 (patch)
tree2311b32c57e512a8e66b428c859ac5169e4962b9 /llvm/lib/CodeGen/MachineBranchProbabilityInfo.cpp
parentb22426c510cbec2c64e7f1d97f2a63c9a185f812 (diff)
downloadllvm-e75eaca32f058d9633438ac7ceebde13d25b8a18.zip
llvm-e75eaca32f058d9633438ac7ceebde13d25b8a18.tar.gz
llvm-e75eaca32f058d9633438ac7ceebde13d25b8a18.tar.bz2
ScalarEvolution: Compute exit counts for loops with a power-of-2 step.
If we have a loop of the form for (unsigned n = 0; n != (k & -32); n += 32) {} then we know that n is always divisible by 32 and the loop must terminate. Even if we have a condition where the loop counter will overflow it'll always hold this invariant. PR19183. Our loop vectorizer creates this pattern and it's also occasionally formed by loop counters derived from pointers. llvm-svn: 204728
Diffstat (limited to 'llvm/lib/CodeGen/MachineBranchProbabilityInfo.cpp')
0 files changed, 0 insertions, 0 deletions