[all-commits] [llvm/llvm-project] c89553: [InstSimplify] Add test for or disjoint miscompile...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c89553ae829e05ac830eff80e69775704a8ba040
      https://github.com/llvm/llvm-project/commit/c89553ae829e05ac830eff80e69775704a8ba040
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-11-30 (Thu, 30 Nov 2023)

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

  Log Message:
  -----------
  [InstSimplify] Add test for or disjoint miscompile (NFC)


  Commit: 07c18a05e2cb80e87b0c681c147a253565064f3e
      https://github.com/llvm/llvm-project/commit/07c18a05e2cb80e87b0c681c147a253565064f3e
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-11-30 (Thu, 30 Nov 2023)

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

  Log Message:
  -----------
  [InstSimplify] Fix select bit test miscompile with disjoint

The select condition ensures the disjointness here. The transform
is not valid without dropping the flag, which InstSimplify can't
do.


Compare: https://github.com/llvm/llvm-project/compare/8eb705321ed2...07c18a05e2cb