diff options
| author | Philip Reames <listmail@philipreames.com> | 2016-02-12 00:09:18 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2016-02-12 00:09:18 +0000 |
| commit | 854a84c0b0a3386943bdc6bf67d8f2e36c4496db (patch) | |
| tree | 46c06bf1897b87d63b2f63e863407c632f840ab3 /llvm/test/Bitcode/binaryIntInstructions.3.2.ll | |
| parent | 9ddad935b93906f8b0389b9120ce29ff0206585f (diff) | |
| download | bcm5719-llvm-854a84c0b0a3386943bdc6bf67d8f2e36c4496db.tar.gz bcm5719-llvm-854a84c0b0a3386943bdc6bf67d8f2e36c4496db.zip | |
[LVI] Improve select handling to use condition
This patches teaches LVI to recognize clamp idioms (e.g. select(a > 5, a, 5) will always produce something greater than 5.
The tests end up being somewhat simplistic because trying to exercise the case I actually care about (a loop with a range check on a clamped secondary induction variable) ends up tripping across a couple of other imprecisions in the analysis. Ah, the joys of LVI...
Differential Revision: http://reviews.llvm.org/D16827
llvm-svn: 260627
Diffstat (limited to 'llvm/test/Bitcode/binaryIntInstructions.3.2.ll')
0 files changed, 0 insertions, 0 deletions
