[llvm] [InstCombine] Fold xor(zext(or disjoint X, C1), C2) (PR #214970)

[Andreas Jonson via llvm-commits]

=?utf-8?b?7KGw7JiB7KeEKEpveW91bmdqaW4p?=
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/214970 at github.com>


https://github.com/andjo403 commented:

A general proof https://alive2.llvm.org/ce/

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