[PATCH] D101720: [InstCombine] generalize select + select/and/or folding using implied conditions

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune updated this revision to Diff 342387.
aqjune added a comment.

- Relax the condition at and/or
- Add an assertion that Op should be i1 or vec i1
- Add missing updates in select-safe-bool-transform.ll, revive one deleting code because it caused regression


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101720

Files:
  llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
  llvm/lib/Transforms/InstCombine/InstCombineInternal.h
  llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
  llvm/test/Transforms/InstCombine/select-safe-bool-transforms.ll
  llvm/test/Transforms/InstCombine/select-safe-impliedcond-transforms.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D101720.342387.patch
Type: text/x-patch
Size: 13972 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210503/5256a888/attachment.bin>