[llvm] [SelectionDAG] Make `(a & x) | (~a & y) -> (a & (x ^ y)) ^ y` available for all targets (PR #137641)

via llvm-commits llvm-commits at lists.llvm.org
Wed May 14 21:50:37 PDT 2025

Previous message: [llvm] [SelectionDAG] Make `(a & x) | (~a & y) -> (a & (x ^ y)) ^ y` available for all targets (PR #137641)
Next message: [llvm] [SelectionDAG] Make `(a & x) | (~a & y) -> (a & (x ^ y)) ^ y` available for all targets (PR #137641)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

AZero13 wrote:

(~a | x) & (a | y)  can also -> (a & (x ^ y)) ^y too. 

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

Previous message: [llvm] [SelectionDAG] Make `(a & x) | (~a & y) -> (a & (x ^ y)) ^ y` available for all targets (PR #137641)
Next message: [llvm] [SelectionDAG] Make `(a & x) | (~a & y) -> (a & (x ^ y)) ^ y` available for all targets (PR #137641)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list