[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
Mon Jun 9 06:18:23 PDT 2025


AZero13 wrote:

on: (~a | x) & (a | y) can also -> (a & (x ^ y)) ^y

Should I convert this in opt/ or maybe convert (~a | x) & (a | y) -> (a & x) | (~a & y) and have selection dag use this code that was merged to decide which is best? @RKSimon 

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


More information about the llvm-commits mailing list