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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D108049#3068061 <https://reviews.llvm.org/D108049#3068061>, @dmgreen wrote:

> 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?

I mean it is for a hardcoded set of constants, while i'd like to see it's general form.


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

https://reviews.llvm.org/D108049