AZero13 dcea5f1f38 [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@redking.me.uk>

2025-06-27 14:47:52 +01:00

490 KiB

Raw Permalink Blame History

View Raw