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

[Yingwei Zheng via Phabricator via llvm-commits]

dtcxzyw updated this revision to Diff 554291.
dtcxzyw edited the summary of this revision.
dtcxzyw added a reviewer: goldstein.w.n.
dtcxzyw added a comment.

- Rebase
- Fold `select (a | c), a, b -> select a, true, (select ~c, b, false)` where `c` is free to invert.
- Add more tests for the generalized transform


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D158983/new/

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.554291.patch
Type: text/x-patch
Size: 11376 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230829/af374642/attachment.bin>