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

[Dave Green via Phabricator via llvm-commits]

dmgreen added a comment.

In D108049#3067499 <https://reviews.llvm.org/D108049#3067499>, @lebedev.ri wrote:

> Uhm, okay. Then, could you please post the generalized (with variables) alive2 proof for ULT+SLT predicate pair?

Hmm, What do you mean? The proof above is ult+slt. Do you mean in some other way?


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

https://reviews.llvm.org/D108049