[PATCH] D60420: [ValueTracking] Use computeConstantRange() for signed add overflow determination

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 194254.
nikic retitled this revision from "[ValueTracking] Use computeConstantRange() for signed add/sub overflow determination" to "[ValueTracking] Use computeConstantRange() for signed add overflow determination".
nikic edited the summary of this revision.
nikic added a comment.

Rebase over committed changes, reduce diff to only handling signed add.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D60420/new/

https://reviews.llvm.org/D60420

Files:
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Transforms/InstCombine/and2.ll
  llvm/test/Transforms/InstCombine/icmp-add.ll
  llvm/test/Transforms/InstCombine/minmax-fold.ll
  llvm/test/Transforms/InstCombine/sadd-with-overflow.ll
  llvm/test/Transforms/InstCombine/saturating-add-sub.ll
  llvm/test/Transforms/InstCombine/sub.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D60420.194254.patch
Type: text/x-patch
Size: 5973 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190409/4579c591/attachment.bin>