[PATCH] D88551: [InstCombine] Test cases added for pattern "(~A & B) ^ A -> (A | B)"

[Sanjay Patel via Phabricator via llvm-commits]

spatel added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/xor.ll:1182
 ; CHECK-NEXT:    [[B:%.*]] = udiv i32 42, [[P2:%.*]]
-; CHECK-NEXT:    [[O:%.*]] = xor i32 [[A]], -1
-; CHECK-NEXT:    [[R:%.*]] = and i32 [[B]], [[O]]
-; CHECK-NEXT:    [[Z:%.*]] = xor i32 [[R]], [[A]]
+; CHECK-NEXT:    [[Z:%.*]] = or i32 [[A]], [[B]]
 ; CHECK-NEXT:    ret i32 [[Z]]
----------------
I don't understand what this patch is proposing. Why is the output changing for an unmodified test?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D88551/new/

https://reviews.llvm.org/D88551