Revert "[Reassociate] Use disjoint flag to convert Or to Add. (#72772)"

This reverts commit 7896445.

Looks like I didn't rebase this correctly before commit

Author: topperc

llvm/lib/Transforms/Scalar/Reassociate.cpp

@@ -2256,10 +2256,9 @@ void ReassociatePass::OptimizeInst(Instruction *I) {
   // with no common bits set, convert it to X+Y.
   if (I->getOpcode() == Instruction::Or &&
       shouldConvertOrWithNoCommonBitsToAdd(I) && !isLoadCombineCandidate(I) &&
-      (I->isDisjoint() ||
-       haveNoCommonBitsSet(I->getOperand(0), I->getOperand(1),
-                           SimplifyQuery(I->getModule()->getDataLayout(),
-                                         /*DT=*/nullptr, /*AC=*/nullptr, I)))) {
+      haveNoCommonBitsSet(I->getOperand(0), I->getOperand(1),
+                          SimplifyQuery(I->getModule()->getDataLayout(),
+                                        /*DT=*/nullptr, /*AC=*/nullptr, I))) {
     Instruction *NI = convertOrWithNoCommonBitsToAdd(I);
     RedoInsts.insert(I);
     MadeChange = true;

llvm/test/Transforms/Reassociate/add-like-or.ll

@@ -59,18 +59,6 @@ define i32 @test3(i32 %x, i32 %bit) {
   ret i32 %res
 }
 
-; Test that disjoint allow reassociation.
-define i32 @test4(i32 %a, i32 %b) {
-; CHECK-LABEL: @test4(
-; CHECK-NEXT:    [[C:%.*]] = add i32 [[A:%.*]], 1
-; CHECK-NEXT:    [[C_PLUS_ONE:%.*]] = add i32 [[C]], [[B:%.*]]
-; CHECK-NEXT:    ret i32 [[C_PLUS_ONE]]
-;
-  %c = or disjoint i32 %a, %b
-  %c.plus.one = add i32 %c, 1
-  ret i32 %c.plus.one
-}
-
 declare i32 @llvm.ctlz.i32(i32, i1 immarg) #2
 
 !0 = !{i32 0, i32 33}