[llvm] [InstCombine] Fold (X + C) + (Y & ~C) to X + (Y | C) (PR #191334)

[via llvm-commits]

ParkHanbum wrote:

And the generalization pattern you mentioned is not generalized to X + (Y | C), but it can be generalized to; (X + C) + (Y & D) -> X + ((Y & D) | C). 

https://alive2.llvm.org/ce/z/M6qtSA
https://godbolt.org/z/e3Mce7bhq

I was planned to see if pattern you mentioned is really effective after this patch. What can I do?

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