[all-commits] [llvm/llvm-project] 78e5cf: [InstSimplify] add test for vector select with ope...

[RotateRight via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 78e5cf66fec52c8e6e665c3c9e64d38498d94a5d
      https://github.com/llvm/llvm-project/commit/78e5cf66fec52c8e6e665c3c9e64d38498d94a5d
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-04-05 (Mon, 05 Apr 2021)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/select.ll

  Log Message:
  -----------
  [InstSimplify] add test for vector select with operand replacement; NFC

We need a sibling fix to c590a9880d7a
( https://llvm.org/PR49832 ) to avoid miscompiling.


  Commit: e2a0f512eacad0699be9660f668726d7deb2cd75
      https://github.com/llvm/llvm-project/commit/e2a0f512eacad0699be9660f668726d7deb2cd75
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-04-05 (Mon, 05 Apr 2021)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/select.ll

  Log Message:
  -----------
  [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.


Compare: https://github.com/llvm/llvm-project/compare/828ec9e9e5da...e2a0f512eaca