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

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 15 12:19:55 PDT 2021

Previous message: [PATCH] D108049: [InstCombine] Extend canonicalizeClampLike to handle truncated inputs
Next message: [PATCH] D108049: [InstCombine] Extend canonicalizeClampLike to handle truncated inputs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

lebedev.ri added a comment.

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


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

https://reviews.llvm.org/D108049

Previous message: [PATCH] D108049: [InstCombine] Extend canonicalizeClampLike to handle truncated inputs
Next message: [PATCH] D108049: [InstCombine] Extend canonicalizeClampLike to handle truncated inputs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list