diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2014-12-15 22:50:15 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2014-12-15 22:50:15 +0000 |
| commit | 4555b6d870db7b4d5b68cc8fc7f12d0d6e3769af (patch) | |
| tree | 924de6d9f014c8c4d58c14bb8c4c9103746033fe /llvm/test/Transforms/LoopStrengthReduce/quadradic-exit-value.ll | |
| parent | dad56868819e04c1cf4de361d0f9811d4f41559a (diff) | |
| download | bcm5719-llvm-4555b6d870db7b4d5b68cc8fc7f12d0d6e3769af.tar.gz bcm5719-llvm-4555b6d870db7b4d5b68cc8fc7f12d0d6e3769af.zip | |
Teach ScalarEvolution to exploit min and max expressions when proving
isKnownPredicate.
The motivation for this change is to optimize away checks in loops
like this:
limit = min(t, len)
for (i = 0 to limit)
if (i >= len || i < 0) throw_array_of_of_bounds();
a[i] = ...
Differential Revision: http://reviews.llvm.org/D6635
llvm-svn: 224285
Diffstat (limited to 'llvm/test/Transforms/LoopStrengthReduce/quadradic-exit-value.ll')
0 files changed, 0 insertions, 0 deletions
