[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