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

Sanjay Patel via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 12 06:09:17 PDT 2020


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



More information about the llvm-commits mailing list