[PATCH] D58329: [ValueTracking] Known bits support for unsigned saturating add/sub

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 188766.
nikic added a comment.

Simplify implementation: Remove checks for overflow, relying on InstCombine to handle the always/never overflow cases. Focus on only the maybe overflow case here.


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

https://reviews.llvm.org/D58329

Files:
  lib/Analysis/ValueTracking.cpp
  unittests/Analysis/ValueTrackingTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D58329.188766.patch
Type: text/x-patch
Size: 4252 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190228/d840a17e/attachment.bin>