[PATCH] D17184: [LVI] Extend select handling to catch min/max/clamp idioms

[Philip Reames via llvm-commits]

reames created this revision.
reames added reviewers: hfinkel, sanjoy, nlewycky.
reames added a subscriber: llvm-commits.
Herald added a subscriber: mcrosier.

Most of this is fairly straight forward.  I was a bit surprised to find we didn't have smin/umin on ConstantRange.  Careful review of that would be appreciated.

Note that I'm only handling two constant ranges at this point.  It would be reasonable to consider treating overdefined as a full range if the instruction is typed as an integer, but that should be a separate change.

http://reviews.llvm.org/D17184

Files:
  include/llvm/IR/ConstantRange.h
  lib/Analysis/LazyValueInfo.cpp
  lib/IR/ConstantRange.cpp
  test/Transforms/CorrelatedValuePropagation/basic.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D17184.47762.patch
Type: text/x-patch
Size: 10095 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160212/abca847e/attachment.bin>