[PATCH] D86395: [InstCombine] transform pattern "(~A & B) ^ A -> (A | B)" added

[Sanjay Patel via Phabricator via llvm-commits]

spatel requested changes to this revision.
spatel added inline comments.
This revision now requires changes to proceed.


================
Comment at: llvm/test/Transforms/InstCombine/xor.ll:1193
 
 ; (~B & A) ^ B  -->   (A | B)
 ; The division ops are here to thwart complexity-based canonicalization: all ops are binops.
----------------
This test doesn't exercise anything differently than "test52"; it just reversed the value names.


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

https://reviews.llvm.org/D86395