[all-commits] [llvm/llvm-project] 759bab: [InstCombine] Add tests for folding `(icmp eq/ne (...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 759bab068157d93a71ef20dc28a2eaed4fec6d40
      https://github.com/llvm/llvm-project/commit/759bab068157d93a71ef20dc28a2eaed4fec6d40
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-04-09 (Tue, 09 Apr 2024)

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

  Log Message:
  -----------
  [InstCombine] Add tests for folding `(icmp eq/ne (add nuw x, y), 0)`; NFC


  Commit: 7599d478efb1576b5013d17a70971f76d6f7c25a
      https://github.com/llvm/llvm-project/commit/7599d478efb1576b5013d17a70971f76d6f7c25a
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-04-09 (Tue, 09 Apr 2024)

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

  Log Message:
  -----------
  [InstCombine] Fold `(icmp eq/ne (add nuw x, y), 0)` -> `(icmp eq/ne (or x, y), 0)`

`(icmp eq/ne (or x, y), 0)` is probably easier to analyze than `(icmp
eq/ne x, -y)`

Proof: https://alive2.llvm.org/ce/z/2-VTb6

Closes #88088


Compare: https://github.com/llvm/llvm-project/compare/5d9d740c39a6...7599d478efb1

To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications