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

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5a1020bb0083ebfcf5d8879ba99c21bf214fcb56
      https://github.com/llvm/llvm-project/commit/5a1020bb0083ebfcf5d8879ba99c21bf214fcb56
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-01 (Fri, 01 Dec 2023)

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

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

The absorption case is already handled correctly, but the
idempentence case is not.


  Commit: cd31cf5989aaf6a187aaf3af4f94207c55a70d0f
      https://github.com/llvm/llvm-project/commit/cd31cf5989aaf6a187aaf3af4f94207c55a70d0f
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-01 (Fri, 01 Dec 2023)

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

  Log Message:
  -----------
  [InstSimplify] Fix or disjoint miscompile with op replacement

Make sure %x does not get folded to "or disjoint %x, %x" without
dropping the flag, as this would be a derefinement.


Compare: https://github.com/llvm/llvm-project/compare/289fe74ddbb4...cd31cf5989aa