[PATCH] D133855: [InstCombine] Baseline tests for folding ((x?1:4)&(y?1:4))==0 to x^y

[Marc Auberer via Phabricator via llvm-commits]

marcauberer created this revision.
marcauberer added reviewers: spatel, RKSimon.
Herald added a project: All.
marcauberer requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Fixes issue #57666: https://github.com/llvm/llvm-project/issues/57666

The optimization applies to all constant values that equal to zero when
applied to an bitwise and instruction.

Alive2: https://alive2.llvm.org/ce/z/EFnf-a
Minimalistic Goldbolt example: https://godbolt.org/z/3d6h9z4de


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D133855

Files:
  llvm/test/Transforms/InstCombine/select_and_icmpeq.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D133855.460053.patch
Type: text/x-patch
Size: 6881 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220914/cc4c1429/attachment.bin>