[all-commits] [llvm/llvm-project] be4b83: [InstCombine] Add tests for "eq of parts" with log...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: be4b8366fbd2c67b48a743d3e34837e29d6b8d0e
      https://github.com/llvm/llvm-project/commit/be4b8366fbd2c67b48a743d3e34837e29d6b8d0e
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-08-22 (Sun, 22 Aug 2021)

  Changed paths:
    M llvm/test/Transforms/InstCombine/eq-of-parts.ll

  Log Message:
  -----------
  [InstCombine] Add tests for "eq of parts" with logical op (NFC)

We currently only handle this with a bitwise and/or instruction,
but not a logical.


  Commit: fafe5a6f44c6eebb723844bc04275d23b520400c
      https://github.com/llvm/llvm-project/commit/fafe5a6f44c6eebb723844bc04275d23b520400c
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-08-22 (Sun, 22 Aug 2021)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineInternal.h
    M llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
    M llvm/test/Transforms/InstCombine/eq-of-parts.ll

  Log Message:
  -----------
  [InstCombine] Perform "eq of parts" fold with logical ops

The pattern matched here is too complex for the general logical
and/or to bitwise and/or conversion to trigger. However, the
fold is poison-safe, so match it with a select root as well:

https://alive2.llvm.org/ce/z/vNzzSg
https://alive2.llvm.org/ce/z/Beyumt


Compare: https://github.com/llvm/llvm-project/compare/352df10a238f...fafe5a6f44c6