[PATCH] D153963: [InstCombine] Fold binop of select and cast of select condition

[Antonio Frighetto via Phabricator via llvm-commits]

antoniofrighetto updated this revision to Diff 538369.
antoniofrighetto edited the summary of this revision.
antoniofrighetto added a comment.

Should be a bit more on track now, thanks for the suggestion! Also polished up a bit, and updated proofs. I wonder if this should be extended to `sdiv`/`udiv` and have `undef` in the false arm.


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

https://reviews.llvm.org/D153963

Files:
  llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
  llvm/lib/Transforms/InstCombine/InstCombineInternal.h
  llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
  llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
  llvm/test/Transforms/InstCombine/binop-select-cast-of-select-cond.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D153963.538369.patch
Type: text/x-patch
Size: 10250 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230708/92f5c05d/attachment.bin>