[llvm] [InstCombine] Reassociate xor and disjoint or through zext (PR #214970)

[Andreas Jonson via llvm-commits]

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


================
@@ -435,12 +435,19 @@ static bool simplifyAssocCastAssoc(BinaryOperator *BinOp1,
   if (!BinOp2 || !BinOp2->hasOneUse())
     return false;
 
-  // `or disjoint` is equivalent to xor.
----------------
andjo403 wrote:

Is that not tested by fold_disjoint_or_zext_xor it did not fold before and now it do

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