[PATCH] D158983: [InstCombine] Fold two select patterns into or-and

[Yingwei Zheng via Phabricator via llvm-commits]

dtcxzyw created this revision.
dtcxzyw added reviewers: bcl5980, spatel, RKSimon, nikic, craig.topper.
Herald added subscribers: StephenFan, hiraditya.
Herald added a project: All.
dtcxzyw requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This patch is the follow-up improvement of D122152 <https://reviews.llvm.org/D122152>.
Fixes https://github.com/llvm/llvm-project/issues/64558.

`select (a | ~c), a, b -> or a, (and c, freeze(b))`
`select (c & ~b), a, b -> or b, (and freeze(a), c)`
Alive2: https://alive2.llvm.org/ce/z/x8ZSY9


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D158983

Files:
  llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
  llvm/test/Transforms/InstCombine/select-and-or.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D158983.553907.patch
Type: text/x-patch
Size: 6608 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230828/cc1b81f4/attachment.bin>