[PATCH] D108049: [InstCombine] Extend canonicalizeClampLike to handle truncated inputs

[Dave Green via Phabricator via llvm-commits]

dmgreen updated this revision to Diff 380162.
dmgreen added a comment.

Added a check for C0 being zero. This is the proof for the UGT part:
https://alive2.llvm.org/ce/z/tr8drB

I'm not sure if this case is possible to test. The icmp will usually have been simplified away by the time we visit this pattern.


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

https://reviews.llvm.org/D108049

Files:
  llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
  llvm/test/Transforms/InstCombine/truncating-saturate.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D108049.380162.patch
Type: text/x-patch
Size: 8643 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211016/195e49e7/attachment.bin>