[llvm] [InstCombine] Explicitly set disjoint flag when converting xor to or. (PR #74229)

[Craig Topper via llvm-commits]

================
@@ -315,6 +315,7 @@ Value *InstCombinerImpl::SimplifyDemandedUseBits(Value *V, APInt DemandedMask,
     if (DemandedMask.isSubsetOf(RHSKnown.Zero | LHSKnown.Zero)) {
       Instruction *Or =
           BinaryOperator::CreateOr(I->getOperand(0), I->getOperand(1));
+      cast<PossiblyDisjointInst>(Or)->setIsDisjoint(true);
----------------
topperc wrote:

I've added a check that the demanded mask is all ones.

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