[all-commits] [llvm/llvm-project] cef862: [InstCombine] Tests for `(icmp eq/ne (and (shl -1, ...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cef862e03c5dd0bfda43a57ca609d5239da3567a
      https://github.com/llvm/llvm-project/commit/cef862e03c5dd0bfda43a57ca609d5239da3567a
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-10 (Sun, 10 Mar 2024)

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

  Log Message:
  -----------
  [InstCombine] Tests for `(icmp eq/ne (and (shl -1, X), Y), 0)` -> `(icmp eq/ne (lshr Y, X), 0)`; NFC


  Commit: 60dda1fc6ef82c5d7fe54000e6c0a21e7bafdeb5
      https://github.com/llvm/llvm-project/commit/60dda1fc6ef82c5d7fe54000e6c0a21e7bafdeb5
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-10 (Sun, 10 Mar 2024)

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

  Log Message:
  -----------
  [InstCombine] fold `(icmp eq/ne (and (shl -1, X), Y), 0)` -> `(icmp eq/ne (lshr Y, X), 0)`

Proofs: https://alive2.llvm.org/ce/z/oSRGBt

Closes #84691


Compare: https://github.com/llvm/llvm-project/compare/7b275aa2438c...60dda1fc6ef8

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