[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