[all-commits] [llvm/llvm-project] dcea5f: [TargetLowering] Fold (a | b) ==/!= b -> (a & ~b) ...

[AZero13 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dcea5f1f38eba03aa035375a7cd8d4eb0413934e
      https://github.com/llvm/llvm-project/commit/dcea5f1f38eba03aa035375a7cd8d4eb0413934e
  Author: AZero13 <gfunni234 at gmail.com>
  Date:   2025-06-27 (Fri, 27 Jun 2025)

  Changed paths:
    M llvm/include/llvm/CodeGen/TargetLowering.h
    M llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp
    M llvm/test/CodeGen/AArch64/aarch64-bitwisenot-fold.ll
    M llvm/test/CodeGen/AArch64/switch-cases-to-branch-and.ll

  Log Message:
  -----------
  [TargetLowering] Fold (a | b) ==/!= b -> (a & ~b) ==/!= 0 when and-not exists (#145368)

This is especially helpful for AArch64, which simplifies ands + cmp to tst.
Alive2: https://alive2.llvm.org/ce/z/LLgcJJ

---------

Co-authored-by: Simon Pilgrim <llvm-dev at redking.me.uk>



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