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

Iris Shi via llvm-commits llvm-commits at lists.llvm.org
Wed May 14 23:46:48 PDT 2025

Previous message: [llvm] [SelectionDAG] Make `(a & x) | (~a & y) -> (a & (x ^ y)) ^ y` available for all targets (PR #137641)
Next message: [llvm] [ComplexDeinterleave] Don't try to combine single FP reductions. (PR #139469)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

el-ev wrote:

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

I wonder if this should be done in opt transforms passes as a kind of canonicalization.
https://alive2.llvm.org/ce/z/cDd-5V

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] [ComplexDeinterleave] Don't try to combine single FP reductions. (PR #139469)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list