[InstSimplify] fix potential miscompile in select value equivalence
authorSanjay Patel <spatel@rotateright.com>
Mon, 5 Apr 2021 20:47:29 +0000 (16:47 -0400)
committerSanjay Patel <spatel@rotateright.com>
Mon, 5 Apr 2021 20:52:34 +0000 (16:52 -0400)
commite2a0f512eacad0699be9660f668726d7deb2cd75
tree4bb90a8ffd0a3837a0ef9903a5874809c28889fd
parent78e5cf66fec52c8e6e665c3c9e64d38498d94a5d
[InstSimplify] fix potential miscompile in select value equivalence

This is the sibling fix to c590a9880d7a -
as there, we can't subsitute a vector value the equality
compare replacement that we are trying requires that the
comparison is true for the entire value. Vector select
can be partly true/false.
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstSimplify/select.ll