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

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

Please provide generalized alive2 proof. Don't use specific constants in your proof. See also https://llvm.org/docs/InstCombineContributorGuide.html#use-generic-values-in-proofs.

BTW, can we further generalize this pattern into `(X + C) + (Y & D) -> X + (Y | C)`, where `C & D == 0` ?


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