[PATCH] D148986: [InstSimplify] with logical ops: (X | Y) ? 0 : X --> 0
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Apr 25 05:58:49 PDT 2023
nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.
LGTM
================
Comment at: llvm/test/Transforms/InstSimplify/select-cmp-or.ll:50
; The ne will be normalized to eq as above select_icmp_or_eq in instcombine
define i32 @select_icmp_or_ne(i32 %a, i32 %b) {
----------------
This doesn't require InstCombine, this code internally canonicalizes to EQ predicate.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D148986/new/
https://reviews.llvm.org/D148986
More information about the llvm-commits
mailing list