[all-commits] [llvm/llvm-project] 39f0af: [InstCombine] Generalise ((x1 ^ y1) | (x2 ^ y2)) =...

[Maksim Kita via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 39f0afde98f36c63da691863c172b3c54a1fa92c
      https://github.com/llvm/llvm-project/commit/39f0afde98f36c63da691863c172b3c54a1fa92c
  Author: Maksim Kita <kitaetoya at gmail.com>
  Date:   2023-07-15 (Sat, 15 Jul 2023)

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

  Log Message:
  -----------
  [InstCombine] Generalise ((x1 ^ y1) | (x2 ^ y2)) == 0 transform tests

Precommit tests for D154306.

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


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

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

  Log Message:
  -----------
  [InstCombine] Generalise ((x1 ^ y1) | (x2 ^ y2)) == 0 transform

Generalise ((x1 ^ y1) | (x2 ^ y2)) == 0 transform to more than two pairs of variables https://github.com/llvm/llvm-project/issues/57831.
Depends D154384.

Reviewed By: goldstein.w.n, nikic

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


Compare: https://github.com/llvm/llvm-project/compare/7973d5196597...da822ce90ed9