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

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added inline comments.


================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp:3361
+
+  // A ^ (~A & B)  -->   (A | B)
+  if (match(Op0, m_Value(A)) &&
----------------
Avoid this.


Use

if (match(&I, m_c_Xor(......)

above.


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

https://reviews.llvm.org/D86395