[all-commits] [llvm/llvm-project] 5af672: [InstCombine] Fold icmp or sub chain ((x1 - y1) | ...

[Maksim Kita via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5af6720d4fe11a33a21611bc63f797beb28c8393
      https://github.com/llvm/llvm-project/commit/5af6720d4fe11a33a21611bc63f797beb28c8393
  Author: Maksim Kita <kitaetoya at gmail.com>
  Date:   2023-07-26 (Wed, 26 Jul 2023)

  Changed paths:
    M llvm/test/Transforms/InstCombine/icmp-or.ll

  Log Message:
  -----------
  [InstCombine] Fold icmp or sub chain ((x1 - y1) | (x2 - y2)) == 0 tests

Precommit tests for D155704.

Differential Revision: https://reviews.llvm.org/D155703


  Commit: ac357a4773c22e0022558b627d8c3fb4aaabc125
      https://github.com/llvm/llvm-project/commit/ac357a4773c22e0022558b627d8c3fb4aaabc125
  Author: Maksim Kita <kitaetoya at gmail.com>
  Date:   2023-07-26 (Wed, 26 Jul 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
    M llvm/test/Transforms/InstCombine/icmp-or.ll

  Log Message:
  -----------
  [InstCombine] Fold icmp or sub chain ((x1 - y1) | (x2 - y2)) == 0

Improve ((x1 ^ y1) | (x2 ^ y2)) == 0 transform to also support sub ((x1 - y1) | (x2 - y2)) == 0.
Depends D155703.

Differential Revision: https://reviews.llvm.org/D155704


Compare: https://github.com/llvm/llvm-project/compare/a42c1f8d9734...ac357a4773c2