[PATCH] D112634: [InstCombine] canonicalize icmp with trunc op into mask and cmp, part 2

Sanjay Patel via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Nov 3 10:34:54 PDT 2021


spatel added a comment.

These are the Alive2 proofs for the 'ugt' folds:
https://alive2.llvm.org/ce/z/ekktQP
https://alive2.llvm.org/ce/z/pJY9wR


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

https://reviews.llvm.org/D112634



More information about the llvm-commits mailing list