[InstSimplify] with poison-safe logical ops: (X && Y) || X --> X
authorSanjay Patel <spatel@rotateright.com>
Fri, 20 Jan 2023 21:06:33 +0000 (16:06 -0500)
committerSanjay Patel <spatel@rotateright.com>
Fri, 20 Jan 2023 22:35:24 +0000 (17:35 -0500)
commit9444252a674df5952bb5af2b76348ae4b45a263d
treecc605068d0dd5d54c99b157bc680be823a05f246
parent5542bbf250b0dbf0fe74c45330a3cd86dd86ca86
[InstSimplify] with poison-safe logical ops: (X && Y) || X --> X

https://alive2.llvm.org/ce/z/ptZcJH

issue #60167
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstCombine/select-safe-bool-transforms.ll
llvm/test/Transforms/InstSimplify/select-inseltpoison.ll
llvm/test/Transforms/InstSimplify/select-logical.ll
llvm/test/Transforms/InstSimplify/select.ll