[all-commits] [llvm/llvm-project] 0535da: [InstCombine] Add test case for (icmp eq A, -1) & ...

[Shivam Gupta via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0535da6f11d7b87102844b905ad3f75b59c9e831
      https://github.com/llvm/llvm-project/commit/0535da6f11d7b87102844b905ad3f75b59c9e831
  Author: Shivam Gupta <Shivam.Gupta2 at amd.com>
  Date:   2023-06-08 (Thu, 08 Jun 2023)

  Changed paths:
    M llvm/test/Transforms/InstCombine/and-or-icmps.ll
    A llvm/test/Transforms/PhaseOrdering/pr62311.ll

  Log Message:
  -----------
  [InstCombine] Add test case for (icmp eq A, -1) & (icmp eq B, -1) --> (icmp eq (A&B), -1); NFC

Reviewed By: goldstein.w.n

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


  Commit: 46aba711ab8311b427cac8ad8235642d86c7f7d6
      https://github.com/llvm/llvm-project/commit/46aba711ab8311b427cac8ad8235642d86c7f7d6
  Author: Shivam Gupta <Shivam.Gupta2 at amd.com>
  Date:   2023-06-08 (Thu, 08 Jun 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
    M llvm/test/Transforms/InstCombine/and-or-icmps.ll
    M llvm/test/Transforms/PhaseOrdering/pr62311.ll

  Log Message:
  -----------
  [InstCombine] (icmp eq A, -1) & (icmp eq B, -1) --> (icmp eq (A&B), -1)

This patch add another icmp fold for -1 case.

This fixes https://github.com/llvm/llvm-project/issues/62311,
where we want instcombine to merge all compare intructions together so
later passes like simplifycfg and slpvectorize can better optimize this
chained comparison.

Reviewed By: goldstein.w.n

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


Compare: https://github.com/llvm/llvm-project/compare/2fe2a6d4b8a4...46aba711ab83