[llvm] [AArch64] Fold (a | b) == a -> (a & ~b) == 0 when and-not exists (PR #145368)

Craig Topper via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 23 10:59:17 PDT 2025

Previous message: [llvm] [AArch64] Fold (a | b) == a -> (a & ~b) == 0 when and-not exists (PR #145368)
Next message: [llvm] [AArch64] Fold (a | b) == a -> (a & ~b) == 0 when and-not exists (PR #145368)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

topperc wrote:

Your tests didn't change in the second commit...

https://github.com/llvm/llvm-project/pull/145368

Previous message: [llvm] [AArch64] Fold (a | b) == a -> (a & ~b) == 0 when and-not exists (PR #145368)
Next message: [llvm] [AArch64] Fold (a | b) == a -> (a & ~b) == 0 when and-not exists (PR #145368)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list