[InstSimplify] (X && Y) ? X : Y --> Y
authorSanjay Patel <spatel@rotateright.com>
Wed, 30 Nov 2022 20:31:55 +0000 (15:31 -0500)
committerSanjay Patel <spatel@rotateright.com>
Wed, 30 Nov 2022 20:44:48 +0000 (15:44 -0500)
commit47f5da47f527876d1c00a7c1d1deae9a1be07ef7
tree0042990807e48bf0bc287e901dddb248b3cbf6eb
parentd422f7e4945cf7c0c200cdde4e3736c67f8dd2fe
[InstSimplify] (X && Y) ? X : Y --> Y

Similar to the recent fold that was added for 'or' in D138815:
https://alive2.llvm.org/ce/z/PBapTJ
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstSimplify/select-logical.ll